Moreno Falaschi

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 21

Top Venues

CoRR

Theor. Comput. Sci.

Gabbrielli's Festschrift

LOPSTR

Publications

Linda Brodo, Roberto Bruni, Moreno Falaschi
A framework for monitored dynamic slicing of reaction systems. Nat. Comput. 23 (2) (2024)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35 (9) (2023)
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. IJCNN (2023)
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. CoRR (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A process algebraic approach to reaction systems. Theor. Comput. Sci. 881 (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A logical and graphical framework for reaction systems. Theor. Comput. Sci. 875 (2021)
Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Gabbrielli's Festschrift (2020)
Moreno Falaschi, Giulia Palma
A Logic Programming Approach to Reaction Systems. Gabbrielli's Festschrift (2020)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177 (3-4) (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. WFLP (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. CoRR (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems (2019)
Moreno Falaschi, Carlos Olarte
An Assertion language for slicing Constraint Logic Languages. CoRR (2018)
Moreno Falaschi, Carlos Olarte
An Assertion Language for Slicing Constraint Logic Languages. LOPSTR (2018)
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
Process calculi for biological processes. Nat. Comput. 17 (2) (2018)
Moreno Falaschi, Augusto Sampaio
Editorial. Formal Aspects Comput. 29 (3) (2017)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. LOPSTR (2016)
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci. 641 (2016)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. CoRR (2016)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. 15 (3) (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
Verification of Spatial and Temporal Modalities in Biochemical Systems. Electron. Notes Theor. Comput. Sci. 316 (2015)
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9 (S-3) (2015)
Santiago Escobar, Moreno Falaschi
Functional and (Constraint) Logic Programming. Inf. Comput. 235 (2014)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
A framework for modelling spatially dependent interactions of biological systems in CCP. IWBBIO (2014)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR (2013)
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. 82 (8) (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
Simulating Signalling Pathways With BioWayS. Electron. Notes Theor. Comput. Sci. 293 (2013)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411 (47) (2010)
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM (2010)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411 (37) (2010)
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
Completeness of Unfolding for Rewriting Logic Theories. SYNASC (2010)
Michele Baggi, Demis Ballis, Moreno Falaschi
An Access Control Language Based on Term Rewriting and Description Logic. WFLP (2010)
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB (2010)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
A framework for abstract interpretation of timed concurrent constraint programs. PPDP (2009)
Michele Baggi, Demis Ballis, Moreno Falaschi
Quantitative Pathway Logic for Computational Biology. CMSB (2009)
Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi
Foreword. Theor. Comput. Sci. 410 (46) (2009)
Moreno Falaschi
Preface. Electron. Notes Theor. Comput. Sci. 246 (2009)
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
Semantic Verification of Web System Contents. ER Workshops (2008)
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
An Abstract Generic Framework for Web Site Verification. SAINT (2008)
Michele Baggi, Moreno Falaschi, Demis Ballis
XML Semantic Filtering via Ontology Reasoning. ICIW (2008)
Moreno Falaschi, Michael J. Maher
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. Theory Pract. Log. Program. 7 (1-2) (2007)
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
A Fast Algebraic Web Verification Service. RR (2007)
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP (2007)
María Alpuente, Demis Ballis, Moreno Falaschi
Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM (2006)
Moreno Falaschi, Alicia Villanueva
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6 (3) (2006)
María Alpuente, Santiago Escobar, Moreno Falaschi
Preface. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Moreno Falaschi, Alicia Villanueva
Automatic Verification of Timed Concurrent Constraint Programs CoRR (2005)
María Alpuente, Demis Ballis, Moreno Falaschi
A Rewriting-based Framework for Web Sites Verification. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
María Alpuente, Santiago Escobar, Moreno Falaschi
Preface. WWV (2005)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311 (1-3) (2004)
María Alpuente, Moreno Falaschi, Alicia Villanueva
A Symbolic Model Checker for tccp Programs. RISE (2004)
María Alpuente, Demis Ballis, Moreno Falaschi
Verdi: An Automated Tool for Web Sites Verification. JELIA (2004)
María Alpuente, Demis Ballis, Moreno Falaschi
Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) (2004)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
Correction of Functional Logic Programs. ESOP (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract correction of first-order functional programs. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Uniform Lazy Narrowing. J. Log. Comput. 13 (2) (2003)
Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
Cost-sensitive diagnosis of declarative programs. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Marco Comini, Moreno Falaschi
Preface. Electron. Notes Theor. Comput. Sci. 76 (2002)
María Alpuente, Francisco J. Correa, Moreno Falaschi
A Debugging Scheme for Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 64 (2002)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract Diagnosis of Functional Programs. LOPSTR (2002)
María Alpuente, Francisco J. Correa, Moreno Falaschi
Declarative Debugging of Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 57 (2001)
Moreno Falaschi, Alberto Policriti, Alicia Villanueva
Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE 48 (2001)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Using PE to Automate Program Composition. WFLP (2000)
Moreno Falaschi, Patrick Hicks, William H. Winsborough
Demand Transformation Analysis for Concurrent Constraint Programs. J. Log. Program. 42 (3) (2000)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM (2000)
María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artif. 3 (8) (1999)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming (1999)
María Alpuente, Moreno Falaschi, Germán Vidal
A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30 (3es) (1998)
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Improving Control in Functional Logic Program Specialization. SAS (1998)
María Alpuente, Moreno Falaschi, Germán Vidal
Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20 (4) (1998)
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE (1998)
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. J. Log. Program. 30 (1) (1997)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. 137 (1) (1997)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA (1997)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183 (2) (1997)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Specialization of Lazy Functional Logic Programs. PEPM (1997)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE (1997)
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE (1996)
Moreno Falaschi, Patrick Hicks, William H. Winsborough
Demand Transformation Analysis for Concurrent Constraint Programs. JICSLP (1996)
María Alpuente, Moreno Falaschi, Germán Vidal
A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. 165 (1) (1996)
María Alpuente, Moreno Falaschi, Germán Vidal
Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP (1996)
María Alpuente, Moreno Falaschi, Ferdinando Manzo
Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22 (3) (1995)
María Alpuente, Moreno Falaschi, Giorgio Levi
Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142 (1) (1995)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Confluence in Concurrent Constraint Programming. AMAST (1995)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) (1994)
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Denotational semantics for Concurrent Constraint Programs analyses. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
María Alpuente, Moreno Falaschi, Germán Vidal
Compositional Analysis for Equational Horn Programs. ALP (1994)
Michael Codish, Moreno Falaschi, Kim Marriott
Suspension Analyses for Concurrent Logic Programs. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
A Compositional Semantics for Conditional Term Rewriting Systems. ICCL (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP (1993)
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
Efficient Analysis of Concurrent Constraint Logic Programs. ICALP (1993)
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. 103 (1) (1993)
A. Mora, J. Piris, María José Ramírez, Moreno Falaschi
A Prototype System for Equational Constructive Negation. ILPS (1993)

Moreno Falaschi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Moreno Falaschi