Tom Maibaum
Tom Maibaum
Professor of the Foundations of Software Engineering, McMaster University
Verified email at maibaum.org
Title
Cited by
Cited by
Year
Domain theory
S Abramsky, A Jung
Oxford University Press, 1994
15721994
Handbook of logic in computer science
S Abramsky, D Gabbay, T Maibaurn
445*1992
Specification of computer programs
WM Turski, TSE Maibaum
Addison-Wesley Longman Publishing Co., Inc., 1987
2381987
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4 (3), 239-272, 1992
2241992
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
176*2006
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum
Science of Computer Programming 28 (2-3), 111-138, 1997
1531997
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
1351991
Handbook of logic in computer science
H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum
Lambda calculi with types 2, 117-309, 1992
1331992
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1201990
Sometimes “tomorrow” is “sometime”
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1061994
Typed lambda calculi
HP Barendregt
Handbook of Logic in Computer Science 2, 1992
1061992
A generalized approach to formal languages
TSE Maibaum
Journal of Computer and System Sciences 8 (3), 409-439, 1974
921974
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
891991
The prescription and description of state based systems
S Khosla, TSE Maibaum
Temporal Logic in Specification, 243-294, 1989
881989
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
82*2011
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
761995
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 2008
732008
Evidence-based electronic contract performance monitoring
A Daskalopulu, T Dimitrakos, T Maibaum
Group decision and negotiation 11 (6), 469-485, 2002
722002
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake
DS-4, 243-284, 1990
701990
A mathematical toolbox for the software architect
JL Fiadeiro, T Maibaum
Proceedings of the 8th International Workshop on Software Specification and …, 1996
631996
The system can't perform the operation now. Try again later.
Articles 1–20