Moreno Falaschi

134 papers A* 2A 2B 8C 10Misc 1Journal 47Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
Knowledge Graph Extraction from Biomedical Literature for Alkaptonuria Rare Disease.
CoRR
Giang Pham, Rebecca Finetti, Caterina Graziani, Bianca Roncaglia, Asma Bendjeddou, Linda Brodo, Sara Brunetti, Moreno Falaschi, Stefano Forti, Silvia Giulia Galfrè, Paolo Milazzo, Corrado Priami, Annalisa Santucci, Ottavia Spiga, Alina Sîrbu
2025 J jnl
Simulation and Analysis of Distributed Reaction Systems.
IEEE Access
Linda Brodo, Roberto Bruni, Moreno Falaschi, Ion Petre
2025 J jnl
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks.
Nat. Comput.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024 J jnl
A framework for monitored dynamic slicing of reaction systems.
Nat. Comput.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2024 J jnl
Causal analysis of positive Reaction Systems.
Int. J. Softw. Tools Technol. Transf.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri
2024 — conf
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies.
CMSB
Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024 — conf
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems.
CMSB
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2024 J jnl
ccReact: a rewriting framework for the formal analysis of reaction systems.
Int. J. Softw. Tools Technol. Transf.
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2023 — conf
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems.
DataMod
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2023 C conf
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.
PADL
Linda Brodo, Roberto Bruni, Moreno Falaschi
2023 B conf
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge.
IJCNN
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
2023 J jnl
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge.
CoRR
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
2023 J jnl
Quantitative extensions of reaction systems based on SOS semantics.
Neural Comput. Appl.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2023 — ch.
Verification of Reaction Systems Processes.
Challenges of Software Verification
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 J jnl
A logical and graphical framework for reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 J jnl
A process algebraic approach to reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 — conf
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.
TPNC
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2020 — conf
A Logic Programming Approach to Reaction Systems.
Gabbrielli's Festschrift
Moreno Falaschi, Giulia Palma
2020 — conf
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy.
Gabbrielli's Festschrift
Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli
2020 J jnl
Dynamic Slicing for Concurrent Constraint Languages.
Fundam. Informaticae
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2020 — conf
SOS Rules for Equivalences of Reaction Systems.
WFLP
Linda Brodo, Roberto Bruni, Moreno Falaschi
2020 J jnl
SOS Rules for Equivalences of Reaction Systems.
CoRR
Linda Brodo, Roberto Bruni, Moreno Falaschi
2019 — conf
Enhancing Reaction Systems: A Process Algebraic Approach.
The Art of Modelling Computational Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
2018 C conf
An Assertion Language for Slicing Constraint Logic Languages.
LOPSTR
Moreno Falaschi, Carlos Olarte
2018 J jnl
An Assertion language for slicing Constraint Logic Languages.
CoRR
Moreno Falaschi, Carlos Olarte
2018 J jnl
Process calculi for biological processes.
Nat. Comput.
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
2017 J jnl
Editorial.
Formal Aspects Comput.
Moreno Falaschi, Augusto Sampaio
2016 J jnl
A proof theoretic view of spatial and temporal dependencies in biochemical systems.
Theor. Comput. Sci.
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
2016 C conf
Slicing Concurrent Constraint Programs.
LOPSTR
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2016 J jnl
Slicing Concurrent Constraint Programs.
CoRR
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2015 — conf
A Declarative View of Signaling Pathways.
Programming Languages with Applications to Biology and Security
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015 J jnl
Abstract interpretation of temporal concurrent constraint programs.
Theory Pract. Log. Program.
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015 C ed.
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
LOPSTR
Moreno Falaschi
2015 J jnl
Modelling non-Markovian dynamics in biochemical reactions.
BMC Syst. Biol.
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
2015 C ed.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015
PPDP
Moreno Falaschi, Elvira Albert
2014 — conf
A framework for modelling spatially dependent interactions of biological systems in CCP.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2014 J jnl
Functional and (Constraint) Logic Programming.
Inf. Comput.
Santiago Escobar, Moreno Falaschi
2014 — conf
Verification of Spatial and Temporal Modalities in Biochemical Systems.
SASB
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2013 J jnl
Abstract Interpretation of Temporal Concurrent Constraint Programs.
CoRR
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2013 J jnl
Rewriting-based repairing strategies for XML repositories.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
2013 — conf
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
2012 — conf
Simulating Signalling Pathways With BioWayS.
CS2Bio
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
2010 J jnl
A compact fixpoint semantics for term rewriting systems.
Theor. Comput. Sci.
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
2010 C conf
A fold/unfold transformation framework for rewrite theories extended to CCT.
PEPM
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
2010 — conf
An Access Control Language Based on Term Rewriting and Description Logic.
WFLP
Michele Baggi, Demis Ballis, Moreno Falaschi
2010 J jnl
An integrated framework for the diagnosis and correction of rule-based programs.
Theor. Comput. Sci.
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2010 Misc conf
Completeness of Unfolding for Rewriting Logic Theories.
SYNASC
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
2010 — conf
Compositional modelling of signalling pathways in timed concurrent constraint programming.
BCB
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2010 — ch.
Transformation and Debugging of Functional Logic Programs.
25 Years GULP
María Alpuente, Demis Ballis, Moreno Falaschi
2009 C conf
A framework for abstract interpretation of timed concurrent constraint programs.
PPDP
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2009 J jnl
Foreword.
Theor. Comput. Sci.
Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi
2009 — ed.
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008
WFLP
Moreno Falaschi
2009 — conf
Quantitative Pathway Logic for Computational Biology.
CMSB
Michele Baggi, Demis Ballis, Moreno Falaschi
2008 — conf
An Abstract Generic Framework for Web Site Verification.
SAINT
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
2008 — conf
Preface.
WFLP
Moreno Falaschi
2008 — conf
Semantic Verification of Web System Contents.
ER Workshops
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
2008 C conf
XML Semantic Filtering via Ontology Reasoning.
ICIW
Michele Baggi, Moreno Falaschi, Demis Ballis
2007 — conf
A Fast Algebraic Web Verification Service.
RR
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
2007 B conf
Declarative Diagnosis of Temporal Concurrent Constraint Programs.
ICLP
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2007 J jnl
Introduction Special Issue on Multiparadigm Languages and Constraint Programming.
Theory Pract. Log. Program.
Moreno Falaschi, Michael J. Maher
2006 B conf
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
SEFM
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
2006 J jnl
Automatic verification of timed concurrent constraint programs.
Theory Pract. Log. Program.
Moreno Falaschi, Alicia Villanueva
2006 — ed.
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005
WWV
María Alpuente, Santiago Escobar, Moreno Falaschi
2006 J jnl
Rule-based verification of Web sites.
Int. J. Softw. Tools Technol. Transf.
María Alpuente, Demis Ballis, Moreno Falaschi
2005 J jnl
Automatic Verification of Timed Concurrent Constraint Programs
CoRR
Moreno Falaschi, Alicia Villanueva
2005 — ed.
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain
WWV
María Alpuente, Santiago Escobar, Moreno Falaschi
2005 — conf
Preface.
WWV
María Alpuente, Santiago Escobar, Moreno Falaschi
2005 — conf
Preface.
WWV
María Alpuente, Santiago Escobar, Moreno Falaschi
2004 — conf
A Rewriting-based Framework for Web Sites Verification.
RULE@RDP
María Alpuente, Demis Ballis, Moreno Falaschi
2004 — conf
A Symbolic Model Checker for tccp Programs.
RISE
María Alpuente, Moreno Falaschi, Alicia Villanueva
2004 — conf
Automated Verification of Web Sites Using Partial Rewriting.
ISoLA (Preliminary proceedings)
María Alpuente, Demis Ballis, Moreno Falaschi
2004 J jnl
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci.
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2004 B conf
Verdi: An Automated Tool for Web Sites Verification.
JELIA
María Alpuente, Demis Ballis, Moreno Falaschi
2003 — conf
Abstract Correction of OBJ-like Programs.
APPIA-GULP-PRODE
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003 — conf
Abstract correction of first-order functional programs.
WFLP
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003 A conf
Correction of Functional Logic Programs.
ESOP
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2003 — conf
Cost-sensitive diagnosis of declarative programs.
WFLP
Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
2003 J jnl
Uniform Lazy Narrowing.
J. Log. Comput.
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
2002 — ed.
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002
WFLP
Marco Comini, Moreno Falaschi
2002 C conf
Abstract Diagnosis of Functional Programs.
LOPSTR
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2002 — conf
Preface.
WFLP
Marco Comini, Moreno Falaschi
2001 — conf
A Debugging Scheme for Functional Logic Programs.
WFLP
María Alpuente, Francisco J. Correa, Moreno Falaschi
2001 — conf
Declarative Debugging of Functional Logic Programs.
WRS
María Alpuente, Francisco J. Correa, Moreno Falaschi
2001 — conf
Modeling concurrent systems specified in a temporal concurrent constraint language-I.
APPIA-GULP-PRODE
Moreno Falaschi, Alberto Policriti, Alicia Villanueva
2000 B conf
An Automatic Composition Algorithm for Functional Logic Programs.
SOFSEM
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2000 J jnl
Demand Transformation Analysis for Concurrent Constraint Programs.
J. Log. Program.
Moreno Falaschi, Patrick Hicks, William H. Winsborough
2000 — conf
Using PE to Automate Program Composition.
WFLP
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1999 — conf
A Transformation System for Lazy Functional Logic Programs.
Fuji International Symposium on Functional and Logic Programming
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1999 J jnl
Un Sistema de Transformación para Programas Multiparadigma.
Inteligencia Artif.
María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
1998 — ed.
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
APPIA-GULP-PRODE
José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro
1998 J jnl
A Unifying View of Functional and Logic Program Specialization.
ACM Comput. Surv.
María Alpuente, Moreno Falaschi, Germán Vidal
1998 B conf
Improving Control in Functional Logic Program Specialization.
SAS
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1998 J jnl
Partial Evaluation of Functional Logic Programs.
ACM Trans. Program. Lang. Syst.
María Alpuente, Moreno Falaschi, Germán Vidal
1998 — conf
Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
APPIA-GULP-PRODE
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1997 — ed.
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
APPIA-GULP-PRODE
Moreno Falaschi, Marisa Navarro, Alberto Policriti
1997 J jnl
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.
J. Log. Program.
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
1997 J jnl
Confluence in Concurrent Constraint Programming.
Theor. Comput. Sci.
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997 J jnl
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput.
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997 — conf
Safe Folding/Unfolding with Conditional Narrowing.
APPIA-GULP-PRODE
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997 — conf
Safe Folding/Unfolding with Conditional Narrowing.
ALP/HOA
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997 C conf
Specialization of Lazy Functional Logic Programs.
PEPM
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996 J jnl
A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
Theor. Comput. Sci.
María Alpuente, Moreno Falaschi, Germán Vidal
1996 — conf
Call-By Name Partial Evaluation of Functional Logic Programs.
APPIA-GULP-PRODE
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996 — conf
Demand Transformation Analysis for Concurrent Constraint Programs.
JICSLP
Moreno Falaschi, Patrick Hicks, William H. Winsborough
1996 A conf
Narrowing-Driven Partial Evaluation of Functional Logic Programs.
ESOP
María Alpuente, Moreno Falaschi, Germán Vidal
1995 J jnl
Analyses of Unsatisfiability for Equational Logic Programming.
J. Log. Program.
María Alpuente, Moreno Falaschi, Ferdinando Manzo
1995 — conf
Confluence in Concurrent Constraint Programming.
AMAST
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1995 J jnl
Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci.
María Alpuente, Moreno Falaschi, Giorgio Levi
1994 — conf
A Compositional Semantics for Conditional Term Rewriting Systems.
GULP-PRODE (1)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994 — conf
A Compositional Semantics for Conditional Term Rewriting Systems.
ICCL
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994 — conf
Compositional Analysis for Equational Horn Programs.
ALP
María Alpuente, Moreno Falaschi, Germán Vidal
1994 — conf
Confluence and Concurrent Constraint Programming.
GULP-PRODE (1)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994 — conf
Denotational semantics for Concurrent Constraint Programs analyses.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994 J jnl
Suspension Analyses for Concurrent Logic Programs.
ACM Trans. Program. Lang. Syst.
Michael Codish, Moreno Falaschi, Kim Marriott
1993 J jnl
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput.
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1993 — conf
A Prototype System for Equational Constructive Negation.
ILPS
A. Mora, J. Piris, María José Ramírez, Moreno Falaschi
1993 A* conf
Compositional Analysis for Concurrent Constraint Programming
LICS
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1993 A* conf
Efficient Analysis of Concurrent Constraint Logic Programs.
ICALP
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
1993 — conf
Incremental Equational Constraint Analyses.
ILPS
María Alpuente, Moreno Falaschi, Germán Vidal
1993 — conf
Narrowing Approximations as an Optimization for Equational Logic Programs.
PLILP
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1993 — ed.
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings
WSA
Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy
1993 — conf
Using Narrowing Approximations to Optimize Equational Logic Programs.
GULP
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1992 — conf
Analyses of Inconsistency for Incremental Equational Logic Programming.
PLILP
María Alpuente, Moreno Falaschi, Ferdinando Manzo
1992 — conf
Conditional Narrowing with Constructive Negation.
ELP
María José Ramírez, Moreno Falaschi
1992 — conf
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.
WSA
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
1991 — conf
Narrowing as an Incremental Constraint Satisfaction Algorithm.
PLILP
María Alpuente, Moreno Falaschi
1991 B conf
Suspension Analysis for Concurrent Logic Programs.
ICLP
Michael Codish, Moreno Falaschi, Kim Marriott
1990 J jnl
Finite Failures and Partial Computations in Concurrent Logic Languages.
Theor. Comput. Sci.
Moreno Falaschi, Giorgio Levi
1990 J jnl
Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci.
Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
1989 J jnl
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci.
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
1988 — conf
A New Declarative Semantics for Logic Languages.
ICLP/SLP
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1988 — conf
Finite Failures and Partial Computations in Concurrent Logic Languages.
FGCS
Moreno Falaschi, Giorgio Levi
1984 J jnl
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
Inf. Control.
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
1983 B conf
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms.
Logic Programming Workshop
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi