×

Gabbrielli, Maurizio

Compute Distance To:
Author ID: gabbrielli.maurizio Recent zbMATH articles by "Gabbrielli, Maurizio"
Published as: Gabbrielli, Maurizio; Gabbrielli, M.
Documents Indexed: 55 Publications since 1990, including 2 Books
3 Contributions as Editor
Reviewing Activity: 13 Reviews
Co-Authors: 38 Co-Authors with 57 Joint Publications
801 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 208 times in 145 Documents Cited by Year
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
20
1994
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Transformations of CLP modules. Zbl 0872.68021
Etalle, Sandro; Gabbrielli, Maurizio
17
1996
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
13
2004
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
12
2009
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
11
1994
Replication vs. recursive definitions in channel based calculi. Zbl 1039.68082
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
11
2003
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
11
2014
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
8
2017
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
6
1992
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
6
1996
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
On the semantics of logic programs. Zbl 0769.68013
Gabbrielli, Maurizio; Levi, Giorgio
4
1991
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
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 0757.68074
Gabbrielli, Maurizio; Levi, Giorgio
4
1992
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
An empirical evaluation of portfolios approaches for solving CSPs. Zbl 1382.68219
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
3
2013
A compositional semantics for CHR. Zbl 1351.68050
Gabbrielli, Maurizio; Meo, Maria Chiara
3
2009
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
2
1998
Expressiveness of multiple heads in CHR. Zbl 1206.68078
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2009
On the expressive power of multiple heads in CHR. Zbl 1351.68049
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2012
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
2
2014
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
2
2015
Why CP portfolio solvers are (under)utilized? Issues and challenges. Zbl 1473.68184
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
2
2015
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
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
Infinite computations in concurrent constraint programming. Zbl 0911.68119
de Boer, Frank; Gabbrielli, M.
1
1997
Programming languages: Principles and paradigms. Translated from the Italian. Zbl 1204.68047
Gabbrielli, Maurizio; Martini, Simone
1
2010
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
1
2002
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
On the correctness of the replacement operation for CLP modules. Zbl 0924.68042
Etalle, Sandro; Gabbrielli, Maurizio
1
1996
Slicing concurrent constraint programs. Zbl 1485.68046
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
Unfolding for CHR programs. Zbl 1379.68064
Gabbrielli, Maurizio; Meo, Maria Chiara; Tacchella, Paolo; Wiklicky, Herbert
1
2015
A solved form algorithm for ask and tell Herbrand constraints. Zbl 0967.68506
Gabbrielli, Maurizio; Levi, Giorgio
1
1991
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 07571978
Gabbrielli, Maurizio; Levi, Giorgio
1
1990
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
8
2017
Slicing concurrent constraint programs. Zbl 1485.68046
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
2
2015
Why CP portfolio solvers are (under)utilized? Issues and challenges. Zbl 1473.68184
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
2
2015
Unfolding for CHR programs. Zbl 1379.68064
Gabbrielli, Maurizio; Meo, Maria Chiara; Tacchella, Paolo; Wiklicky, Herbert
1
2015
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
11
2014
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
2
2014
An empirical evaluation of portfolios approaches for solving CSPs. Zbl 1382.68219
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
3
2013
On the expressive power of multiple heads in CHR. Zbl 1351.68049
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2012
Programming languages: Principles and paradigms. Translated from the Italian. Zbl 1204.68047
Gabbrielli, Maurizio; Martini, Simone
1
2010
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
12
2009
A compositional semantics for CHR. Zbl 1351.68050
Gabbrielli, Maurizio; Meo, Maria Chiara
3
2009
Expressiveness of multiple heads in CHR. Zbl 1206.68078
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2009
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
13
2004
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Replication vs. recursive definitions in channel based calculi. Zbl 1039.68082
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
11
2003
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
1
2002
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
2
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
Infinite computations in concurrent constraint programming. Zbl 0911.68119
de Boer, Frank; Gabbrielli, M.
1
1997
Transformations of CLP modules. Zbl 0872.68021
Etalle, Sandro; Gabbrielli, Maurizio
17
1996
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
6
1996
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
On the correctness of the replacement operation for CLP modules. Zbl 0924.68042
Etalle, Sandro; Gabbrielli, Maurizio
1
1996
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
20
1994
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
11
1994
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
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
6
1992
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 0757.68074
Gabbrielli, Maurizio; Levi, Giorgio
4
1992
On the semantics of logic programs. Zbl 0769.68013
Gabbrielli, Maurizio; Levi, Giorgio
4
1991
A solved form algorithm for ask and tell Herbrand constraints. Zbl 0967.68506
Gabbrielli, Maurizio; Levi, Giorgio
1
1991
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 07571978
Gabbrielli, Maurizio; Levi, Giorgio
1
1990
all top 5

