| Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures S Abramsky, DM Gabbay, TSE Maibaum OUP Oxford, 2001 | 337 | 2001 |
| Specification of computer programs WM Turski, TSE Maibaum Addison-Wesley Longman Publishing Co., Inc., 1987 | 257 | 1987 |
| Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4, 239-272, 1992 | 225 | 1992 |
| Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997 | 154 | 1997 |
| Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991 | 139 | 1991 |
| Describing, structuring and implementing objects J Fiadeiro, T Maibaum Foundations of Object-Oriented Languages: REX School/Workshop …, 1991 | 124 | 1991 |
| Sometimes “tomorrow” is “sometime” action refinement in a temporal logic of objects JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994 | 111 | 1994 |
| A generalized approach to formal languages TSE Maibaum Journal of Computer and System Sciences 8 (3), 409-439, 1974 | 93 | 1974 |
| Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991 | 90 | 1991 |
| The prescription and description of state based systems S Khosla, TSE Maibaum Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005 | 86 | 2005 |
| A product-focused approach to software certification T Maibaum, A Wassyng Computer 41 (2), 91-93, 2008 | 79 | 2008 |
| Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995 | 77 | 1995 |
| Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990 | 75 | 1990 |
| Evidence-based electronic contract performance monitoring A Daskalopulu, T Dimitrakos, T Maibaum Group decision and negotiation 11, 469-485, 2002 | 74 | 2002 |
| Category theory and model-driven engineering: From formal semantics to design patterns and beyond Z Diskin, T Maibaum Model-Driven Engineering of Information Systems: Principles, Techniques, and …, 2014 | 68 | 2014 |
| Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992 | 68 | 1992 |
| A temporal logic approach to the specification of reconfigurable component-based systems N Aguirre, T Maibaum Proceedings 17th IEEE International Conference on Automated Software …, 2002 | 62 | 2002 |
| Software certification: Is there a case against safety cases? A Wassyng, T Maibaum, M Lawford, H Bherer Foundations of Computer Software. Modeling, Development, and Verification of …, 2011 | 61 | 2011 |
| A mathematical toolbox for the software architect JL Fiadeiro, T Maibaum Proceedings of the 8th International Workshop on Software Specification and …, 1996 | 61 | 1996 |
| Formally specifying temporal constraints and error recovery SJH Kent, TSE Maibaum, WJ Quirk [1993] Proceedings of the IEEE International Symposium on Requirements …, 1993 | 59 | 1993 |
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
