Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Tom Maibaum

Known as: Maibaum 
Thomas Stephen Edward Maibaum FRSA (born 18 August 1947 in Hungary) is a computer scientist. Maibaum has an undergraduate degree in Pure Mathematics… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We propose Example-Driven Modeling (EDM), an approach that systematically uses explicit examples for eliciting, modeling… Expand
Is this relevant?
2010
2010
In this paper we investigate formal mechanisms to allow designers to decompose specifications (stated in a given logic) into… Expand
Is this relevant?
2006
2006
Names and name-binding are useful concepts in the theory and practice of formal systems. In this thesis we study them in the… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The verified software repository is dedicated to a long-term vision of a future in which all computer systems justify the trust… Expand
Is this relevant?
2004
2004
We consider the logical representation of obligations on stative expressions such as The yard must be clean in the context of… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand
  • figure 5.1
  • figure 8.1
Is this relevant?
1997
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
rewriting system, 16 irreflexive, 33 weakly irreflexive, 33 with typing, 37, 40 with very weak typing, 40 with weak typing, 40… Expand
  • table 10.1
  • table 12.1
  • table 13.1
  • table 13.2
Is this relevant?
1994
1994
Abstract Modern database applications require advanced means for modelling system structure and dynamics. Temporal logic has been… Expand
Is this relevant?
1993
1993
ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and… Expand
Is this relevant?