Maurizio Gabbrielli

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3542	893
indeks-h	33	14
indeks-i10	78	23

240

120

180

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202521 33 50 109 105 90 99 81 87 56 69 76 67 77 84 56 77 82 133 118 86 57 105 96 140 149 124 116 123 137 172 121 195 229 37

Akses publik

Lihat semua

14 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
Ivan LaneseUniversity of BolognaEmail yang diverifikasi di unibo.it
Catuscia PalamidessiInriaEmail yang diverifikasi di lix.polytechnique.fr
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail yang diverifikasi di cs.unibo.it
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkEmail yang diverifikasi di imada.sdu.dk
Mila Dalla PredaUniversity of Verona, ItalyEmail yang diverifikasi di univr.it
Giorgio DelzannoAssociate Professor, Università di GenovaEmail yang diverifikasi di unige.it
Kim MarriottProfessor, Monash UniversityEmail yang diverifikasi di monash.edu
Elena MarchioriRadboud University (Emeritus professor)Email yang diverifikasi di cs.ru.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsEmail yang diverifikasi di cwi.nl
Stefano BistarelliFull professor of Computer Science at University of PerugiaEmail yang diverifikasi di unipg.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaEmail yang diverifikasi di dmi.unipg.it
Dino PedreschiProfessor of Computer Science, University of PisaEmail yang diverifikasi di di.unipi.it
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Email yang diverifikasi di vrain.upv.es
Frank D. ValenciaCNRS, École Polytechnique de ParisEmail yang diverifikasi di lix.polytechnique.fr
Massimo MarchioriProfessor (University of Padua), and CTO (European Institute for Science, Media and Democracy)Email yang diverifikasi di math.unipd.it
Daniele TuriCTO, HSS Proservice

Ikuti

Maurizio Gabbrielli

Professor of Computer Science, University of Bologna

Email yang diverifikasi di cs.unibo.it

Programming languages artificial intelligence SOC


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The s-semantics approach: Theory and applications A Bossi, M Gabbrielli, G Levi, M Martelli The Journal of Logic Programming 19, 149-197, 1994	232	1994
Programming languages: principles and paradigms M Gabbrielli, S Martini, S Giallorenzo Springer, 2010	203	2010
Student dropout prediction F Del Bonifro, M Gabbrielli, G Lisanti, SP Zingaro Artificial Intelligence in Education: 21st International Conference, AIED …, 2020	166	2020
A timed concurrent constraint language FS de Boer, M Gabbrielli, MC Meo Information and computation 161 (1), 45-83, 2000	121	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	117	1996
A compositional semantics for logic programs A Bossi, M Gabrielli, G Levi, MC Meo Theoretical Computer Science 122 (1-2), 3-47, 1994	112	1994
Modeling answer constraints in constraint logic programs M Gabbrielli, G Levi Università degli studi di Pisa, Dipartimento di informatica, 1991	102	1991
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	82	2014
Replication vs. recursive definitions in channel based calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003	76	2003
Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017	70	2017
Comparing recursion, replication, and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004	69	2004
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	68	2009
Contributions to the Semantics of Open Logic Programs. A Bossi, M Gabbrielli, G Levi, MC Meo FGCS, 570-580, 1992	67	1992
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	64	1994
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	60	2016
A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015	54	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
AIOCJ: A choreographic framework for safe adaptive distributed applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014	52	2014
Compositional analysis for concurrent constraint programming M Falaschi, M Gabbrielli, K Marriott, C Palamidessi [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993	47	1993

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama