University of Toronto — Canada
Computer Science · Physical Sciences
61h-index19.3kcitations249works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(99), Formal Methods in Verification(50), Logic, Reasoning, and Knowledge(46), Semantic Web and Ontologies(27), Advanced Database Systems and Queries(22)
Publications249 total
Canadian Journal of Diabetes·2025
Stanford University Press eBooks·2021
arXiv (Cornell University)·2021· 2 citedOpen Access
2012· 340 cited
IGI Global eBooks·2011
Software Engineering with Obj: Algebraic Specification In Action
Medical Entomology and Zoology·2010· 124 cited
PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION
2009· 14 cited
Computer Languages Systems & Structures·2008· 1 cited
Lecture notes in computer science·2008· 22 citedOpen Access
Zero, Connected, Empty: An Essay after a Cantata
2007
Logica Universalis·2007· 50 cited
An Institutional View on Categorical Logic.
2007· 3 cited
Lecture notes in computer science·2006· 69 cited
Kluwer Academic Publishers eBooks·2006· 18 cited
Lecture notes in computer science·2006· 2 cited
Schema mapping for data transformation and integration
2006· 1 cited
Logica Universalis·2005· 14 cited
Lecture notes in computer science·2005· 109 cited
page 1 of 13Next →
Frequent Co-authors
José Meseguer(16), R. M. Burstall(6), Jean-Pierre Jouannaud(3), Grant Malcolm(3), J. W. Thatcher(2), Eric G. Wagner(2), Jesse B. Wright(2), Kokichi Futatsugi(2), Răzvan Diaconescu(2), Timothy Winkler(2), Claude Kirchner(2), Charlotte Linde(1), Marina Jirotka(1), Francisco Alves Pinheiro(1), Grigore Roşu(1), Gert Smolka(1), Werner Nutt(1), Petros Stefaneas(1), Luqi(1), Andrzej Tarlecki(1)