default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoreno Falaschi
Person information
- affiliation: University of Siena, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Linda Brodo
, Roberto Bruni, Moreno Falaschi:
A framework for monitored dynamic slicing of reaction systems. Nat. Comput. 23(2): 217-234 (2024)- [j36]Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri:
Causal analysis of positive Reaction Systems. Int. J. Softw. Tools Technol. Transf. 26(4): 509-526 (2024) - [c75]Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte:
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. CMSB 2024: 1-18 - [c74]Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo:
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. CMSB 2024: 27-44 - 2023
- [j35]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): 6335-6359 (2023) - [c73]Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra:
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. IJCNN 2023: 1-8 - [c72]Linda Brodo, Roberto Bruni, Moreno Falaschi:
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL 2023: 107-124 - [i6]Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra:
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. CoRR abs/2303.13566 (2023) - 2021
- [j34]Linda Brodo, Roberto Bruni, Moreno Falaschi:
A logical and graphical framework for reaction systems. Theor. Comput. Sci. 875: 1-27 (2021) - [j33]Linda Brodo, Roberto Bruni, Moreno Falaschi:
A process algebraic approach to reaction systems. Theor. Comput. Sci. 881: 62-82 (2021) - [c71]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: 15-32 - 2020
- [j32]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177(3-4): 331-357 (2020) - [c70]Moreno Falaschi, Giulia Palma:
A Logic Programming Approach to Reaction Systems. Gabbrielli's Festschrift 2020: 6:1-6:15 - [c69]Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli:
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Gabbrielli's Festschrift 2020: 11:1-11:20 - [c68]Linda Brodo, Roberto Bruni, Moreno Falaschi:
SOS Rules for Equivalences of Reaction Systems. WFLP 2020: 3-21 - [i5]Linda Brodo, Roberto Bruni, Moreno Falaschi:
SOS Rules for Equivalences of Reaction Systems. CoRR abs/2008.13016 (2020)
2010 – 2019
- 2019
- [c67]Linda Brodo, Roberto Bruni, Moreno Falaschi:
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems 2019: 68-85 - 2018
- [j31]Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith:
Process calculi for biological processes. Nat. Comput. 17(2): 345-373 (2018) - [c66]Moreno Falaschi, Carlos Olarte:
An Assertion Language for Slicing Constraint Logic Languages. LOPSTR 2018: 148-165 - [i4]Moreno Falaschi, Carlos Olarte:
An Assertion language for slicing Constraint Logic Languages. CoRR abs/1808.04867 (2018) - 2017
- [j30]Moreno Falaschi, Augusto Sampaio:
Editorial. Formal Aspects Comput. 29(3): 381-382 (2017) - 2016
- [j29]Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith:
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci. 641: 25-42 (2016) - [c65]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. LOPSTR 2016: 76-93 - [i3]Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs. CoRR abs/1608.05252 (2016) - 2015
- [j28]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella:
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9(S-3): S8 (2015) - [j27]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. 15(3): 312-357 (2015) - [c64]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security 2015: 183-201 - [e9]Moreno Falaschi:
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9527, Springer 2015, ISBN 978-3-319-27435-5 [contents] - [e8]Moreno Falaschi, Elvira Albert:
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM 2015, ISBN 978-1-4503-3516-4 [contents] - 2014
- [j26]Santiago Escobar, Moreno Falaschi:
Functional and (Constraint) Logic Programming. Inf. Comput. 235: 1-2 (2014) - [c63]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte:
A framework for modelling spatially dependent interactions of biological systems in CCP. IWBBIO 2014: 912-923 - [c62]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte:
Verification of Spatial and Temporal Modalities in Biochemical Systems. SASB 2014: 29-44 - 2013
- [j25]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): 326-352 (2013) - [c61]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte:
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO 2013: 537-544 - [i2]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR abs/1312.2552 (2013) - 2012
- [c60]Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte:
Simulating Signalling Pathways With BioWayS. CS2Bio 2012: 17-34 - 2010
- [j24]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra:
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010) - [j23]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): 4055-4101 (2010) - [c59]Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417 - [c58]María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi:
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52 - [c57]María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis:
Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123 - [c56]Michele Baggi, Demis Ballis, Moreno Falaschi:
An Access Control Language Based on Term Rewriting and Description Logic. WFLP 2010: 66-83 - [p1]María Alpuente, Demis Ballis, Moreno Falaschi:
Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
2000 – 2009
- 2009
- [j22]Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi:
Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009) - [c55]Michele Baggi, Demis Ballis, Moreno Falaschi:
Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82 - [c54]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi:
A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218 - [e7]Moreno Falaschi:
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008. Electronic Notes in Theoretical Computer Science 246, Elsevier 2009 [contents] - 2008
- [c53]María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi:
Semantic Verification of Web System Contents. ER Workshops 2008: 437-446 - [c52]Michele Baggi, Moreno Falaschi, Demis Ballis:
XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487 - [c51]María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi:
An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110 - [c50]Moreno Falaschi:
Preface. WFLP 2008: 1-2 - 2007
- [j21]Moreno Falaschi, Michael J. Maher:
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. Theory Pract. Log. Program. 7(1-2): 1-2 (2007) - [c49]Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia:
Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285 - [c48]María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero:
A Fast Algebraic Web Verification Service. RR 2007: 239-248 - 2006
- [j20]María Alpuente, Demis Ballis, Moreno Falaschi:
Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. 8(6): 565-585 (2006) - [j19]Moreno Falaschi, Alicia Villanueva:
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6(3): 265-300 (2006) - [c47]María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40 - [e6]María Alpuente, Santiago Escobar, Moreno Falaschi:
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005. Electronic Notes in Theoretical Computer Science 157(2), Elsevier 2006 [contents] - 2005
- [c46]María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. WWV 2005 - [c45]María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. WWV 2005: 1-2 - [e5]María Alpuente, Santiago Escobar, Moreno Falaschi:
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005 [contents] - [i1]Moreno Falaschi, Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs. CoRR abs/cs/0505026 (2005) - 2004
- [j18]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): 479-525 (2004) - [c44]María Alpuente, Demis Ballis, Moreno Falaschi:
Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88 - [c43]María Alpuente, Demis Ballis, Moreno Falaschi:
Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729 - [c42]María Alpuente, Moreno Falaschi, Alicia Villanueva:
A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56 - [c41]María Alpuente, Demis Ballis, Moreno Falaschi:
A Rewriting-based Framework for Web Sites Verification. RULE@RDP 2004: 41-61 - 2003
- [j17]María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003) - [c40]María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433 - [c39]María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi:
Correction of Functional Logic Programs. ESOP 2003: 54-68 - [c38]Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Cost-sensitive diagnosis of declarative programs. WFLP 2003: 85-104 - [c37]María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract correction of first-order functional programs. WFLP 2003: 105-122 - 2002
- [c36]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16 - [c35]Marco Comini, Moreno Falaschi:
Preface. WFLP 2002: 269-270 - [e4]Marco Comini, Moreno Falaschi:
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002. Electronic Notes in Theoretical Computer Science 76, Elsevier 2002 [contents] - 2001
- [c34]María Alpuente, Francisco J. Correa, Moreno Falaschi:
A Debugging Scheme for Functional Logic Programs. WFLP 2001: 18-55 - [c33]Moreno Falaschi, Alberto Policriti, Alicia Villanueva:
Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE 2001: 197-210 - [c32]María Alpuente, Francisco J. Correa, Moreno Falaschi:
Declarative Debugging of Functional Logic Programs. WRS 2001: 17-40 - 2000
- [j16]Moreno Falaschi, Patrick Hicks, William H. Winsborough:
Demand Transformation Analysis for Concurrent Constraint Programs. J. Log. Program. 42(3): 185-215 (2000) - [c31]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297 - [c30]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Using PE to Automate Program Composition. WFLP 2000: 169-183
1990 – 1999
- 1999
- [j15]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): 27-35 (1999) - [c29]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: 147-162 - 1998
- [j14]María Alpuente, Moreno Falaschi, Germán Vidal:
A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998) - [j13]María Alpuente, Moreno Falaschi, Germán Vidal:
Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998) - [c28]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: 151-164 - [c27]Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277 - [e3]José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro:
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998. 1998 [contents] - 1997
- [j12]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. 137(1): 41-67 (1997) - [j11]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): 53-81 (1997) - [j10]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997) - [c26]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE 1997: 347-358 - [c25]María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15 - [c24]María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162 - [e2]Moreno Falaschi, Marisa Navarro, Alberto Policriti:
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. 1997 [contents] - 1996
- [j9]María Alpuente, Moreno Falaschi, Germán Vidal:
A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. 165(1): 133-169 (1996) - [c23]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: 17-28 - [c22]María Alpuente, Moreno Falaschi, Germán Vidal:
Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61 - [c21]Moreno Falaschi, Patrick Hicks, William H. Winsborough:
Demand Transformation Analysis for Concurrent Constraint Programs. JICSLP 1996: 333-347 - 1995
- [j8]María Alpuente, Moreno Falaschi, Ferdinando Manzo:
Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995) - [j7]María Alpuente, Moreno Falaschi, Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995) - [c20]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545 - 1994
- [j6]Michael Codish, Moreno Falaschi, Kim Marriott:
Suspension Analyses for Concurrent Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994) - [c19]María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) 1994: 62-76 - [c18]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154 - [c17]María Alpuente, Moreno Falaschi, Germán Vidal:
Compositional Analysis for Equational Horn Programs. ALP 1994: 77-94 - [c16]María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems. ICCL 1994: 171-182 - [c15]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 - 1993
- [j5]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Inf. Comput. 103(1): 86-113 (1993) - [c14]María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142 - [c13]Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough:
Efficient Analysis of Concurrent Constraint Logic Programs. ICALP 1993: 633-644 - [c12]Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming. LICS 1993: 210-221 - [c11]María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP 1993: 391-409 - [c10]A. Mora, J. Piris, María José Ramírez, Moreno Falaschi:
A Prototype System for Equational Constructive Negation. ILPS 1993: 638 - [c9]María Alpuente, Moreno Falaschi, Germán Vidal:
Incremental Equational Constraint Analyses. ILPS 1993: 657 - [e1]Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents] - 1992
- [c8]