×

Gabbrielli, Maurizio

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

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 259 times in 175 Documents Cited by Year
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
24
1994
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
22
2000
Transformations of CLP modules. Zbl 0872.68021
Etalle, Sandro; Gabbrielli, Maurizio
20
1996
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
18
2009
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
15
2004
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
15
2014
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
14
2017
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
13
1994
Replication vs. recursive definitions in channel based calculi. Zbl 1039.68082
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
13
2003
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
11
1995
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
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
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 0757.68074
Gabbrielli, Maurizio; Levi, Giorgio
5
1992
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
4
1996
On the semantics of logic programs. Zbl 0769.68013
Gabbrielli, Maurizio; Levi, Giorgio
4
1991
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
4
2004
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
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
3
1998
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
3
2012
Applied choreographies. Zbl 1508.68242
Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio
3
2018
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
3
2014
A compositional semantics for CHR. Zbl 1351.68050
Gabbrielli, Maurizio; Meo, Maria Chiara
3
2009
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
3
2015
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
2
1993
Why CP portfolio solvers are (under)utilized? Issues and challenges. Zbl 1473.68184
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
2
2015
Expressiveness of multiple heads in CHR. Zbl 1206.68078
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2009
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 1493.68068
Gabbrielli, Maurizio; Levi, Giorgio
2
1990
Confluence in concurrent constraint programming. Zbl 1496.68104
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
2
1995
On the correctness of the replacement operation for CLP modules. Zbl 0924.68042
Etalle, Sandro; Gabbrielli, Maurizio
1
1996
Infinite computations in concurrent constraint programming. Zbl 0911.68119
de Boer, Frank; Gabbrielli, M.
1
1997
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
1
2002
Dynamic slicing for concurrent constraint languages. Zbl 1497.68098
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Self-reconfiguring microservices. Zbl 1475.68035
Gabbrielli, Maurizio; Giallorenzo, Saverio; Guidi, Claudio; Mauro, Jacopo; Montesi, Fabrizio
1
2016
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
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
Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2–5, 2005. Proceedings. Zbl 1086.68004
1
2005
Programming languages: Principles and paradigms. Translated from the Italian. Zbl 1204.68047
Gabbrielli, Maurizio; Martini, Simone
1
2010
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
Proving correctness of constraint logic programs with dynamic scheduling. Zbl 1482.68086
de Boer, F. S.; Gabbrielli, M.; Palamidessi, C.
1
1996
Dynamic slicing for concurrent constraint languages. Zbl 1497.68098
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Applied choreographies. Zbl 1508.68242
Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio
3
2018
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
14
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
Self-reconfiguring microservices. Zbl 1475.68035
Gabbrielli, Maurizio; Giallorenzo, Saverio; Guidi, Claudio; Mauro, Jacopo; Montesi, Fabrizio
1
2016
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
3
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
15
2014
Probabilistic recursion theory and implicit computational complexity. Zbl 1423.03138
Dal Lago, Ugo; Zuppiroli, Sara; Gabbrielli, Maurizio
3
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
3
2012
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
Programming languages: Principles and paradigms. Translated from the Italian. Zbl 1204.68047
Gabbrielli, Maurizio; Martini, Simone
1
2010
On the expressive power of recursion, replication and iteration in process calculi. Zbl 1191.68430
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
18
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
Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2–5, 2005. Proceedings. Zbl 1086.68004
1
2005
Comparing recursion, replication, and iteration in process calculi. Zbl 1098.68086
Busi, Nadia; Gabbrielli, Maurizio; Zavattaro, Gianluigi
15
2004
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
4
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
13
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.
22
2000
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
3
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
20
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.
4
1996
On the correctness of the replacement operation for CLP modules. Zbl 0924.68042
Etalle, Sandro; Gabbrielli, Maurizio
1
1996
Proving correctness of constraint logic programs with dynamic scheduling. Zbl 1482.68086
de Boer, F. S.; Gabbrielli, M.; Palamidessi, C.
1
1996
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
11
1995
Observable semantics for constraint logic programs. Zbl 0823.68018
Gabbrielli, Maurizio; Dore, Giovanna M.; Levi, Giorgio
6
1995
Confluence in concurrent constraint programming. Zbl 1496.68104
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
2
1995
The \(s\)-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
24
1994
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
13
1994
The semantics of equational logic programming as an instance of CLP. Zbl 0832.68013
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio
2
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
5
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
Unfolding and fixpoint semantics of concurrent constraint logic programs. Zbl 1493.68068
Gabbrielli, Maurizio; Levi, Giorgio
2
1990
Nested guarded Horn clauses. Zbl 0732.68027
Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio; Murakami, Masaki
1
1990
all top 5

Cited by 265 Authors

17 Gabbrielli, Maurizio
13 Proietti, Maurizio
12 Pettorossi, Alberto
11 Fioravanti, Fabio
10 Meo, Maria Chiara
9 De Angelis, Emanuele
7 Alpuente, María
7 Falaschi, Moreno
6 Comini, Marco
6 Mauro, Jacopo
6 Montesi, Fabrizio
6 Olarte, Carlos
6 Villanueva, Alicia
5 Cruz-Filipe, Luís
5 Lanese, Ivan
5 Levi, Giorgio
5 Valencia, Frank D.
4 Giacobazzi, Roberto
4 Lamma, Evelina
4 Mello, Paola
4 Palamidessi, Catuscia
4 Zavattaro, Gianluigi
3 Amadini, Roberto
3 Aubert, Clément
3 Brogi, Antonio
3 Dal Lago, Ugo
3 del Mar Gallardo, María
3 Di Giusto, Cinzia
3 Escobar, Santiago
3 Hermenegildo, Manuel V.
3 Iborra, José
3 Kotthoff, Lars
3 Orejas, Fernando
3 Peressotti, Marco
3 Pino, Elvira
3 Ranzato, Francesco
3 Senni, Valerio
3 Sneyers, Jon
3 Titolo, Laura
3 Tuosto, Emilio
2 Acciai, Lucia
2 Amato, Gianluca
2 Aranda, Jesús
2 Bistarelli, Stefano
2 Boreale, Michele
2 Bossi, Annalisa
2 Bresolin, Davide
2 Brodo, Linda
2 Busi, Nadia
2 Christiansen, Henning
2 de Boer, Frank S.
2 Drabent, Włodzimierz
2 Ehrig, Hartmut
2 Etalle, Sandro
2 Fu, Yuxi
2 Gadducci, Fabio
2 Gori, Roberta
2 Graversen, Eva
2 Janhunen, Tomi
2 Komendantskaya, Ekaterina
2 Lindauer, Marius
2 Marriott, Kim
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 Spoto, Fausto
2 van Glabbeek, Robert Jan
2 Yoshida, Nobuko
1 Achuthan, Krishnashree
1 Andrews, James H.
1 Antić, Christian
1 Antonelli, Melissa
1 Arias, Jaime
1 Attie, Paul C.
1 Audemard, Gilles
1 Aziz, Benjamin
1 Baeten, Jos C. M.
1 Balbiani, Philippe
1 Baldan, Paolo
1 Ballis, Demis
1 Barbanera, Franco
1 Bensaou, N.
1 Bischl, Bernd
1 Björdal, Gustav
1 Bobrow, Daniel G.
1 Bocchi, Laura
1 Bonchi, Filippo
1 Breuvart, Flavien
1 Bruni, Roberto
1 Cappai, Alberto
1 Cardelli, Luca
1 Ciampolini, Anna
1 Codish, Michael
1 Cook, William R.
...and 165 more Authors

Citations by Year