| Publication | Date of Publication | Type |
|---|
| A Coalgebraic Approach to Unification Semantics of Logic Programming | 2024-03-14 | Paper |
| From Tuscany to Scotland and back. A homage to Rocco de Nicola for his 65th birthday | 2024-02-23 | Paper |
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| Relating two categorical models of term rewriting | 2022-12-09 | Paper |
| Minimal transition systems for history-preserving bisimulation | 2022-11-09 | Paper |
| Algebras for Tree Decomposable Graphs | 2022-09-01 | Paper |
| A π-calculus with explicit substitutions: The late semantics | 2022-08-18 | Paper |
| Mobility in the CC-paradigm | 2022-08-18 | Paper |
| Contextual occurrence nets and concurrent constraint programming | 2022-08-16 | Paper |
| An algebraic view of interleaving and distributed operational semantics for CCS | 2022-08-16 | Paper |
| Abstract graph derivations in the double pushout approach | 2022-08-16 | Paper |
| Dynamic matrices and the cost analysis of concurrent programs | 2022-08-16 | Paper |
| Note on standard representation of graphs and graph derivations | 2022-08-16 | Paper |
| Concurrency and Probability | 2021-01-20 | Paper |
| Bayesian network semantics for Petri nets | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207054 | 2020-01-03 | Paper |
| A parametric approach to localities | 2019-12-04 | Paper |
| The category of typed graph grammars and its adjunctions with categories of derivations | 2019-01-10 | Paper |
| An event structure semantics for graph grammars with parallel productions | 2019-01-10 | Paper |
| Models of computation | 2018-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| Decomposition structures for soft constraint evaluation problems: an algebraic approach | 2018-04-04 | Paper |
| Theoretical foundations for compensations in flow composition languages | 2017-07-14 | Paper |
| Soft concurrent constraint programming | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980978 | 2017-05-08 | Paper |
| Network-conscious \(\pi\)-calculus -- a model of Pastry | 2016-08-01 | Paper |
| cJoin: Join with communicating transactions | 2016-07-27 | Paper |
| Network Conscious π-calculus: A Concurrent Semantics | 2016-07-08 | Paper |
| Causal Trees, Finally | 2016-01-08 | Paper |
| Connector Algebras, Petri Nets, and BIP | 2015-12-07 | Paper |
| A coalgebraic semantics for causality in Petri nets | 2015-11-10 | Paper |
| Unicast and multicast QoS routing with soft-constraint logic programming | 2015-09-17 | Paper |
| A Normal Form for Stateful Connectors | 2015-09-14 | Paper |
| A Compositional Coalgebraic Model of a Fragment of Fusion Calculus | 2015-07-10 | Paper |
| On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs | 2015-06-26 | Paper |
| Programming Autonomic Systems with Multiple Constraint Stores | 2015-06-22 | Paper |
| Hierarchical Design Rewriting with Maude | 2015-03-19 | Paper |
| Revisiting causality, coalgebraically | 2015-03-02 | Paper |
| A survey of constraint-based programming paradigms | 2014-10-07 | Paper |
| A network-conscious \(\pi\)-calculus and its coalgebraic semantics | 2014-07-25 | Paper |
| From Hierarchical BIP to Petri Calculus | 2014-07-24 | Paper |
| Behaviour, Interaction and Dynamics | 2014-03-25 | Paper |
| A name abstraction functor for named sets | 2014-01-24 | Paper |
| Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming | 2014-01-17 | Paper |
| A coalgebraic theory of reactive systems | 2014-01-17 | Paper |
| Modelling calculi with name mobility using graphs with equivalences | 2013-12-20 | Paper |
| G-reactive systems as coalgebras | 2013-12-06 | Paper |
| Hoare vs Milner: comparing synchronizations in a graphical framework with mobility | 2013-10-07 | Paper |
| Tiling transactions in rewriting logic | 2013-10-02 | Paper |
| Connector algebras for C/E and P/T nets' interactions | 2013-09-26 | Paper |
| Synchronization algebras with mobility for graph transformations | 2013-09-26 | Paper |
| Quantitative \(\mu\)-calculus and CTL based on constraint semirings | 2013-09-20 | Paper |
| Flat committed join in join | 2013-09-11 | Paper |
| Some characterization results for permutation algebras | 2013-09-11 | Paper |
| A graphical fusion calculus | 2013-09-11 | Paper |
| Web services and models of computation | 2013-09-11 | Paper |
| Shaped hierarchical architectural design | 2013-09-11 | Paper |
| GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs | 2013-08-16 | Paper |
| Comparing cospan-spans and tiles via a Hoare-style process calculus | 2013-07-24 | Paper |
| Two Graph-Based Techniques for Software Architecture Reconfiguration | 2013-05-24 | Paper |
| A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). | 2013-04-26 | Paper |
| Families of symmetries as efficient models of resource binding | 2012-10-02 | Paper |
| A Modular LTS for Open Reactive Systems | 2012-09-21 | Paper |
| Coalgebraic Symbolic Semantics | 2012-06-01 | Paper |
| A Connector Algebra for P/T Nets Interactions | 2011-09-02 | Paper |
| Symbolic and Asynchronous Semantics via Normalized Coalgebras | 2011-05-26 | Paper |
| Symmetries, local names and dynamic (de)-allocation of names | 2011-01-14 | Paper |
| QoS negotiation in service composition | 2011-01-07 | Paper |
| On GS-Monoidal Theories for Graphs with Nesting | 2010-11-26 | Paper |
| Saturated LTSs for Adhesive Rewriting Systems | 2010-10-04 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Tiles for Reo | 2009-10-22 | Paper |
| Reactive systems, (semi-)saturated semantics and coalgebras on presheaves | 2009-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396631 | 2009-09-19 | Paper |
| Minimization Algorithm for Symbolic Bisimilarity | 2009-03-31 | Paper |
| Coalgebraic Models for Reactive Systems | 2008-09-18 | Paper |
| Symbolic Semantics Revisited | 2008-04-11 | Paper |
| Open Bisimulation for the Concurrent Constraint Pi-Calculus | 2008-04-11 | Paper |
| Constraint relaxation may be perfect | 2007-09-20 | Paper |
| Synchronised Hyperedge Replacement as a Model for Service Oriented Computing | 2007-09-11 | Paper |
| CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements | 2007-09-04 | Paper |
| Event Structure Semantics for Nominal Calculi | 2007-09-04 | Paper |
| Concurrent Rewriting for Graphs with Equivalences | 2007-09-04 | Paper |
| A compositional coalgebraic model of fusion calculus | 2007-07-16 | Paper |
| Unfolding semantics of graph transformation | 2007-05-14 | Paper |
| Mapping Fusion and Synchronized Hyperedge Replacement into logic programming | 2007-03-23 | Paper |
| A basic algebra of stateless connectors | 2007-01-09 | Paper |
| About permutation algebras, (pre)sheaves and named sets | 2006-11-17 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714438 | 2006-01-02 | Paper |
| Quantitative \(\mu\)-calculus and CTL defined over constraint semirings | 2005-12-29 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus | 2005-09-22 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| Observational congruences for dynamically reconfigurable tile systems | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673433 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673419 | 2005-04-29 | Paper |
| Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types | 2005-04-06 | Paper |
| Concurrent models for Linda with transactions | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738222 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738345 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738295 | 2004-08-11 | Paper |
| An interactive semantics of logic programming | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448354 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438792 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421729 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484504 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484496 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791833 | 2003-02-03 | Paper |
| Normal forms for algebras of connections. | 2003-01-21 | Paper |
| Contextual Petri nets, asymmetric event structures, and processes | 2003-01-14 | Paper |
| Zero-safe nets: Comparing the collective and individual token approaches. | 2003-01-14 | Paper |
| Functorial models for Petri nets | 2003-01-14 | Paper |
| Tile formats for located and mobile systems. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536454 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536393 | 2002-11-04 | Paper |
| Comparing logics for rewriting: Rewriting logic, action calculi and tile logic | 2002-08-13 | Paper |
| Compositional SOS and beyond: A coalgebraic view of open systems | 2002-07-15 | Paper |
| Dynamic connectors for concurrency | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537510 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536441 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536607 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766553 | 2002-06-17 | Paper |
| Symmetric monoidal and cartesian double categories as a semantic framework for tile logic | 2002-05-14 | Paper |
| Soft constraint logic programming and generalized shortest path problems | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736365 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736347 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722031 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499213 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499237 | 2001-03-04 | Paper |
| Graph rewriting, constraint solving and tiles for coordinating distributed systems | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260701 | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934317 | 2000-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502811 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941924 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699285 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312458 | 1999-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256315 | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249180 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219030 | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222985 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222939 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222946 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222912 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222916 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222848 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839067 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842791 | 1998-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381717 | 1998-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839052 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353638 | 1998-02-26 | Paper |
| Partial order and contextual net semantics for atomic and locally atomic CC programs | 1998-02-25 | Paper |
| Semiring-based constraint satisfaction and optimization | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371024 | 1998-01-28 | Paper |
| On the semantics of place/transition Petri nets | 1997-11-12 | Paper |
| Structured transition systems with parametric observations: observational congruences and minimal realizations | 1997-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688924 | 1997-06-09 | Paper |
| Process versus unfolding semantics for Place/Transition Petri nets | 1997-02-28 | Paper |
| Location equivalence in a parametric setting | 1997-02-28 | Paper |
| On the implementation of concurrent calculi in net calculi: two case studies | 1997-02-28 | Paper |
| A \(\pi\)-calculus with explicit substitutions | 1997-02-27 | Paper |
| Axiomatizing permutation equivalence | 1996-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890710 | 1996-08-25 | Paper |
| Contextual nets | 1995-11-20 | Paper |
| Axiomatizing the algebra of net computations and processes | 1995-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763987 | 1995-05-01 | Paper |
| Axiomatizing CCS, nets and processes | 1994-11-29 | Paper |
| Graph rewriting for a partial ordering semantics of concurrent constraints programming | 1994-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282581 | 1994-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296304 | 1994-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281659 | 1994-03-10 | Paper |
| An abstract machine for concurrent modular systems: CHARM | 1994-02-22 | Paper |
| Universal axioms for bisimulations | 1993-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035257 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037311 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027626 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018066 | 1993-01-16 | Paper |
| An algebraic semantics for structured transition systems and its application to logic programs | 1993-01-16 | Paper |
| TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING | 1990-01-01 | Paper |
| Petri nets are monoids | 1990-01-01 | Paper |
| A\(^ 2\)CCS: Atomic actions for CCS | 1990-01-01 | Paper |
| A partial ordering semantics for CCS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3355243 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733427 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3210197 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3493317 | 1989-01-01 | Paper |
| A distributed operational semantics of CCS based on condition/event systems | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792236 | 1988-01-01 | Paper |
| Concurrent histories: a basis for observing distributed systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774958 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785985 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786030 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677155 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681915 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687696 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657423 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666283 | 1983-01-01 | Paper |
| An Efficient Unification Algorithm | 1982-01-01 | Paper |
| Dynamic Programming as Graph Searching: An Algebraic Approach | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960141 | 1979-01-01 | Paper |
| Optimizing decision trees through heuristically guided search | 1978-01-01 | Paper |
| A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105777 | 1976-01-01 | Paper |
| Synthesis of Available Networks | 1976-01-01 | Paper |
| A Vertex Elimination Algorithm for Enumerating all Simple Paths in a Graph | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140765 | 1975-01-01 | Paper |
| Networks of constraints: Fundamental properties and applications to picture processing | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050202 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777945 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5667931 | 1972-01-01 | Paper |
| Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice | 1972-01-01 | Paper |
| On the optimal detection of curves in noisy pictures | 1971-01-01 | Paper |
| A note on minimal length polygonal approximation to a digitized contour | 1970-01-01 | Paper |
| A grey-weighted skeleton | 1970-01-01 | Paper |
| Heuristically guided search and chromosome matching | 1970-01-01 | Paper |
| Separable graphs, planar graphs and web grammars | 1970-01-01 | Paper |
| Continuous Skeletons from Digitized Images | 1969-01-01 | Paper |
| An algorithm for hidden line elimination | 1969-01-01 | Paper |
