Computer Science · Physical Sciences
32h-index6.6kcitations64works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(38), Logic, Reasoning, and Knowledge(16), Formal Methods in Verification(9), Parallel Computing and Optimization Techniques(8), Computability, Logic, AI Algorithms(8)
Publications64 total
Some Techniques for Proving Correctness of Programs which Alter Data Structures
2013· 109 cited
2012· 340 cited
Lecture notes in computer science·2006
Lecture notes in computer science·2005· 14 cited
2002· 1 cited
Higher-Order and Symbolic Computation·2000· 20 cited
Electronic Notes in Theoretical Computer Science·2000· 13 citedOpen Access
Lecture notes in computer science·1999· 21 cited
Hiding and behaviour: an institutional approach
OpenGrey (Institut de l'Information Scientifique et Technique)·1994· 40 cited
Terms, proofs and refinement (Extended abstract)
Logic in Computer Science·1994· 1 cited
Lecture notes in computer science·1993· 50 cited
Lecture notes in computer science·1993· 2 cited
Extended Calculus of Constructions as a Specification Language (Abstract)
Mathematics of Program Construction·1992
Journal of the ACM·1992· 974 citedOpen Access
Theoretical Computer Science·1991· 110 cited
Cambridge University Press eBooks·1991· 15 cited
Computational category theory
1988· 147 cited
Information and Computation·1988· 32 cited
Lecture notes in computer science·1988· 16 cited
Journal of Computer and System Sciences·1987· 21 cited
page 1 of 4Next →
Frequent Co-authors
Joseph A. Goguen(11), John Darlington(4), Harry G. Barrow(3), David Rydeheard(3), Butler Lampson(3), Donald Sannella(2), A.P. Ambler(2), R. J. Popplestone(2), Furio Honsell(2), David MacQueen(1), Calum M. Brown(1), Andrzej Tarlecki(1), John Stuart Collins(1), James McKinna(1), Răzvan Diaconescu(1), Rosemary Leaver(1), John E. Sussams(1), J. W. Thatcher(1), Alberto Pettorossi(1), Masahiko Sato(1)