On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. - Moreno Falaschi; Giorgio Levi; Catuscia Palamidessi (Logic Programming Workshop, 1983)

A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses - Moreno Falaschi; Giorgio Levi; Catuscia Palamidessi (Inf. Control., 1984)

A New Declarative Semantics for Logic Languages. - Moreno Falaschi; Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (ICLP/SLP, 1988)

Declarative Modeling of the Operational Behavior of Logic Languages. - Moreno Falaschi; Giorgio Levi; Catuscia Palamidessi; Maurizio Martelli (Theor. Comput. Sci., 1989)

Nested Guarded Horn Clauses. - Moreno Falaschi; Maurizio Gabbrielli; Giorgio Levi; Masaki Murakami (Int. J. Found. Comput. Sci., 1990)

Finite Failures and Partial Computations in Concurrent Logic Languages. - Moreno Falaschi; Giorgio Levi (Theor. Comput. Sci., 1990)

Suspension Analysis for Concurrent Logic Programs. - Michael Codish; Moreno Falaschi; Kim Marriott (ICLP, 1991)

Narrowing as an Incremental Constraint Satisfaction Algorithm. - María Alpuente; Moreno Falaschi (PLILP, 1991)

Conditional Narrowing with Constructive Negation. - María José Ramírez; Moreno Falaschi (ELP, 1992)

Analyses of Inconsistency for Incremental Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (PLILP, 1992)

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. - Michael Codish; Moreno Falaschi; Kim Marriott; William H. Winsborough (WSA, 1992)

Using Narrowing Approximations to Optimize Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP, 1993)

Efficient Analysis of Concurrent Constraint Logic Programs. - Michael Codish; Moreno Falaschi; Kim Marriott; William H. Winsborough (ICALP, 1993)

Compositional Analysis for Concurrent Constraint Programming - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (LICS, 1993)

Narrowing Approximations as an Optimization for Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (PLILP, 1993)

Incremental Equational Constraint Analyses. - María Alpuente; Moreno Falaschi; Germán Vidal (ILPS, 1993)

A Prototype System for Equational Constructive Negation. - A. Mora; J. Piris; María José Ramírez; Moreno Falaschi (ILPS, 1993)

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs - Moreno Falaschi; Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (Inf. Comput., 1993)

A Compositional Semantics for Conditional Term Rewriting Systems. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP-PRODE (1), 1994)

Confluence and Concurrent Constraint Programming. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (GULP-PRODE (1), 1994)

Compositional Analysis for Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ALP, 1994)

Denotational semantics for Concurrent Constraint Programs analyses. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Suspension Analyses for Concurrent Logic Programs. - Michael Codish; Moreno Falaschi; Kim Marriott (ACM Trans. Program. Lang. Syst., 1994)

Analyses of Unsatisfiability for Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (J. Log. Program., 1995)

Incremental Constraint Satisfaction for Equational Logic Programming. - María Alpuente; Moreno Falaschi; Giorgio Levi (Theor. Comput. Sci., 1995)

Call-By Name Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1996)

Narrowing-Driven Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ESOP, 1996)

A Compositional Semantic Basis for the Analysis of Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (Theor. Comput. Sci., 1996)

Safe Folding/Unfolding with Conditional Narrowing. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (APPIA-GULP-PRODE, 1997)

Specialization of Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (PEPM, 1997)

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (Inf. Comput., 1997)

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. - Michael Codish; Moreno Falaschi; Kim Marriott; William H. Winsborough (J. Log. Program., 1997)

Confluence in Concurrent Constraint Programming. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (Theor. Comput. Sci., 1997)

Polygenetic Partial Evaluation of Lazy Functional Logic Programs. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1998)

Improving Control in Functional Logic Program Specialization. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (SAS, 1998)

A Unifying View of Functional and Logic Program Specialization. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Comput. Surv., 1998)

Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Trans. Program. Lang. Syst., 1998)

A Transformation System for Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Fuji International Symposium on Functional and Logic Programming, 1999)

Un Sistema de Transformación para Programas Multiparadigma. - María Alpuente; Moreno Falaschi; César Ferri; Ginés Moreno; Germán Vidal (Inteligencia Artif., 1999)

An Automatic Composition Algorithm for Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (SOFSEM, 2000)

