Computer Science · Physical Sciences
67h-index21.3kcitations307works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(181), Logic, programming, and type systems(180), Logic, Reasoning, and Knowledge(67), Model-Driven Software Engineering Techniques(36), Computability, Logic, AI Algorithms(36)
Publications307 total
The logical basis for computer programming vol. i : deductive reasoning
2014
Lecture notes in computer science·2010· 19 cited
Time for verification: essays in memory of Amir Pnueli
2010· 10 cited
Lecture notes in computer science·2010· 8 cited
The Decidability of the First-order Theory of Knuth-Bendix Order
2008
Formal Aspects of Computing·2008· 77 citedOpen Access
Formal Aspects of Computing·2008· 5 citedOpen Access
Lecture notes in computer science·2008· 4 cited
Formal Methods in System Design·2007· 120 cited
Lecture notes in computer science·2007· 5 cited
Lecture notes in computer science·2007Open Access
Lecture notes in computer science·2007· 20 cited
Information and Computation·2006· 13 cited
Lecture notes in computer science·2006· 41 cited
Lecture notes in computer science·2006· 150 cited
page 1 of 16Next →
Frequent Co-authors
Amir Pnueli(21), Henny B. Sipma(11), Richard Waldinger(6), Aaron R. Bradley(5), Sriram Sankaranarayanan(4), Nikolaj Bjørner(4), Anca Browne(4), Mordechai Ben‐Ari(2), Luca de Alfaro(2), Thomas A. Henzinger(2), Edward Yi Chang(2), Michael A. Colón(2), Arjun Kapur(2), Tomás E. Uribe(2), Nachum Dershowitz(1), Pierre Wolper(1), Oded Maler(1), Ben D'Angelo(1), S. Sankaranarayanan(1), César Sánchez(1)