متابعة
Maurizio Gabbrielli
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
بريد إلكتروني تم التحقق منه على cs.unibo.it
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
The s-semantics approach: Theory and applications‏
A Bossi, M Gabbrielli, G Levi, M Martelli‏
The Journal of Logic Programming 19, 149-197, 1994‏
2351994
Programming languages: principles and paradigms‏
M Gabbrielli, S Martini, S Giallorenzo‏
Springer, 2010‏
2052010
Student dropout prediction‏
F Del Bonifro, M Gabbrielli, G Lisanti, SP Zingaro‏
Artificial Intelligence in Education: 21st International Conference, AIED …, 2020‏
1582020
A timed concurrent constraint language‏
FS de Boer, M Gabbrielli, MC Meo‏
Information and Computation 161 (1), 45-83, 2000‏
1212000
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‏
1191997
Transformations of CLP modules‏
S Etalle, M Gabrielli‏
Theoretical computer science 166 (1-2), 101-146, 1996‏
1161996
A compositional semantics for logic programs‏
A Bossi, M Gabrielli, G Levi, MC Meo‏
Theoretical Computer Science 122 (1-2), 3-47, 1994‏
1091994
Modeling answer constraints in constraint logic programs‏
M Gabbrielli, G Levi‏
Università degli studi di Pisa, Dipartimento di informatica, 1991‏
1001991
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‏
792014
Replication vs. recursive definitions in channel based calculi‏
N Busi, M Gabbrielli, G Zavattaro‏
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003‏
762003
Dynamic choreographies: Theory and implementation‏
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro‏
Logical Methods in Computer Science 13, 2017‏
692017
Comparing recursion, replication, and iteration in process calculi‏
N Busi, M Gabbrielli, G Zavattaro‏
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004‏
682004
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‏
662009
Contributions to the Semantics of Open Logic Programs.‏
A Bossi, M Gabbrielli, G Levi, MC Meo‏
FGCS, 570-580, 1992‏
661992
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‏
631994
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‏
622016
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‏
552014
A multicore tool for constraint solving‏
R Amadini, M Gabbrielli, J Mauro‏
arXiv preprint arXiv:1502.03986, 2015‏
542015
Observable semantics for constraint logic programs‏
M Gabbrielli, GM Dore, G Levi‏
Journal of Logic and Computation 5 (2), 133-171, 1995‏
531995
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‏
481993
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20