Using PE to Automate Program Composition. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (WFLP, 2000)

Demand Transformation Analysis for Concurrent Constraint Programs. - Moreno Falaschi; Patrick Hicks; William H. Winsborough (J. Log. Program., 2000)

A Debugging Scheme for Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WFLP, 2001)

Modeling concurrent systems specified in a temporal concurrent constraint language-I. - Moreno Falaschi; Alberto Policriti; Alicia Villanueva (APPIA-GULP-PRODE, 2001)

Declarative Debugging of Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WRS, 2001)

Abstract Diagnosis of Functional Programs. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (LOPSTR, 2002)

Preface. - Marco Comini; Moreno Falaschi (WFLP, 2002)

Abstract Correction of OBJ-like Programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (APPIA-GULP-PRODE, 2003)

Correction of Functional Logic Programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (ESOP, 2003)

Abstract correction of first-order functional programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (WFLP, 2003)

Cost-sensitive diagnosis of declarative programs. - Demis Ballis; Moreno Falaschi; César Ferri; José Hernández-Orallo; M. José Ramírez-Quintana (WFLP, 2003)

Uniform Lazy Narrowing. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (J. Log. Comput., 2003)

Automated Verification of Web Sites Using Partial Rewriting. - María Alpuente; Demis Ballis; Moreno Falaschi (ISoLA (Preliminary proceedings), 2004)

Verdi: An Automated Tool for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (JELIA, 2004)

A Symbolic Model Checker for tccp Programs. - María Alpuente; Moreno Falaschi; Alicia Villanueva (RISE, 2004)

A Rewriting-based Framework for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (RULE@RDP, 2004)

Rules + strategies for transforming lazy functional logic programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Theor. Comput. Sci., 2004)

Preface. - María Alpuente; Santiago Escobar 001; Moreno Falaschi (WWV, 2005)

A Semi-Automatic Methodology for Repairing FaultyWeb Sites. - María Alpuente; Demis Ballis; Moreno Falaschi; Daniel Romero 001 (SEFM, 2006)

Rule-based verification of Web sites. - María Alpuente; Demis Ballis; Moreno Falaschi (Int. J. Softw. Tools Technol. Transf., 2006)

Automatic verification of timed concurrent constraint programs. - Moreno Falaschi; Alicia Villanueva (Theory Pract. Log. Program., 2006)

Declarative Diagnosis of Temporal Concurrent Constraint Programs. - Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi; Frank Valencia (ICLP, 2007)

A Fast Algebraic Web Verification Service. - María Alpuente; Demis Ballis; Moreno Falaschi; Pedro Ojeda; Daniel Romero 001 (RR, 2007)

Introduction Special Issue on Multiparadigm Languages and Constraint Programming. - Moreno Falaschi; Michael J. Maher (Theory Pract. Log. Program., 2007)

Semantic Verification of Web System Contents. - María Alpuente; Michele Baggi; Demis Ballis; Moreno Falaschi (ER Workshops, 2008)

XML Semantic Filtering via Ontology Reasoning. - Michele Baggi; Moreno Falaschi; Demis Ballis (ICIW, 2008)

An Abstract Generic Framework for Web Site Verification. - María Alpuente; Pedro Ojeda; Daniel Romero 001; Demis Ballis; Moreno Falaschi (SAINT, 2008)

Preface. - Moreno Falaschi (WFLP, 2008)

Quantitative Pathway Logic for Computational Biology. - Michele Baggi; Demis Ballis; Moreno Falaschi (CMSB, 2009)

A framework for abstract interpretation of timed concurrent constraint programs. - Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi (PPDP, 2009)

Foreword. - Moreno Falaschi; Maurizio Gabbrielli; Catuscia Palamidessi (Theor. Comput. Sci., 2009)

Transformation and Debugging of Functional Logic Programs. - María Alpuente; Demis Ballis; Moreno Falaschi (25 Years GULP, 2010)

Compositional modelling of signalling pathways in timed concurrent constraint programming. - Davide Chiarugi; Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi (BCB, 2010)

A fold/unfold transformation framework for rewrite theories extended to CCT. - María Alpuente; Demis Ballis; Michele Baggi; Moreno Falaschi (PEPM, 2010)

