Moreno Falaschi

Available identifiers

zbMath Open falaschi.morenoMaRDI QIDQ671508

List of research outcomes

Publication	Date of Publication	Type
Process calculi for biological processes	2023-11-30	Paper
An assertion language for slicing constraint logic languages	2023-11-09	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Moreno Falaschi