Maurizio Gabbrielli

Cited by

	All	Since 2018
Citations	3122	735
h-index	32	15
i10-index	70	21

160

120

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 37 41 106 106 87 95 73 80 62 73 73 59 81 90 47 81 78 133 118 80 66 99 94 146 147 133 116 122 137 160 117 80

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Elena MarchioriRadboud UniversityVerified email at cs.ru.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerified email at dmi.unipg.it
Dino PedreschiProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verified email at vrain.upv.es
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)Verified email at math.unipd.it

Maurizio Gabbrielli

Professor of Computer Science, University of Bologna

Verified email at cs.unibo.it

Programming languages artificial intelligence SOC


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The s-semantics approach: Theory and applications A Bossi, M Gabbrielli, G Levi, M Martelli The Journal of Logic Programming 19, 149-197, 1994	229	1994
Programming languages: principles and paradigms M Gabbrielli, S Martini Springer Science & Business Media, 2010	150	2010
A timed concurrent constraint language FS de Boer, M Gabbrielli, MC Meo Information and computation 161 (1), 45-83, 2000	120	2000
Proving concurrent constraint programs correct FS De Boer, M Gabbrielli, E Marchiori, C Palamidessi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 685-725, 1997	119	1997
Transformations of CLP modules S Etalle, M Gabrielli Theoretical computer science 166 (1-2), 101-146, 1996	115	1996
A compositional semantics for logic programs A Bossi, M Gabrielli, G Levi, MC Meo Theoretical computer science 122 (1-2), 3-47, 1994	106	1994
Modeling answer constraints in constraint logic programs M Gabbrielli, G Levi Università degli studi di Pisa, Dipartimento di informatica, 1991	100	1991
Replication vs. recursive definitions in channel based calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003	72	2003
Student dropout prediction F Del Bonifro, M Gabbrielli, G Lisanti, SP Zingaro Artificial Intelligence in Education: 21st International Conference, AIED …, 2020	70	2020
SUNNY: a lazy portfolio approach for constraint solving R Amadini, M Gabbrielli, J Mauro Theory and Practice of Logic Programming 14 (4-5), 509-524, 2014	69	2014
On the expressive power of recursion, replication and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro Mathematical Structures in Computer Science 19 (6), 1191-1222, 2009	69	2009
Contributions to the Semantics of Open Logic Programs. A Bossi, M Gabbrielli, G Levi, MC Meo FGCS, 570-580, 1992	69	1992
Comparing recursion, replication, and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro ICALP 4, 307-319, 2004	66	2004
Goal independency and call patterns in the analysis of logic programs M Gabbrielli, R Giacobazzi, G Levi Symposium on Applied Computing: Proceedings of the 1994 ACM symposium on …, 1994	59	1994
A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015	53	2015
Observable semantics for constraint logic programs M Gabbrielli, GM Dore, G Levi Journal of Logic and Computation 5 (2), 133-171, 1995	53	1995
Dynamic choreographies: Theory and implementation MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro arXiv preprint arXiv:1611.09067, 2016	52	2016
Self-reconfiguring microservices M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016	51	2016
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli Software Language Engineering: 7th International Conference, SLE 2014 …, 2014	50	2014
Portfolio approaches for constraint optimization problems R Amadini, M Gabbrielli, J Mauro Annals of Mathematics and Artificial Intelligence 76, 229-246, 2016	47	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors