Edit Profile (opens in new tab) Falaschi, Moreno Compute Distance To: Compute Author ID: falaschi.moreno Published as: Falaschi, Moreno; Falaschi, M. Documents Indexed: 47 Publications since 1984 5 Contributions as Editor Co-Authors: 41 Co-Authors with 50 Joint Publications 632 Co-Co-Authors all top 5 Co-Authors 2 single-authored 22 Alpuente, María 12 Palamidessi, Catuscia 9 Vidal, Germán 8 Levi, Giorgio 7 Ballis, Demis 7 Gabbrielli, Maurizio 7 Olarte, Carlos 5 Marriott, Kim 4 Escobar, Santiago 4 Moreno, Ginés 3 Chiarugi, Davide 3 Correa, Francisco José 3 Winsborough, William H. 2 Brodo, Linda 2 Bruni, Roberto 2 Codish, Michael 2 Comini, Marco 2 Hermith, Diana 2 Julián, Pascual 2 Lucas, Salvador 2 Martelli, Maurizio 2 Villanueva, Alicia 1 Albert, Elvira 1 Baggi, Michele 1 Correa, Franciso 1 Cousot, Patrick 1 Ferri, César 1 Filé, Gilberto 1 Frechina, Francisco 1 Hernández-Orallo, Jose 1 Hicks, Patrick 1 Iborra, José 1 Manzo, Ferdinando 1 Murakami, Masaki 1 Policriti, Alberto 1 Ramírez-Quintana, María José 1 Ramis, María José 1 Rauzy, Antoine 1 Romero, Daniel M. 1 Sampaio, Augusto C. A. 1 Valencia, Frank D. all top 5 Serials 11 Theoretical Computer Science 3 The Journal of Logic Programming 3 Information and Computation 2 Theory and Practice of Logic Programming 2 Lecture Notes in Computer Science 1 Information and Control 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 International Journal of Foundations of Computer Science 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Electronic Notes in Theoretical Computer Science Fields 51 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 4 Mathematical logic and foundations (03-XX) 3 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 41 Publications have been cited 188 times in 105 Documents Cited by ▼ Year ▼ Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M. 45 1989 A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia 12 1993 Abstract diagnosis of functional programs. Zbl 1278.68056Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador 10 2003 Automatic verification of timed concurrent constraint programs. Zbl 1101.68679Falaschi, Moreno; Villanueva, Alicia 9 2006 Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 7 2004 Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando 7 1995 A proof theoretic view of spatial and temporal dependencies in biochemical systems. Zbl 1344.68140Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D. 7 2016 Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia 6 2001 Confluence in concurrent constraint programming. Zbl 0901.68032Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 6 1997 Improving control in functional logic program specialization. Zbl 0911.68036Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G. 6 1998 Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F. 5 2007 Declarative debugging of functional logic programs. Zbl 1268.68091Alpuente, M.; Correa, F. J.; Falaschi, M. 5 2001 Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán 5 1993 Safe folding/unfolding with conditional narrowing. Zbl 0886.68033Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G. 5 1997 Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 4 1997 Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia 4 2015 Verification of spatial and temporal modalities in biochemical systems. Zbl 1351.68157Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos 4 2015 Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079Falaschi, Moreno; Levi, Giorgio 3 1990 A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038Falaschi, M.; Levi, G.; Palamidessi, C. 3 1984 A transformation system for lazy functional logic programs. Zbl 0988.68507Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 3 1999 Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 3 1993 Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032Alpuente, María; Falaschi, Moreno; Levi, Giorgio 3 1995 A debugging scheme for functional logic programs. Zbl 1268.68062Alpuente, María; Correa, Franciso; Falaschi, Moreno 2 2002 An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M. 2 2010 Transformation and debugging of functional logic programs. Zbl 1285.68026Alpuente, Maria; Ballis, Demis; Falaschi, Moreno 2 2010 A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J. 2 2010 Compositional analysis for equational Horn programs. Zbl 0988.68561Alpuente, M.; Falaschi, M.; Vidal, G. 2 1994 Uniform lazy narrowing. Zbl 1111.68375Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán 2 2003 Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012Alpuente, María; Falaschi, Moreno 2 1991 An access control language based on term rewriting and description logic. Zbl 1327.68073Baggi, Michele; Ballis, Demis; Falaschi, Moreno 1 2011 Nested guarded Horn clauses. Zbl 0732.68027Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki 1 1990 The formal semantics of processes and streams in logic programming. Zbl 0605.68006Falaschi, M.; Levi, G.; Palamidessi, C. 1 1986 A declarative view of signaling pathways. Zbl 1443.92092Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia 1 2015 The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio 1 1993 Correction of functional logic programs. Zbl 1032.68046Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno 1 2003 An automatic composition algorithm for functional logic programs. Zbl 1043.68521Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 1 2000 A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107Alpuente, María; Falaschi, Moreno; Vidal, Germán 1 1996 A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 1 1997 Dynamic slicing for concurrent constraint languages. Zbl 1497.68098Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2020 Slicing concurrent constraint programs. Zbl 1485.68046Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2017 Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel 1 2013 Dynamic slicing for concurrent constraint languages. Zbl 1497.68098Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2020 Slicing concurrent constraint programs. Zbl 1485.68046Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2017 A proof theoretic view of spatial and temporal dependencies in biochemical systems. Zbl 1344.68140Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D. 7 2016 Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia 4 2015 Verification of spatial and temporal modalities in biochemical systems. Zbl 1351.68157Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos 4 2015 A declarative view of signaling pathways. Zbl 1443.92092Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia 1 2015 Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel 1 2013 An access control language based on term rewriting and description logic. Zbl 1327.68073Baggi, Michele; Ballis, Demis; Falaschi, Moreno 1 2011 An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M. 2 2010 Transformation and debugging of functional logic programs. Zbl 1285.68026Alpuente, Maria; Ballis, Demis; Falaschi, Moreno 2 2010 A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J. 2 2010 Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F. 5 2007 Automatic verification of timed concurrent constraint programs. Zbl 1101.68679Falaschi, Moreno; Villanueva, Alicia 9 2006 Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 7 2004 Abstract diagnosis of functional programs. Zbl 1278.68056Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador 10 2003 Uniform lazy narrowing. Zbl 1111.68375Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán 2 2003 Correction of functional logic programs. Zbl 1032.68046Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno 1 2003 A debugging scheme for functional logic programs. Zbl 1268.68062Alpuente, María; Correa, Franciso; Falaschi, Moreno 2 2002 Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia 6 2001 Declarative debugging of functional logic programs. Zbl 1268.68091Alpuente, M.; Correa, F. J.; Falaschi, M. 5 2001 An automatic composition algorithm for functional logic programs. Zbl 1043.68521Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 1 2000 A transformation system for lazy functional logic programs. Zbl 0988.68507Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán 3 1999 Improving control in functional logic program specialization. Zbl 0911.68036Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G. 6 1998 Confluence in concurrent constraint programming. Zbl 0901.68032Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 6 1997 Safe folding/unfolding with conditional narrowing. Zbl 0886.68033Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G. 5 1997 Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia 4 1997 A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 1 1997 A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107Alpuente, María; Falaschi, Moreno; Vidal, Germán 1 1996 Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando 7 1995 Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032Alpuente, María; Falaschi, Moreno; Levi, Giorgio 3 1995 Compositional analysis for equational Horn programs. Zbl 0988.68561Alpuente, M.; Falaschi, M.; Vidal, G. 2 1994 A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia 12 1993 Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán 5 1993 Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William 3 1993 The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio 1 1993 Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012Alpuente, María; Falaschi, Moreno 2 1991 Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079Falaschi, Moreno; Levi, Giorgio 3 1990 Nested guarded Horn clauses. Zbl 0732.68027Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki 1 1990 Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M. 45 1989 The formal semantics of processes and streams in logic programming. Zbl 0605.68006Falaschi, M.; Levi, G.; Palamidessi, C. 1 1986 A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038Falaschi, M.; Levi, G.; Palamidessi, C. 3 1984 all cited Publications top 5 cited Publications all top 5 Cited by 127 Authors 19 Falaschi, Moreno 15 Alpuente, María 11 Olarte, Carlos 11 Palamidessi, Catuscia 7 Comini, Marco 7 Escobar, Santiago 7 Gabbrielli, Maurizio 7 Levi, Giorgio 6 Moreno, Ginés 6 Vidal, Germán 5 Pimentel, Elaine 5 Villanueva, Alicia 4 Ballis, Demis 4 Marriott, Kim 4 Ranzato, Francesco 4 Rueda, Camilo 4 Valencia, Frank D. 3 Antoy, Sergio 3 Caballero, Rafael E. 3 Chiarugi, Davide 3 de Boer, Frank S. 3 del Mar Gallardo, María 3 Giacobazzi, Roberto 3 Guzmán, Michell 3 Hanus, Michael 3 Iborra, José 3 López-Fraguas, Francisco Javier 3 Meo, Maria Chiara 3 Titolo, Laura 2 Bossi, Annalisa 2 Brodo, Linda 2 Brogi, Antonio 2 Bruni, Roberto 2 Codish, Michael 2 Correa, Francisco José 2 del Vado Vírseda, Rafael 2 Despeyroux, Joëlle 2 Ehrig, Hartmut 2 Hermith, Diana 2 Julián, Pascual 2 Kok, Joost N. 2 Martí-Oliet, Narciso 2 Meseguer Guaita, José 2 Orejas, Fernando 2 Penabad, Jaime 2 Perchy, Salim 2 Pino, Elvira 2 Riesco, Adrián 2 Rodríguez-Artalejo, Mario 2 Rodríguez-Hortalá, Juan 2 Rutten, Jan J. M. M. 2 Sánchez-Hernández, Jaime 2 Sapiña, Julia 2 Verdejo, Alberto 2 Yamasaki, Susumu 1 Albert, Elvira 1 Apt, Krzysztof Rafal 1 Arias, Jaime 1 Arias, Joaquin 1 Bacci, Giovanni 1 Baggi, Michele 1 Bensaou, N. 1 Blaisdell, Eben 1 Bonchi, Filippo 1 Boulanger, Dmitri 1 Bruynooghe, Maurice 1 Carro, Manuel 1 Chang, Byeong-Mo 1 Chaudhuri, Kaustuv 1 Cheda, Diego 1 Choe, Kwang-Moo 1 Christiansen, Henning 1 Ciampolini, Anna 1 Correa, Franciso 1 Cortesi, Agostino 1 Cousot, Patrick 1 Cousot, Radhia 1 Cuenca-Ortega, Angel 1 Dams, Dennis René 1 Delahaye, Jean-Paul 1 Denis, François 1 Di Pierro, Alessandra 1 Espert, Javier 1 Filé, Gilberto 1 Finkelstein, Stacy E. 1 Frechina, Francisco 1 Freyd, Peter J. 1 Gori, Roberta 1 Gramlich, Bernhard 1 Guerrero, Juan Antonio 1 Guessarian, Irène 1 Haar, Stefan 1 Han, Taisook 1 Kanovich, Max Iosifovich 1 Kirkeby, Maja Hanne 1 Komendantskaya, Ekaterina 1 Kuznetsov, Stepan L’vovich 1 Lagoon, Vitaly 1 Lamma, Evelina 1 Le Charlier, Baudouin ...and 27 more Authors all top 5 Cited in 17 Serials 41 Theoretical Computer Science 6 Information and Computation 4 Theory and Practice of Logic Programming 3 Fuzzy Sets and Systems 3 Journal of Symbolic Computation 3 Formal Aspects of Computing 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Applicable Algebra in Engineering, Communication and Computing 1 Acta Informatica 1 New Generation Computing 1 MSCS. Mathematical Structures in Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming all top 5 Cited in 6 Fields 100 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 3 Biology and other natural sciences (92-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year