Moreno Falaschi

According to our database, Moreno Falaschi authored at least 103 papers between 1983 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Quantitative extensions of reaction systems based on SOS semantics.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Neural Comput. Appl., March, 2023

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Practical Aspects of Declarative Languages, 2023

Enhancing Embedding Representations of Biomedical Data using Logic Knowledge.

Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra

Proceedings of the International Joint Conference on Neural Networks, 2023

2021

A process algebraic approach to reaction systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Theor. Comput. Sci., 2021

A logical and graphical framework for reaction systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Theor. Comput. Sci., 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the Theory and Practice of Natural Computing, 2021

2020

Dynamic Slicing for Concurrent Constraint Languages.

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi

Fundam. Informaticae, 2020

SOS Rules for Equivalences of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Functional and Constraint Logic Programming, 2020

A Logic Programming Approach to Reaction Systems.

Moreno Falaschi, Giulia Palma

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy.

Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Enhancing Reaction Systems: A Process Algebraic Approach.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Process calculi for biological processes.

Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith

Nat. Comput., 2018

An Assertion Language for Slicing Constraint Logic Languages.

Moreno Falaschi, Carlos Olarte

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

Editorial.

Moreno Falaschi, Augusto Sampaio

Formal Aspects Comput., 2017

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

Slicing Concurrent Constraint Programs.

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Abstract interpretation of temporal concurrent constraint programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Theory Pract. Log. Program., 2015

Modelling non-Markovian dynamics in biochemical reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella

BMC Syst. Biol., 2015

A Declarative View of Signaling Pathways.

Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Functional and (Constraint) Logic Programming.

Santiago Escobar, Moreno Falaschi

Inf. Comput., 2014

Verification of Spatial and Temporal Modalities in Biochemical Systems.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

A framework for modelling spatially dependent interactions of biological systems in CCP.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013

Rewriting-based repairing strategies for XML repositories.

María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero

J. Log. Algebraic Methods Program., 2013

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

2012

Simulating Signalling Pathways With BioWayS.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

2010

A compact fixpoint semantics for term rewriting systems.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra

Theor. Comput. Sci., 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

An Access Control Language Based on Term Rewriting and Description Logic.

Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Functional and Constraint Logic Programming, 2010

Completeness of Unfolding for Rewriting Logic Theories.

María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A fold/unfold transformation framework for rewrite theories extended to CCT.

María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Compositional modelling of signalling pathways in timed concurrent constraint programming.

Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

Transformation and Debugging of Functional Logic Programs.

María Alpuente, Demis Ballis, Moreno Falaschi

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Foreword.

Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi

Theor. Comput. Sci., 2009

A framework for abstract interpretation of timed concurrent constraint programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Quantitative Pathway Logic for Computational Biology.

Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

Preface.

Moreno Falaschi

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

An Abstract Generic Framework for Web Site Verification.

María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

XML Semantic Filtering via Ontology Reasoning.

Michele Baggi, Moreno Falaschi, Demis Ballis

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Semantic Verification of Web System Contents.

María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

2007

Introduction Special Issue on Multiparadigm Languages and Constraint Programming.

Moreno Falaschi, Michael J. Maher

Theory Pract. Log. Program., 2007

A Fast Algebraic Web Verification Service.

María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Declarative Diagnosis of Temporal Concurrent Constraint Programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Automatic verification of timed concurrent constraint programs.

Moreno Falaschi, Alicia Villanueva

Theory Pract. Log. Program., 2006

Rule-based verification of Web sites.

María Alpuente, Demis Ballis, Moreno Falaschi

Int. J. Softw. Tools Technol. Transf., 2006

A Semi-Automatic Methodology for Repairing FaultyWeb Sites.

María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Preface.

María Alpuente, Santiago Escobar, Moreno Falaschi

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

2004

Rules + strategies for transforming lazy functional logic programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Theor. Comput. Sci., 2004

A Rewriting-based Framework for Web Sites Verification.

María Alpuente, Demis Ballis, Moreno Falaschi

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Symbolic Model Checker for tccp Programs.

María Alpuente, Moreno Falaschi, Alicia Villanueva

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Verdi: An Automated Tool for Web Sites Verification.

María Alpuente, Demis Ballis, Moreno Falaschi

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Automated Verification of Web Sites Using Partial Rewriting.

