| Publication | Date of Publication | Type |
|---|
| Incremental Rewriting Modulo SMT | 2024-04-26 | Paper |
| On the formalization and computational complexity of resilience problems for cyber-physical systems | 2023-07-28 | Paper |
| Associative unification and symbolic reasoning modulo associativity in Maude | 2023-07-28 | Paper |
| Detection and diagnosis of deviations in distributed systems of autonomous agents | 2023-04-19 | Paper |
| A simplifier for untyped lambda expressions | 2023-03-09 | Paper |
| Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) | 2022-12-07 | Paper |
| A semantic model for interacting cyber-physical systems | 2022-09-30 | Paper |
| A formal framework for distributed cyber-physical systems | 2022-08-26 | Paper |
| Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders | 2022-08-19 | Paper |
| On the complexity of verification of time-sensitive distributed systems | 2022-07-13 | Paper |
| A probabilistic approximate logic for neuro-symbolic learning and reasoning | 2021-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111913 | 2020-05-27 | Paper |
| Symbolic timed trace equivalence | 2020-03-03 | Paper |
| A multiset rewriting model for specifying and verifying timing aspects of security protocols | 2020-03-03 | Paper |
| Programming and symbolic computation in Maude | 2020-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376659 | 2019-05-17 | Paper |
| Inferring mechanism of action of an unknown compound from time series omics data | 2018-10-17 | Paper |
| A semantics preserving actor translation | 2018-07-04 | Paper |
| Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems | 2018-02-16 | Paper |
| Reasoning about meta level activities in open distributed systems | 2017-09-29 | Paper |
| ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing | 2017-06-08 | Paper |
| A rewriting framework and logic for activities subject to regulations | 2017-04-03 | Paper |
| Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 | 2016-09-05 | Paper |
| Large-scale access scheduling in wireless mesh networks using social centrality | 2015-12-18 | Paper |
| José Meseguer: Scientist and Friend Extraordinaire | 2015-09-14 | Paper |
| Two Decades of Maude | 2015-09-14 | Paper |
| Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems | 2015-06-22 | Paper |
| Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints | 2015-03-19 | Paper |
| Brief announcement | 2014-12-05 | Paper |
| Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing | 2014-03-25 | Paper |
| A Rewriting Logic Framework for Soft Constraints | 2014-01-24 | Paper |
| Comparing Three Coordination Models: Reo, ARC, and RRD | 2013-12-13 | Paper |
| A Formal Framework for Interactive Agents | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863849 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851057 | 2013-10-02 | Paper |
| Formal modeling of evolving self-adaptive systems | 2013-06-06 | Paper |
| Reduction-Based Formal Analysis of BGP Instances | 2012-06-29 | Paper |
| A Distributed Logic for Networked Cyber-Physical Systems | 2012-06-29 | Paper |
| Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 | 2012-04-24 | Paper |
| Comparing three coordination models: Reo, ARC, and PBRD | 2010-11-25 | Paper |
| Analyzing Pathways Using SAT-Based Approaches | 2007-11-29 | Paper |
| All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. | 2007-08-08 | Paper |
| Specification and analysis of the AER/NCA active network protocol suite in real-time Maude | 2007-01-24 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046721 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447224 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413230 | 2003-07-17 | Paper |
| Specification diagrams for actor systems | 2003-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793036 | 2003-02-18 | Paper |
| Actor theories in rewriting logic | 2002-08-13 | Paper |
| Reasoning theories. Toward an architecture for open mechanized reasoning systems | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767188 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764137 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764142 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790342 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703712 | 2001-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703711 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2704331 | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518871 | 2001-03-06 | Paper |
| Actor languages. Their syntax, semantics, translation, and equivalence | 2000-08-23 | Paper |
| Equivalence in functional languages with effects | 2000-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251113 | 2000-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270072 | 1999-12-20 | Paper |
| Composable semantic models for actor theories | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223002 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222946 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222865 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385442 | 1998-11-10 | Paper |
| Using abstract resources to control reasoning | 1998-01-01 | Paper |
| A foundation for actor computation | 1997-06-04 | Paper |
| From operational semantics to domain theory | 1996-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283243 | 1996-04-16 | Paper |
| REASONING ABOUT OBJECT SYSTEMS IN VTLoE | 1995-10-29 | Paper |
| A variable typed logic of effects | 1995-08-01 | Paper |
| A theory of binding structures and applications to rewriting | 1993-10-17 | Paper |
| A theory for program and data type specification | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016565 | 1993-01-16 | Paper |
| Inferring the equivalence of functional programs that mutate data | 1992-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5753940 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796735 | 1988-01-01 | Paper |
