Research output per year
Research output per year
Fingerprint
Dive into the research topics where Thomas Maibaum is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Towards electronic contract performance
Tjoa, A. M. (Editor) & Wagner, R. R., 2001, Unknown. Unknown PublisherResearch output: Chapter in Book/Report/Conference proceeding › Conference paper
24 Citations (Scopus) -
Logic and algebraic methods
Abramsky, S., Gabbay, D. M. & Maibaum, T. S. E., 2000, Oxford: Clarendon.Research output: Book/Report › Book
Projects
- 6 Finished
-
The scientific foundations of informatics as an engineering discipline (CUE).
Maibaum, T. (Primary Investigator)
1/07/2002 → 30/06/2005
Project: Research
-
Adding refinements to the product/process modelling logic
Maibaum, T. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
15/03/2000 → 14/03/2001
Project: Research
-
Engineering modularised programs and specifications
Maibaum, T. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/01/2000 → 31/12/2000
Project: Research
-
Objects, associations and subsystems: a hierarchical approach to encapsulation.
Lano, K. (Primary Investigator) & Maibaum, T. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/10/1999 → 31/10/2002
Project: Research
-
The integration of two industrially relevant formal methods (VDM+B).
Maibaum, T. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
24/08/1998 → 23/08/2000
Project: Research