Segui
Maurizio Gabbrielli
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Email verificata su cs.unibo.it
Titolo
Citata da
Citata da
Anno
The s-semantics approach: Theory and applications
A Bossi, M Gabbrielli, G Levi, M Martelli
The Journal of Logic Programming 19, 149-197, 1994
2291994
Programming languages: principles and paradigms
M Gabbrielli, S Martini
Springer Science & Business Media, 2010
1502010
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and computation 161 (1), 45-83, 2000
1202000
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
1151996
A compositional semantics for logic programs
A Bossi, M Gabrielli, G Levi, MC Meo
Theoretical computer science 122 (1-2), 3-47, 1994
1061994
Modeling answer constraints in constraint logic programs
M Gabbrielli, G Levi
Università degli studi di Pisa, Dipartimento di informatica, 1991
1001991
Replication vs. recursive definitions in channel based calculi
N Busi, M Gabbrielli, G Zavattaro
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
722003
Student dropout prediction
F Del Bonifro, M Gabbrielli, G Lisanti, SP Zingaro
Artificial Intelligence in Education: 21st International Conference, AIED …, 2020
702020
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
692014
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
692009
Contributions to the Semantics of Open Logic Programs.
A Bossi, M Gabbrielli, G Levi, MC Meo
FGCS, 570-580, 1992
691992
Comparing recursion, replication, and iteration in process calculi
N Busi, M Gabbrielli, G Zavattaro
ICALP 4, 307-319, 2004
662004
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
591994
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
532015
Observable semantics for constraint logic programs
M Gabbrielli, GM Dore, G Levi
Journal of Logic and Computation 5 (2), 133-171, 1995
531995
Dynamic choreographies: Theory and implementation
MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
arXiv preprint arXiv:1611.09067, 2016
522016
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
512016
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
502014
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
Annals of Mathematics and Artificial Intelligence 76, 229-246, 2016
472016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20