Publication | Date of Publication | Type |
---|
Dynamic Reconfiguration via Typed Modalities | 2023-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5067958 | 2022-04-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224784 | 2019-07-24 | Paper |
Logics for actor networks: a two-stage constrained-hybridisation approach | 2019-06-20 | Paper |
Dynamic networks of heterogeneous timed machines | 2018-05-17 | Paper |
Logics for actor networks: a case study in constrained hybridization | 2018-04-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q3133180 | 2018-02-13 | Paper |
Revisiting the Institutional Approach to Herbrand’s Theorem | 2017-07-11 | Paper |
Heterogeneous and asynchronous networks of timed systems | 2017-01-23 | Paper |
A Full Operational Semantics for Asynchronous Relational Networks | 2016-02-25 | Paper |
Service-Oriented Logic Programming | 2015-08-25 | Paper |
Abstract Constraint Data Types | 2015-06-22 | Paper |
Heterogeneous Timed Machines | 2015-01-13 | Paper |
An interface theory for service-oriented design | 2014-09-02 | Paper |
A Logic-Programming Semantics of Services | 2013-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844830 | 2013-08-19 | Paper |
A Graph-Based Design Framework for Services | 2012-10-02 | Paper |
A formal model for service-oriented interactions | 2012-07-20 | Paper |
Revisiting the Categorical Approach to Systems* | 2011-05-06 | Paper |
Generic Programming | 2010-03-09 | Paper |
Structured Co-spans: An Algebra of Interaction Protocols | 2009-03-10 | Paper |
What Do Semantics Matter When the Meat Is Overcooked? | 2008-06-19 | Paper |
An algebraic semantics of event-based architectures | 2007-12-12 | Paper |
Adding mobility to software architectures | 2006-06-30 | Paper |
Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
Formal Methods for Components and Objects | 2005-08-22 | Paper |
A Verification Logic for Rewriting Logic | 2005-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4673419 | 2005-04-29 | Paper |
Categories for Software Engineering | 2005-02-04 | Paper |
Superposition: Composition vs refinement of non-deterministic, action-based systems | 2004-10-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738168 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738336 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4471720 | 2004-07-30 | Paper |
Separating computation, coordination and configuration | 2003-05-11 | Paper |
Agility through coordination | 2003-02-11 | Paper |
On local modularity and interpolation in entailment systems. | 2003-01-21 | Paper |
A graph transformation approach to software architecture reconfiguration | 2002-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q2758918 | 2002-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q2773798 | 2002-03-12 | 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/Q4952316 | 2000-10-08 | Paper |
Categorical semantics of parallel program design | 1997-12-08 | Paper |
Mirror, mirror in my hand: a duality between specifications and models of process behaviour | 1996-11-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4870817 | 1996-03-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4314310 | 1994-11-21 | Paper |
Models for the substitution axiom of UNITY logic | 1994-02-24 | Paper |
Temporal theories as modularisation units for concurrent system specification | 1992-09-27 | Paper |
Temporal Reasoning over Deontic Specifications | 1991-01-01 | Paper |
Logics of Modal Terms for Systems Specification | 1990-01-01 | Paper |
Specification and verification of database dynamics | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3820049 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3824395 | 1988-01-01 | Paper |
The INFOLOG linear tense propositional logic of events and transactions | 1986-01-01 | Paper |