A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Bootstrap network resynchronization (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The slide mechanism with applications in dynamic networks
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Identifying foundations of software engineering expertise
ACM SIGCSE Bulletin
Deriving programs using generic algorithms
IBM Systems Journal
From specific problem instances to algorithms in the introductory course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Log-space polynomial end-to-end communication
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
The classification of greedy algorithms
Science of Computer Programming
A tool for helping teach a programming method
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
From Predicates to Programs: The Semantics of a Method Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about comprehensions with first-order SMT solvers
Proceedings of the 2009 ACM symposium on Applied Computing
Information and Software Technology
On rectilinear partitions with minimum stabbing number
WADS'11 Proceedings of the 12th international conference on Algorithms and data structures
Some optimisation problems revisited
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |