Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Thomas S. E. Maibaum - MaRDI portal

Thomas S. E. Maibaum

From MaRDI portal
(Redirected from Person:1192603)
Person:673999

Available identifiers

zbMath Open maibaum.thomas-s-eDBLPm/TSEMaibaumWikidataQ7816687 ScholiaQ7816687MaRDI QIDQ673999

List of research outcomes





PublicationDate of PublicationType
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems2019-07-17Paper
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic2019-02-08Paper
A theoretical framework for cardinality-based feature models: the semantics and computational aspects2018-06-27Paper
Simulation relations for fault-tolerance2018-01-08Paper
What Is a Derived Signature Morphism?2016-02-25Paper
Modeling Product Lines with Kripke Structures and Modal Logic2016-02-25Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\)2016-01-06Paper
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules2015-12-11Paper
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting2015-01-13Paper
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance2014-07-22Paper
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications2014-07-08Paper
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics2013-09-13Paper
A Branching Time Logical System for Open Distributed Systems Development2013-04-19Paper
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows2012-11-06Paper
Encapsulating deontic and branching time specifications2012-10-11Paper
Towards a First-Order Deontic Action Logic2012-06-08Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting2010-08-31Paper
Characterizing Locality (Encapsulation) with Bisimulation2010-08-31Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support2010-03-30Paper
Verification: Theory and Practice2010-03-23Paper
Deontic action logic, atomic Boolean algebras and fault-tolerance2010-02-09Paper
On what exactly goes on when software is developed step-by-step. II: The sequel2009-07-09Paper
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic2009-04-24Paper
Design in CommUnity with Extension Morphisms2008-09-25Paper
A Complete and Compact Propositional Deontic Logic2008-09-17Paper
A Tableaux System for Deontic Action Logic2008-08-28Paper
Extension Morphisms for CommUnity2007-09-07Paper
A Verification Logic for Rewriting Logic2005-07-13Paper
https://portal.mardi4nfdi.de/entity/Q44369912003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44178132003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44150712003-07-28Paper
On a generalized modularization theorem2002-07-25Paper
Interpolation in practical formal development2002-03-11Paper
https://portal.mardi4nfdi.de/entity/Q27220432001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q45184142000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42503621999-06-17Paper
Categorical semantics of parallel program design1997-12-08Paper
On the Modularization Theorem for logical specifications1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48708171996-03-26Paper
Temporal theories as modularisation units for concurrent system specification1992-09-27Paper
A Constructive Presentation for the Modal Connective of Necessity (□)1992-09-27Paper
Temporal Reasoning over Deontic Specifications1991-01-01Paper
Abstract Data Types and Type Theory: Theories as Types1991-01-01Paper
Proof theory and computer programming1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37098881985-01-01Paper
An Informal Approach to Formal (Algebraic) Specifications1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33434241984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33457971982-01-01Paper
Continuous Data Types1982-01-01Paper
Conceptual modeling of data base operations1981-01-01Paper
Higher order data types1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38753331980-01-01Paper
On the design and specification of message oriented programs1980-01-01Paper
Pumping lemmas for term languages1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41929391978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41381191977-01-01Paper
A generalized approach to formal languages1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47754901974-01-01Paper

Research outcomes over time

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