| Executing temporal logic programs: preliminary version B Moszkowski International Conference on Concurrency, 111-130, 1984 | 721 | 1984 |
| A temporal logic for multi-level reasoning about hardware B Moszkowski IEEE Computer 18 (2), 10-19, 1985 | 580 | 1985 |
| Reasoning about Digital Circuits B Moszkowski Dept. of Computer Science, Stanford University, 1983 | 377 | 1983 |
| A hardware semantics based on temporal intervals J Halpern, Z Manna, B Moszkowski Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983 | 238 | 1983 |
| Reasoning in interval temporal logic B Moszkowski, Z Manna Workshop on Logic of Programs, 371-382, 1983 | 137 | 1983 |
| Some very compositional temporal properties B Moszkowski University of Newcastle upon Tyne, Computing Science, 1993 | 117 | 1993 |
| Compositional reasoning about projected and infinite time B Moszkowski Proceedings of First IEEE International Conference on Engineering of Complex …, 1995 | 97 | 1995 |
| Compositional reasoning using interval temporal logic and tempura BC Moszkowski International Symposium on Compositionality, 439-464, 1997 | 84 | 1997 |
| A complete axiomatization of interval temporal logic with infinite time BC Moszkowski Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 67 | 2000 |
| Interval temporal logic A Cau, B Moszkowski, H Zedan URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006 | 45 | 2006 |
| Using ITL and Tempura for large-scale specification and simulation A Cau, H Zedan, N Coleman, B Moszkowski Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing …, 1996 | 37 | 1996 |
| An automata-theoretic completeness proof for interval temporal logic BC Moszkowski International Colloquium on Automata, Languages, and Programming, 223-234, 2000 | 33 | 2000 |
| Verification and enforcement of access control policies A Cau, H Janicke, B Moszkowski Formal Methods in System Design 43, 450-492, 2013 | 31 | 2013 |
| A complete axiom system for propositional Interval Temporal Logic with infinite time B Moszkowski Logical Methods in Computer Science 8 (3), 2012 | 27 | 2012 |
| A hierarchical completeness proof for Propositional Interval Temporal Logic with finite time B Moszkowski Journal of Applied Non-Classical Logics 14 (1-2), 55-104, 2004 | 26 | 2004 |
| ITL–Interval Temporal Logic A Cau, B Moszkowski, H Zedan Software Technology Research Laboratory, SERCentre, De Montfort University …, 2002 | 25 | 2002 |
| Using temporal fixpoints to compositionally reason about liveness B Moszkowski Proceedings of the BCS-FACS 7th Refinement Workshop, 1996 | 19 | 1996 |
| Parallel programming in temporal logic R Hale, B Moszkowski International Conference on Parallel Architectures and Languages Europe, 277-296, 1987 | 17 | 1987 |
| Using PVS for Interval Temporal Logic Proofs, Part 1: The Syntactic and Semantic Encoding A Cau, BC Moszkowski | 16 | 2005 |
| The programming language Tempura B Moszkowski Journal of Symbolic Computation 22 (5/6), 730-733, 1996 | 16 | 1996 |
Antonio CauSenior Research Fellow, De Montfort UniversityDirección de correo verificada de dmu.ac.uk
