Concepedia

T. S. E. Maibaum

TS

Statistics

Publications

25

Citations

730

H-Index

17

Active since

1974

Affiliations

Imperial College London(Current)

McMaster University

Pontifícia Universidade Católica do Rio de Janeiro

University of Lisbon

King's College London

T. S. E. Maibaum is an author at Imperial College London specializing in computer science, computing, and formal methods.

Publications per year

1974–2011

25

Publications

25

Temporal theories as modularisation units for concurrent system specification

J.L. Fiadeiro, T. S. E. Maibaum · Formal Aspects of Computing · 1992 · 122 citations

Engineering, Computer Science, Systems Engineering +13

A generalized approach to formal languages

T. S. E. Maibaum · Journal of Computer and System Sciences · 1974 · 61 citations

Computing, Computer Science, Formal Methods +13

A Product-Focused Approach to Software Certification

T. S. E. Maibaum, Alan Wassyng · Computer · 2008 · 41 citations

Computing, Information Systems, Information Technology +17

A mathematical toolbox for the software architect

J.L. Fiadeiro, T. S. E. Maibaum · 1996 · 40 citations

Computing, Computer Science, Mathematics +17

A temporal logic approach to the specification of reconfigurable component-based systems

Nazareno Aguirre, T. S. E. Maibaum · 2002 · 37 citations

Engineering, Computer Science, Systems Engineering +17

1–5 of 25