Thomas S. E. Maibaum

Available identifiers

zbMath Open maibaum.thomas-s-eWikidataQ7816687 ScholiaQ7816687MaRDI QIDQ673999

List of research outcomes

Publication	Date of Publication	Type
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems	2019-07-17	Paper
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic	2019-02-08	Paper
A theoretical framework for cardinality-based feature models: the semantics and computational aspects	2018-06-27	Paper
Simulation relations for fault-tolerance	2018-01-08	Paper
What Is a Derived Signature Morphism?	2016-02-25	Paper
Modeling Product Lines with Kripke Structures and Modal Logic	2016-02-25	Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\)	2016-01-06	Paper
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules	2015-12-11	Paper
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting	2015-01-13	Paper
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance	2014-07-22	Paper
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications	2014-07-08	Paper
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics	2013-09-13	Paper
A Branching Time Logical System for Open Distributed Systems Development	2013-04-19	Paper
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows	2012-11-06	Paper
Encapsulating deontic and branching time specifications	2012-10-11	Paper
Towards a First-Order Deontic Action Logic	2012-06-08	Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting	2010-08-31	Paper
Characterizing Locality (Encapsulation) with Bisimulation	2010-08-31	Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support	2010-03-30	Paper
Verification: Theory and Practice	2010-03-23	Paper
Deontic action logic, atomic Boolean algebras and fault-tolerance	2010-02-09	Paper
On what exactly goes on when software is developed step-by-step. II: The sequel	2009-07-09	Paper
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic	2009-04-24	Paper
Design in CommUnity with Extension Morphisms	2008-09-25	Paper
A Complete and Compact Propositional Deontic Logic	2008-09-17	Paper
A Tableaux System for Deontic Action Logic	2008-08-28	Paper
Extension Morphisms for CommUnity	2007-09-07	Paper
A Verification Logic for Rewriting Logic	2005-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4436991	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417813	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4415071	2003-07-28	Paper
On a generalized modularization theorem	2002-07-25	Paper
Interpolation in practical formal development	2002-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q2722043	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518414	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4250362	1999-06-17	Paper
Categorical semantics of parallel program design	1997-12-08	Paper
On the Modularization Theorem for logical specifications	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4870817	1996-03-26	Paper
Temporal theories as modularisation units for concurrent system specification	1992-09-27	Paper
A Constructive Presentation for the Modal Connective of Necessity (□)	1992-09-27	Paper
Temporal Reasoning over Deontic Specifications	1991-01-01	Paper
Abstract Data Types and Type Theory: Theories as Types	1991-01-01	Paper
Proof theory and computer programming	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709888	1985-01-01	Paper
An Informal Approach to Formal (Algebraic) Specifications	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343424	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345797	1982-01-01	Paper
Continuous Data Types	1982-01-01	Paper
Conceptual modeling of data base operations	1981-01-01	Paper
Higher order data types	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875333	1980-01-01	Paper
On the design and specification of message oriented programs	1980-01-01	Paper
Pumping lemmas for term languages	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192939	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138119	1977-01-01	Paper
A generalized approach to formal languages	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775490	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas S. E. Maibaum