| Publication | Date of Publication | Type |
|---|
Dynamic Reconfiguration via Typed Modalities
| 2023-04-21 | Paper |
scientific article; zbMATH DE number 7503147 (Why is no real title available?)
| 2022-04-04 | Paper |
A time-model invariant fragment of metric temporal logic
| 2019-07-24 | Paper |
Logics for actor networks: a two-stage constrained-hybridisation approach
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Dynamic networks of heterogeneous timed machines
Mathematical Structures in Computer Science | 2018-05-17 | Paper |
Logics for actor networks: a case study in constrained hybridization
| 2018-04-12 | Paper |
From conventional to institution-independent logic programming
| 2018-02-13 | Paper |
Revisiting the Institutional Approach to Herbrand’s Theorem
| 2017-07-11 | Paper |
Heterogeneous and asynchronous networks of timed systems
Theoretical Computer Science | 2017-01-23 | Paper |
A full operational semantics for asynchronous relational networks
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Service-oriented logic programming
Logical Methods in Computer Science | 2015-08-25 | Paper |
Abstract constraint data types
Software, Services, and Systems | 2015-06-22 | Paper |
Heterogeneous timed machines
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
An interface theory for service-oriented design
Theoretical Computer Science | 2014-09-02 | Paper |
A Logic-Programming Semantics of Services
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Superposition: composition vs refinement of non-deterministic, action-based systems
| 2013-08-19 | Paper |
A Graph-Based Design Framework for Services
Lecture Notes in Computer Science | 2012-10-02 | Paper |
A formal model for service-oriented interactions
Science of Computer Programming | 2012-07-20 | Paper |
Revisiting the categorical approach to systems
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Generic Programming
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Structured Co-spans: An Algebra of Interaction Protocols
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models | 2008-06-19 | Paper |
An algebraic semantics of event-based architectures
Mathematical Structures in Computer Science | 2007-12-12 | Paper |
Adding mobility to software architectures
Science of Computer Programming | 2006-06-30 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A Verification Logic for Rewriting Logic
Journal Of Logic And Computation | 2005-07-13 | Paper |
scientific article; zbMATH DE number 2163032 (Why is no real title available?)
| 2005-04-29 | Paper |
Categories for Software Engineering
| 2005-02-04 | Paper |
Superposition: Composition vs refinement of non-deterministic, action-based systems
Formal Aspects of Computing | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2087386 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087529 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079673 (Why is no real title available?)
| 2004-07-30 | Paper |
Separating computation, coordination and configuration
Journal of Software Maintenance and Evolution: Research and Practice | 2003-05-11 | Paper |
Agility through coordination
Information Systems | 2003-02-11 | Paper |
On local modularity and interpolation in entailment systems.
Information Processing Letters | 2003-01-21 | Paper |
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming | 2002-10-16 | Paper |
Managing evolution in telecommunication systems
| 2002-05-14 | Paper |
scientific article; zbMATH DE number 1712386 (Why is no real title available?)
| 2002-03-12 | 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 1444735 (Why is no real title available?)
| 2000-10-08 | Paper |
Categorical semantics of parallel program design
Science of Computer Programming | 1997-12-08 | Paper |
Mirror, mirror in my hand: a duality between specifications and models of process behaviour
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
scientific article; zbMATH DE number 860045 (Why is no real title available?)
| 1996-03-26 | Paper |
scientific article; zbMATH DE number 691422 (Why is no real title available?)
| 1994-11-21 | Paper |
Models for the substitution axiom of UNITY logic
Information Processing Letters | 1994-02-24 | Paper |
Temporal theories as modularisation units for concurrent system specification
Formal Aspects of Computing | 1992-09-27 | Paper |
Temporal Reasoning over Deontic Specifications
Journal Of Logic And Computation | 1991-01-01 | Paper |
Logics of Modal Terms for Systems Specification
Journal Of Logic And Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4097351 (Why is no real title available?)
| 1988-01-01 | Paper |
Specification and verification of database dynamics
Acta Informatica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4092818 (Why is no real title available?)
| 1988-01-01 | Paper |
The INFOLOG linear tense propositional logic of events and transactions
Information Systems | 1986-01-01 | Paper |
