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
15781994
Handbook of logic in computer science
S Abramsky, D Gabbay, T Maibaurn
446*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
180*2006
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum
Science of Computer Programming 28 (2-3), 111-138, 1997
1541997
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
Typed lambda calculi
HP Barendregt
Handbook of Logic in Computer Science 2, 1992
1091992
Sometimes “tomorrow” is “sometime”
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1061994
A generalized approach to formal languages
TSE Maibaum
Journal of Computer and System Sciences 8 (3), 409-439, 1974
931974
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
84*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