Cited by 226 Authors

15 Gabbrielli, Maurizio
10 Meo, Maria Chiara
10 Proietti, Maurizio
9 Pettorossi, Alberto
8 Fioravanti, Fabio
7 Falaschi, Moreno
6 Alpuente, María
6 Comini, Marco
6 De Angelis, Emanuele
6 Olarte, Carlos
6 Villanueva, Alicia
5 Levi, Giorgio
5 Mauro, Jacopo
4 Amadini, Roberto
4 Giacobazzi, Roberto
4 Lamma, Evelina
4 Lanese, Ivan
4 Mello, Paola
4 Palamidessi, Catuscia
4 Valencia, Frank D.
3 Brogi, Antonio
3 Cruz-Filipe, Luís
3 del Mar Gallardo, María
3 Montesi, Fabrizio
3 Orejas, Fernando
3 Pino, Elvira
3 Ranzato, Francesco
3 Senni, Valerio
3 Sneyers, Jon
3 Titolo, Laura
3 Zavattaro, Gianluigi
2 Acciai, Lucia
2 Amato, Gianluca
2 Boreale, Michele
2 Bossi, Annalisa
2 Bresolin, Davide
2 Brodo, Linda
2 Dal Lago, Ugo
2 de Boer, Frank S.
2 Ehrig, Hartmut
2 Escobar, Santiago
2 Etalle, Sandro
2 Fu, Yuxi
2 Gadducci, Fabio
2 Gori, Roberta
2 Iborra, José
2 Janhunen, Tomi
2 Komendantskaya, Ekaterina
2 Kotthoff, Lars
2 Lindauer, Marius
2 Meyer, Roland
2 Nagashima, Masanori
2 Peters, Kirstin
2 Pimentel, Elaine
2 Rodríguez-Artalejo, Mario
2 Sakai, Masahiko
2 Santini, Francesco
2 Saraswat, Vijay A.
2 Schrijvers, Tom
2 Søndergaard, Harald
2 Spoto, Fausto
2 Stuckey, Peter James
2 Tuosto, Emilio
2 van Glabbeek, Robert Jan
1 Achuthan, Krishnashree
1 Andrews, James H.
1 Antonelli, Melissa
1 Aranda, Jesús
1 Arias, Jaime
1 Audemard, Gilles
1 Baeten, Jos C. M.
1 Balbiani, Philippe
1 Baldan, Paolo
1 Ballis, Demis
1 Barbanera, Franco
1 Bensaou, N.
1 Bischl, Bernd
1 Bistarelli, Stefano
1 Björdal, Gustav
1 Bobrow, Daniel G.
1 Bocchi, Laura
1 Bonchi, Filippo
1 Breuvart, Flavien
1 Bruni, Roberto
1 Busi, Nadia
1 Cardelli, Luca
1 Christiansen, Henning
1 Ciampolini, Anna
1 Codish, Michael
1 Cook, William R.
1 Correa, Francisco José
1 Cortesi, Agostino
1 Cousot, Patrick
1 Cousot, Radhia
1 Czerwiński, Wojciech
1 Dantas, Augusto Cesar Heluy
1 De Koninck, Leslie
1 De Nicola, Rocco
1 del Vado Vírseda, Rafael
1 Devillers, Raymond
...and 126 more Authors

Citations by Year