Completeness of Unfolding for Rewriting Logic Theories. - María Alpuente; Michele Baggi; Moreno Falaschi; Demis Ballis (SYNASC, 2010)

An Access Control Language Based on Term Rewriting and Description Logic. - Michele Baggi; Demis Ballis; Moreno Falaschi (WFLP, 2010)

An integrated framework for the diagnosis and correction of rule-based programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (Theor. Comput. Sci., 2010)

A compact fixpoint semantics for term rewriting systems. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; José Iborra (Theor. Comput. Sci., 2010)

Simulating Signalling Pathways With BioWayS. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Michell Guzmán; Carlos Olarte (CS2Bio, 2012)

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Roberto Marangoni; Carlos Olarte (IWBBIO, 2013)

Rewriting-based repairing strategies for XML repositories. - María Alpuente; Demis Ballis; Moreno Falaschi; Francisco Frechina; Daniel Romero 001 (J. Log. Algebraic Methods Program., 2013)

A framework for modelling spatially dependent interactions of biological systems in CCP. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte (IWBBIO, 2014)

Verification of Spatial and Temporal Modalities in Biochemical Systems. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte (SASB, 2014)

Functional and (Constraint) Logic Programming. - Santiago Escobar 001; Moreno Falaschi (Inf. Comput., 2014)

A Declarative View of Signaling Pathways. - Davide Chiarugi; Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi (Programming Languages with Applications to Biology and Security, 2015)

Modelling non-Markovian dynamics in biochemical reactions. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte; Luca Torella (BMC Syst. Biol., 2015)

Abstract interpretation of temporal concurrent constraint programs. - Moreno Falaschi; Carlos Olarte; Catuscia Palamidessi (Theory Pract. Log. Program., 2015)

Slicing Concurrent Constraint Programs. - Moreno Falaschi; Maurizio Gabbrielli; Carlos Olarte; Catuscia Palamidessi (LOPSTR, 2016)

A proof theoretic view of spatial and temporal dependencies in biochemical systems. - Carlos Olarte; Davide Chiarugi; Moreno Falaschi; Diana Hermith (Theor. Comput. Sci., 2016)

Editorial. - Moreno Falaschi; Augusto Sampaio 001 (Formal Aspects Comput., 2017)

An Assertion Language for Slicing Constraint Logic Languages. - Moreno Falaschi; Carlos Olarte (LOPSTR, 2018)

Process calculi for biological processes. - Andrea Bernini; Linda Brodo; Pierpaolo Degano; Moreno Falaschi; Diana Hermith (Nat. Comput., 2018)

Enhancing Reaction Systems: A Process Algebraic Approach. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (The Art of Modelling Computational Systems, 2019)

Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. - Moreno Falaschi; Catuscia Palamidessi; Marco Romanelli 002 (Gabbrielli's Festschrift, 2020)

A Logic Programming Approach to Reaction Systems. - Moreno Falaschi; Giulia Palma (Gabbrielli's Festschrift, 2020)

SOS Rules for Equivalences of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (WFLP, 2020)

Dynamic Slicing for Concurrent Constraint Languages. - Moreno Falaschi; Maurizio Gabbrielli; Carlos Olarte; Catuscia Palamidessi (Fundam. Informaticae, 2020)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (TPNC, 2021)

A logical and graphical framework for reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

A process algebraic approach to reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (DataMod, 2023)

Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. - Michelangelo Diligenti; Francesco Giannini; Stefano Fioravanti; Caterina Graziani; Moreno Falaschi; Giuseppe Marra (IJCNN, 2023)

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (PADL, 2023)

Verification of Reaction Systems Processes. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Challenges of Software Verification, 2023)

Quantitative extensions of reaction systems based on SOS semantics. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (Neural Comput. Appl., 2023)

Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (CMSB, 2024)

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. - Juliana Bowles; Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (CMSB, 2024)

A framework for monitored dynamic slicing of reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Nat. Comput., 2024)

Causal analysis of positive Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo; Valeria Montagna; Pasquale Pulieri (Int. J. Softw. Tools Technol. Transf., 2024)

ccReact: a rewriting framework for the formal analysis of reaction systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (Int. J. Softw. Tools Technol. Transf., 2024)

Simulation and Analysis of Distributed Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Ion Petre (IEEE Access, 2025)