default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoreno Falaschi
Person information
- affiliation: University of Siena, Italy
SPARQL queries 
🛈 Please note that only 73% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
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]María José Ramírez, Moreno Falaschi:
Conditional Narrowing with Constructive Negation. ELP 1992: 59-79 - [c7]María Alpuente, Moreno Falaschi, Ferdinando Manzo:
Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457 - [c6]Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough:
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA 1992: 35-42 - 1991
- [c5]Michael Codish, Moreno Falaschi, Kim Marriott:
Suspension Analysis for Concurrent Logic Programs. ICLP 1991: 331-345 - [c4]María Alpuente, Moreno Falaschi:
Narrowing as an Incremental Constraint Satisfaction Algorithm. PLILP 1991: 111-122 - 1990
- [j4]Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami:
Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) - [j3]Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75(1&2): 45-66 (1990)
1980 – 1989
- 1989
- [j2]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989) - 1988
- [c3]Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373 - [c2]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005 - 1984
- [j1]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Inf. Control. 60(1-3): 36-69 (1984) - 1983
- [c1]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Logic Programming Workshop 1983: 474-484
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
