| Publication | Date of Publication | Type |
|---|
A modular bisimulation characterisation for fragments of hybrid logic
The Bulletin of Symbolic Logic | 2025-12-30 | Paper |
Hybrid-dynamic Ehrenfeucht-Fraïssé games
ACM Transactions on Computational Logic | 2025-12-01 | Paper |
| Symbolic realisation of epistemic processes | 2025-02-19 | Paper |
Process calculi for modelling mobile, service-oriented, and collective autonomic systems
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Logic Journal of the IGPL | 2024-02-20 | Paper |
| A modular bisimulation characterisation for fragments of hybrid logic | 2023-12-22 | Paper |
Proof systems for structured algebraic specifications: An overview
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Behavioural and abstractor specifications revisited
Theoretical Computer Science | 2018-07-26 | Paper |
A SOC-based formal specification and verification of hybrid systems
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Model-Checking Helena Ensembles with Spin
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Which soft constraints do you prefer?
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Assembly theories for communication-safe component systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A rewriting logic framework for soft constraints
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Statistical model checking for composite actor systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Building a Modal Interface Theory for Concurrency and Data
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Interface theories for concurrency and data
Theoretical Computer Science | 2011-07-07 | Paper |
A contract-based approach to adaptivity
The Journal of Logic and Algebraic Programming | 2011-06-07 | Paper |
Comparing goal-oriented and procedural service orchestration
Multiagent and Grid Systems | 2010-09-14 | Paper |
Making components move: a separation of concerns approach.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
On the Specification and Verification of Model Transformations
Semantics and Algebraic Specification | 2009-10-22 | Paper |
What Is a Multi-modeling Language?
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Service Specification and Matchmaking Using Description Logic
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Specification and refinement of mobile systems in MTLA and mobile UML
Theoretical Computer Science | 2006-04-06 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Adapting Proofs-as-Programs
Monographs in Computer Science | 2005-09-28 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
A coordination approach to mobile components
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2088824 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2079677 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1988970 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1956481 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1951128 (Why is no real title available?) | 2003-07-21 | Paper |
A formal approach to object-oriented software engineering
Theoretical Computer Science | 2002-08-13 | Paper |
Recursive equations in higher-order process calculi
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1368954 (Why is no real title available?) | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1696883 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696897 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693528 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1617311 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1418375 (Why is no real title available?) | 2000-10-25 | Paper |
Proof systems for structured specifications with observability operators
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1140686 (Why is no real title available?) | 1998-07-20 | Paper |
| scientific article; zbMATH DE number 1142323 (Why is no real title available?) | 1998-05-14 | Paper |
Timed rewriting logic with an application to object-based specification
Science of Computer Programming | 1997-12-08 | Paper |
| scientific article; zbMATH DE number 1070625 (Why is no real title available?) | 1997-10-07 | Paper |
Behavioural and abstractor specifications
Science of Computer Programming | 1997-01-02 | Paper |
A Calculus of Higher-Order Parameterization for Algebraic Specifications
Logic Journal of the IGPL | 1995-11-05 | Paper |
| scientific article; zbMATH DE number 785047 (Why is no real title available?) | 1995-08-14 | Paper |
| scientific article; zbMATH DE number 781172 (Why is no real title available?) | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 176489 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 49802 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 3285 (Why is no real title available?) | 1992-06-25 | Paper |
Crypt-equivalent algebraic specifications
Acta Informatica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4078770 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4052992 (Why is no real title available?) | 1988-01-01 | Paper |
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems | 1987-01-01 | Paper |
Algebraic implementations preserve program correctness
Science of Computer Programming | 1986-01-01 | Paper |
Structured algebraic specifications: A kernel language
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4014011 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3956413 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4039256 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898214 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911689 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936496 (Why is no real title available?) | 1985-01-01 | Paper |
A systematic study of models of abstract data types
Theoretical Computer Science | 1984-01-01 | Paper |
On hierarchies of abstract data types
Acta Informatica | 1983-01-01 | Paper |
Nondeterministic three-valued logic: isotonic and guarded truth-functions
Studia Logica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808937 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3814949 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819086 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825899 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3799001 (Why is no real title available?) | 1983-01-01 | Paper |
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
Informatik Spektrum | 1982-01-01 | Paper |
Partial abstract types
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3802788 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782368 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3774870 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3812932 (Why is no real title available?) | 1982-01-01 | Paper |
Programming in a wide spectrum language: A collection of examples
Science of Computer Programming | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3723836 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3723898 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3755851 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3774871 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3692620 (Why is no real title available?) | 1980-01-01 | Paper |
Program development: From enumeration to backtracking
Information Processing Letters | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3675284 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679161 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688682 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3721915 (Why is no real title available?) | 1980-01-01 | Paper |
Small Universal Post Systems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1979-01-01 | Paper |
Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
Information Processing Letters | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3628362 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630737 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633670 (Why is no real title available?) | 1979-01-01 | Paper |
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
An attempt for a mathematical foundation and evaluation of MACS, a method for multidimensional automatical cluster detection
Biometrical Journal | 1978-01-01 | Paper |
Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
Manuscripta Mathematica | 1977-01-01 | Paper |
