| Domain theory S Abramsky, A Jung Oxford University Press, 1994 | 1553 | 1994 |
| Handbook of logic in computer science S Abramsky, D Gabbay, T Maibaurn | 440* | 1992 |
| Specification of computer programs WM Turski, TSE Maibaum Addison-Wesley Longman Publishing Co., Inc., 1987 | 236 | 1987 |
| Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992 | 224 | 1992 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 167* | 2006 |
| Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997 | 153 | 1997 |
| Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991 | 135 | 1991 |
| Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992 | 131 | 1992 |
| Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990 | 118 | 1990 |
| Sometimes “tomorrow” is “sometime” JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994 | 106 | 1994 |
| Typed lambda calculi HP Barendregt Handbook of Logic in Computer Science 2, 1992 | 106 | 1992 |
| A generalized approach to formal languages TSE Maibaum Journal of Computer and System Sciences 8 (3), 409-439, 1974 | 90 | 1974 |
| Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991 | 89 | 1991 |
| The prescription and description of state based systems S Khosla, TSE Maibaum Temporal Logic in Specification, 243-294, 1989 | 87 | 1989 |
| Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995 | 75 | 1995 |
| Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler | 73* | 2011 |
| A product-focused approach to software certification T Maibaum, A Wassyng Computer 41 (2), 91-93, 2008 | 73 | 2008 |
| Evidence-based electronic contract performance monitoring A Daskalopulu, T Dimitrakos, T Maibaum Group decision and negotiation 11 (6), 469-485, 2002 | 70 | 2002 |
| Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990 | 70 | 1990 |
| A mathematical toolbox for the software architect JL Fiadeiro, T Maibaum Proceedings of the 8th International Workshop on Software Specification and …, 1996 | 63 | 1996 |
José Luiz FiadeiroDean of Science and Engineering, University of DundeeE-mail confirmado em dundee.ac.uk