María Alpuente, Demis Ballis, Moreno Falaschi

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Uniform Lazy Narrowing.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

J. Log. Comput., 2003

Cost-sensitive diagnosis of declarative programs.

Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Abstract correction of first-order functional programs.

María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Correction of Functional Logic Programs.

María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi

Proceedings of the Programming Languages and Systems, 2003

Abstract Correction of OBJ-like Programs.

María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Preface.

Marco Comini, Moreno Falaschi

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Abstract Diagnosis of Functional Programs.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Declarative Debugging of Functional Logic Programs.

María Alpuente, Francisco J. Correa, Moreno Falaschi

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

Modeling concurrent systems specified in a temporal concurrent constraint language-I.

Moreno Falaschi, Alberto Policriti, Alicia Villanueva

Proceedings of the Declarative Programming, 2001

A Debugging Scheme for Functional Logic Programs.

María Alpuente, Francisco J. Correa, Moreno Falaschi

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

2000

Demand Transformation Analysis for Concurrent Constraint Programs.

Moreno Falaschi, Patrick Hicks, William H. Winsborough

J. Log. Program., 2000

Using PE to Automate Program Composition.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Automatic Composition Algorithm for Functional Logic Programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000

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

A Transformation System for Lazy Functional Logic Programs.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

ACM Trans. Program. Lang. Syst., 1998

A Unifying View of Functional and Logic Program Specialization.

María Alpuente, Moreno Falaschi, Germán Vidal

ACM Comput. Surv., 1998

Improving Control in Functional Logic Program Specialization.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the Static Analysis, 5th International Symposium, 1998

Polygenetic Partial Evaluation of Lazy Functional Logic Programs.

Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Confluence in Concurrent Constraint Programming.

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Theor. Comput. Sci., 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

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Inf. Comput., 1997

Specialization of Lazy Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Safe Folding/Unfolding with Conditional Narrowing.

María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Compositional Semantic Basis for the Analysis of Equational Horn Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Theor. Comput. Sci., 1996

Narrowing-Driven Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Programming Languages and Systems, 1996

Call-By Name Partial Evaluation of Functional Logic Programs.

María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Incremental Constraint Satisfaction for Equational Logic Programming.

María Alpuente, Moreno Falaschi, Giorgio Levi

Theor. Comput. Sci., 1995

Analyses of Unsatisfiability for Equational Logic Programming.

María Alpuente, Moreno Falaschi, Ferdinando Manzo

J. Log. Program., 1995

1994

Suspension Analyses for Concurrent Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott

ACM Trans. Program. Lang. Syst., 1994

Denotational semantics for Concurrent Constraint Programs analyses.

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Compositional Analysis for Equational Horn Programs.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

Confluence and Concurrent Constraint Programming.

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

A Compositional Semantics for Conditional Term Rewriting Systems.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Inf. Comput., March, 1993

A Prototype System for Equational Constructive Negation.

A. Mora, J. Piris, María José Ramírez, Moreno Falaschi

Proceedings of the Logic Programming, 1993

Incremental Equational Constraint Analyses.

María Alpuente, Moreno Falaschi, Germán Vidal

Proceedings of the Logic Programming, 1993

Narrowing Approximations as an Optimization for Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Compositional Analysis for Concurrent Constraint Programming

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Efficient Analysis of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Using Narrowing Approximations to Optimize Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Analyses of Inconsistency for Incremental Equational Logic Programming.

María Alpuente, Moreno Falaschi, Ferdinando Manzo

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Conditional Narrowing with Constructive Negation.

María José Ramírez, Moreno Falaschi

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991

Narrowing as an Incremental Constraint Satisfaction Algorithm.

María Alpuente, Moreno Falaschi

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Suspension Analysis for Concurrent Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott

Proceedings of the Logic Programming, 1991

1990

Finite Failures and Partial Computations in Concurrent Logic Languages.

Moreno Falaschi, Giorgio Levi

Theor. Comput. Sci., 1990

Nested Guarded Horn Clauses.

Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami

Int. J. Found. Comput. Sci., 1990

1989

Declarative Modeling of the Operational Behavior of Logic Languages.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli

Theor. Comput. Sci., 1989

1988

A New Declarative Semantics for Logic Languages.

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, 1988

1984

A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi

Inf. Control., 1984

1983

On the Fixed-Point Semantics of Horn Clauses with Infinite Terms.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983