| Publication | Date of Publication | Type |
|---|
| Enhancing Reaction Systems: A Process Algebraic Approach | 2024-03-14 | Paper |
| Process calculi for biological processes | 2023-11-30 | Paper |
| An assertion language for slicing constraint logic languages | 2023-11-09 | Paper |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 2023-04-13 | Paper |
| Confluence in concurrent constraint programming | 2022-08-16 | Paper |
| A process algebraic approach to reaction systems | 2021-08-11 | Paper |
| A logical and graphical framework for reaction systems | 2021-06-23 | Paper |
| Slicing concurrent constraint programs | 2021-05-20 | Paper |
| Efficient analysis of concurrent constraint logic programs | 2019-03-29 | Paper |
| Abstract interpretation of temporal concurrent constraint programs | 2017-11-09 | Paper |
| Slicing concurrent constraint programs | 2017-10-13 | Paper |
| Verification of spatial and temporal modalities in biochemical systems | 2016-12-16 | Paper |
| A proof theoretic view of spatial and temporal dependencies in biochemical systems | 2016-07-15 | Paper |
| A Declarative View of Signaling Pathways | 2016-01-08 | Paper |
| Rewriting-based repairing strategies for XML repositories | 2014-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844058 | 2013-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844059 | 2013-08-27 | Paper |
| Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. | 2013-07-24 | Paper |
| A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. | 2013-07-24 | Paper |
| Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I | 2013-05-24 | Paper |
| An Access Control Language Based on Term Rewriting and Description Logic | 2011-05-27 | Paper |
| Abstract Diagnosis of Functional Programs | 2011-03-04 | Paper |
| An integrated framework for the diagnosis and correction of rule-based programs | 2010-11-11 | Paper |
| A compact fixpoint semantics for term rewriting systems | 2010-08-24 | Paper |
| Transformation and Debugging of Functional Logic Programs | 2010-07-20 | Paper |
| Declarative Diagnosis of Temporal Concurrent Constraint Programs | 2009-03-05 | Paper |
| Automatic verification of timed concurrent constraint programs | 2006-07-14 | Paper |
| Rules + strategies for transforming lazy functional logic programs | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471989 | 2004-08-03 | Paper |
| Uniform Lazy Narrowing | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417882 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766777 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537508 | 2002-07-01 | Paper |
| Demand transformation analysis for concurrent constraint programs | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217931 | 1999-03-02 | Paper |
| Confluence in concurrent constraint programming | 1998-07-22 | Paper |
| A confluent semantic basis for the analysis of concurrent constraint logic programs | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364365 | 1997-11-17 | Paper |
| Incremental constraint satisfaction for equational logic programming | 1997-09-29 | Paper |
| Constraint logic programming with dynamic scheduling: A semantics based on closure operators | 1997-09-28 | Paper |
| A compositional semantic basis for the analysis of equational Horn programs | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858579 | 1995-12-17 | Paper |
| Analyses of unsatisfiability for equational logic programming | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287469 | 1994-05-06 | Paper |
| A model-theoretic reconstruction of the operational semantics of logic programs | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281615 | 1993-01-01 | Paper |
| Finite failures and partial computations in concurrent logic languages | 1990-01-01 | Paper |
| NESTED GUARDED HORN CLAUSES | 1990-01-01 | Paper |
| Declarative modeling of the operational behavior of logic languages | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742694 | 1986-01-01 | Paper |
| A synchronization logic: Axiomatics and formal semantics of generalized horn clauses | 1984-01-01 | Paper |
