| Publication | Date of Publication | Type |
|---|
| Enhancing Reaction Systems: A Process Algebraic Approach | 2024-03-14 | Paper |
Process calculi for biological processes
Natural Computing | 2023-11-30 | Paper |
An assertion language for slicing constraint logic languages
Logic-Based Program Synthesis and Transformation | 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
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
A process algebraic approach to reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
A logical and graphical framework for reaction systems
Theoretical Computer Science | 2021-06-23 | Paper |
Dynamic slicing for concurrent constraint languages
Fundamenta Informaticae | 2021-05-20 | Paper |
Efficient analysis of concurrent constraint logic programs
Automata, Languages and Programming | 2019-03-29 | Paper |
Abstract interpretation of temporal concurrent constraint programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Slicing concurrent constraint programs
Lecture Notes in Computer Science | 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
Theoretical Computer Science | 2016-07-15 | Paper |
A declarative view of signaling pathways
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Rewriting-based repairing strategies for XML repositories
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
| Cost-sensitive diagnosis of declarative programs | 2013-08-27 | Paper |
| Abstract correction of first-order functional programs | 2013-08-27 | Paper |
A debugging scheme for functional logic programs
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Declarative debugging of functional logic programs
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Modeling concurrent systems specified in a temporal concurrent constraint language. I
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
An access control language based on term rewriting and description logic
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
Abstract diagnosis of functional programs
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science | 2010-11-11 | Paper |
A compact fixpoint semantics for term rewriting systems
Theoretical Computer Science | 2010-08-24 | Paper |
Transformation and debugging of functional logic programs
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Logic Programming | 2009-03-05 | Paper |
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming | 2006-07-14 | Paper |
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2079865 (Why is no real title available?) | 2004-08-03 | Paper |
Uniform Lazy Narrowing
Journal Of Logic And Computation | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1956545 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1696592 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1761889 (Why is no real title available?) | 2002-07-01 | Paper |
Demand transformation analysis for concurrent constraint programs
The Journal of Logic Programming | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1222408 (Why is no real title available?) | 1999-03-02 | Paper |
Confluence in concurrent constraint programming
Theoretical Computer Science | 1998-07-22 | Paper |
A confluent semantic basis for the analysis of concurrent constraint logic programs
The Journal of Logic Programming | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 1088019 (Why is no real title available?) | 1997-11-17 | Paper |
Incremental constraint satisfaction for equational logic programming
Theoretical Computer Science | 1997-09-29 | Paper |
Constraint logic programming with dynamic scheduling: A semantics based on closure operators
Information and Computation | 1997-09-28 | Paper |
A compositional semantic basis for the analysis of equational Horn programs
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 826301 (Why is no real title available?) | 1995-12-17 | Paper |
Analyses of unsatisfiability for equational logic programming
The Journal of Logic Programming | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 549952 (Why is no real title available?) | 1994-05-06 | Paper |
A model-theoretic reconstruction of the operational semantics of logic programs
Information and Computation | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 512906 (Why is no real title available?) | 1993-01-01 | Paper |
Finite failures and partial computations in concurrent logic languages
Theoretical Computer Science | 1990-01-01 | Paper |
NESTED GUARDED HORN CLAUSES
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3978355 (Why is no real title available?) | 1986-01-01 | Paper |
A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
Information and Control | 1984-01-01 | Paper |
