×

zbMATH — the first resource for mathematics

Falaschi, Moreno

Compute Distance To:
Author ID: falaschi.moreno Recent zbMATH articles by "Falaschi, Moreno"
Published as: Falaschi, Moreno; Falaschi, M.
Documents Indexed: 51 Publications since 1984, including 3 Books

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 172 times in 100 Documents Cited by Year
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Automatic verification of timed concurrent constraint programs. Zbl 1101.68679
Falaschi, Moreno; Villanueva, Alicia
8
2006
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
7
2004
Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024
Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando
7
1995
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Zbl 1344.68140
Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.
6
2016
Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204
Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F.
5
2007
Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118
Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia
5
2001
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
Declarative debugging of functional logic programs. Zbl 1268.68091
Alpuente, M.; Correa, F. J.; Falaschi, M.
4
2001
Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060
Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
4
2015
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
4
1998
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
Verification of spatial and temporal modalities in biochemical systems. Zbl 1351.68157
Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos
4
2015
Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079
Falaschi, Moreno; Levi, Giorgio
3
1990
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
Transformation and debugging of functional logic programs. Zbl 1285.68026
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
2
2010
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
A debugging scheme for functional logic programs. Zbl 1268.68062
Alpuente, María; Correa, Franciso; Falaschi, Moreno
2
2002
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012
Alpuente, María; Falaschi, Moreno
2
1991
An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113
Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.
2
2010
Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
2
1993
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
An access control language based on term rewriting and description logic. Zbl 1327.68073
Baggi, Michele; Ballis, Demis; Falaschi, Moreno
1
2011
Slicing concurrent constraint programs. Zbl 06791220
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
1
1996
A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
1
1997
Correction of functional logic programs. Zbl 1032.68046
Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno
1
2003
A declarative view of signaling pathways. Zbl 1443.92092
Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
1
2015
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel
1
2013
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Slicing concurrent constraint programs. Zbl 06791220
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Zbl 1344.68140
Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.
6
2016
Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060
Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
4
2015
Verification of spatial and temporal modalities in biochemical systems. Zbl 1351.68157
Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos
4
2015
A declarative view of signaling pathways. Zbl 1443.92092
Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
1
2015
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, 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.68073
Baggi, Michele; Ballis, Demis; Falaschi, Moreno
1
2011
Transformation and debugging of functional logic programs. Zbl 1285.68026
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
2
2010
A compact fixpoint semantics for term rewriting systems. Zbl 1209.68285
Alpuente, M.; Comini, M.; Escobar, S.; Falaschi, M.; Iborra, J.
2
2010
An integrated framework for the diagnosis and correction of rule-based programs. Zbl 1205.68113
Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.
2
2010
Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204
Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F.
5
2007
Automatic verification of timed concurrent constraint programs. Zbl 1101.68679
Falaschi, Moreno; Villanueva, Alicia
8
2006
Rules + strategies for transforming lazy functional logic programs. Zbl 1070.68018
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
7
2004
Abstract diagnosis of functional programs. Zbl 1278.68056
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador
10
2003
Uniform lazy narrowing. Zbl 1111.68375
Alpuente, María; Falaschi, Moreno; Julián, Pascual; Vidal, Germán
2
2003
Correction of functional logic programs. Zbl 1032.68046
Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno
1
2003
A debugging scheme for functional logic programs. Zbl 1268.68062
Alpuente, María; Correa, Franciso; Falaschi, Moreno
2
2002
Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118
Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia
5
2001
Declarative debugging of functional logic programs. Zbl 1268.68091
Alpuente, M.; Correa, F. J.; Falaschi, M.
4
2001
An automatic composition algorithm for functional logic programs. Zbl 1043.68521
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
1
2000
A transformation system for lazy functional logic programs. Zbl 0988.68507
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán
3
1999
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
4
1998
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
Safe folding/unfolding with conditional narrowing. Zbl 0886.68033
Alpuente, M.; Falaschi, M.; Moreno, G.; Vidal, G.
4
1997
A confluent semantic basis for the analysis of concurrent constraint logic programs. Zbl 0884.68023
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
1
1997
A compositional semantic basis for the analysis of equational Horn programs. Zbl 0872.68107
Alpuente, María; Falaschi, Moreno; Vidal, Germán
1
1996
Analyses of unsatisfiability for equational logic programming. Zbl 0830.68024
Alpuente, Maria; Falaschi, Moreno; Manzo, Ferdinando
7
1995
Incremental constraint satisfaction for equational logic programming. Zbl 0884.68032
Alpuente, María; Falaschi, Moreno; Levi, Giorgio
3
1995
Compositional analysis for equational Horn programs. Zbl 0988.68561
Alpuente, M.; Falaschi, M.; Vidal, G.
2
1994
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
Narrowing approximations as an optimization for equational logic programs. Zbl 0791.68015
Alpuente, María; Falaschi, Moreno; Ramis, María José; Vidal, Germán
5
1993
Efficient analysis of concurrent constraint logic programs. Zbl 1418.68052
Codish, Michael; Falaschi, Moreno; Marriott, Kim; Winsborough, William
2
1993
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
1
1993
Narrowing as an incremental constraint satisfaction algorithm. Zbl 0789.68012
Alpuente, María; Falaschi, Moreno
2
1991
Finite failures and partial computations in concurrent logic languages. Zbl 0702.68079
Falaschi, Moreno; Levi, Giorgio
3
1990
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
all top 5

Cited by 123 Authors

18 Falaschi, Moreno
14 Alpuente, María
11 Olarte, Carlos
10 Palamidessi, Catuscia
7 Comini, Marco
6 Escobar, Santiago
6 Levi, Giorgio
6 Moreno, Ginés
6 Vidal, Germán
5 Gabbrielli, Maurizio
5 Villanueva, Alicia
4 Pimentel, Elaine
4 Ranzato, Francesco
4 Rueda, Camilo
4 Valencia, Frank D.
3 Antoy, Sergio
3 Ballis, Demis
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 Marriott, Kim
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 Hermith, Diana
2 Julián, Pascual
2 Kok, Joost N.
2 Martí-Oliet, Narciso
2 Meseguer Guaita, José
2 Penabad, Jaime
2 Perchy, Salim
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 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 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 Ehrig, Hartmut
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 Kirkeby, Maja H.
1 Komendantskaya, Ekaterina
1 Lagoon, Vitaly
1 Lamma, Evelina
1 Le Charlier, Baudouin
1 Leuschel, Michael
1 Lipton, James B.
1 Maher, Michael J.
1 Marchiori, Elena
1 Martin-Martin, Enrique
1 McCusker, Guy Andrew
...and 23 more Authors

Citations by Year