| Publication | Date of Publication | Type |
|---|
Satisfiability calculus: an abstract formulation of semantic proof systems
Fundamenta Informaticae | 2019-07-17 | Paper |
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
Scientific Annals of Computer Science | 2019-02-08 | Paper |
A theoretical framework for cardinality-based feature models: the semantics and computational aspects
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Simulation relations for fault-tolerance
Formal Aspects of Computing | 2018-01-08 | Paper |
Modeling product lines with Kripke structures and modal logic
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
What Is a derived signature morphism?
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Categorical foundations for structured specifications in \(\mathsf{Z}\)
Formal Aspects of Computing | 2016-01-06 | Paper |
A propositional tableaux based proof calculus for reasoning with default rules
Lecture Notes in Computer Science | 2015-12-11 | Paper |
A heterogeneous characterisation of component-based system design in a categorical setting
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Deontic logic, contrary to duty reasoning and fault tolerance
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Synthesizing masking fault-tolerant systems from deontic specifications
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Satisfiability calculus: the semantic counterpart of a proof calculus in general logics
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
A Branching Time Logical System for Open Distributed Systems Development
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Specifying and verifying declarative fluent temporal logic properties of workflows
Lecture Notes in Computer Science | 2012-11-06 | Paper |
Encapsulating deontic and branching time specifications
Theoretical Computer Science | 2012-10-11 | Paper |
Towards a first-order deontic action logic
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Characterizing locality (encapsulation) with bisimulation
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
Lecture Notes in Computer Science | 2010-08-31 | Paper |
In memoriam Armando Martín Haeberer. 4 January 1947 -- 11 February 2003
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Deontic action logic, atomic Boolean algebras and fault-tolerance
Journal of Applied Logic | 2010-02-09 | Paper |
On what exactly goes on when software is developed step-by-step. II: The sequel
Information Processing Letters | 2009-07-09 | Paper |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance | 2009-04-24 | Paper |
Design in CommUnity with Extension Morphisms
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
A Complete and Compact Propositional Deontic Logic
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A Tableaux System for Deontic Action Logic
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Extension Morphisms for CommUnity
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
A Verification Logic for Rewriting Logic
Journal Of Logic And Computation | 2005-07-13 | Paper |
| scientific article; zbMATH DE number 2013601 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1956478 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953887 (Why is no real title available?) | 2003-07-28 | Paper |
On a generalized modularization theorem
Information Processing Letters | 2002-07-25 | Paper |
Interpolation in practical formal development
Logic Journal of the IGPL | 2002-03-11 | Paper |
| scientific article; zbMATH DE number 1617312 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1536547 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1303727 (Why is no real title available?) | 1999-06-17 | Paper |
Categorical semantics of parallel program design
Science of Computer Programming | 1997-12-08 | Paper |
On the Modularization Theorem for logical specifications
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 860045 (Why is no real title available?) | 1996-03-26 | Paper |
Temporal theories as modularisation units for concurrent system specification
Formal Aspects of Computing | 1992-09-27 | Paper |
A Constructive Presentation for the Modal Connective of Necessity (□)
Journal Of Logic And Computation | 1992-09-27 | Paper |
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly | 1991-01-01 | Paper |
Temporal Reasoning over Deontic Specifications
Journal Of Logic And Computation | 1991-01-01 | Paper |
Proof theory and computer programming
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
An Informal Approach to Formal (Algebraic) Specifications
The Computer Journal | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3938560 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3878342 (Why is no real title available?) | 1984-01-01 | Paper |
Continuous Data Types
SIAM Journal on Computing | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3880134 (Why is no real title available?) | 1982-01-01 | Paper |
Conceptual modeling of data base operations
International Journal of Computer & Information Sciences | 1981-01-01 | Paper |
On the design and specification of message oriented programs
International Journal of Computer & Information Sciences | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679170 (Why is no real title available?) | 1980-01-01 | Paper |
Higher order data types
International Journal of Computer & Information Sciences | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3631904 (Why is no real title available?) | 1978-01-01 | Paper |
Pumping lemmas for term languages
Journal of Computer and System Sciences | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3566154 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3451468 (Why is no real title available?) | 1974-01-01 | Paper |
A generalized approach to formal languages
Journal of Computer and System Sciences | 1974-01-01 | Paper |
