Maurizio Gabbrielli
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Verified email at cs.unibo.it
TitleCited byYear
The s-semantics approach: Theory and applications
A Bossi, M Gabbrielli, G Levi, M Martelli
The Journal of Logic Programming 19, 149-197, 1994
2181994
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
1111997
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and Computation 161 (1), 45-83, 2000
1092000
Transformations of CLP modules
S Etalle, M Gabrielli
Theoretical computer science 166 (1-2), 101-146, 1996
1051996
A compositional semantics for logic programs
A Bossi, M Gabrielli, G Levi, MC Meo
Theoretical Computer Science 122 (1-2), 3-47, 1994
1051994
Modeling answer constraints in constraint logic programs
M Gabbrielli, G Levi
Università degli studi di Pisa, Dipartimento di informatica, 1991
961991
Programming languages: principles and paradigms
M Gabbrielli, S Martini
Springer Science & Business Media, 2010
802010
Replication vs. recursive definitions in channel based calculi
N Busi, M Gabbrielli, G Zavattaro
International Colloquium on Automata, Languages, and Programming, 133-144, 2003
692003
Comparing recursion, replication, and iteration in process calculi
N Busi, M Gabbrielli, G Zavattaro
International Colloquium on Automata, Languages, and Programming, 307-319, 2004
662004
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
602009
Contributions to the semantics of open logic programs
ABMGG Levi, MC Meo
Proc. Int'l Conf. Fifth Generation Computer Systems, 570-580, 1992
591992
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
571994
Observable semantics for constraint logic programs
M Gabbrielli, GM Dore, G Levi
Journal of Logic and Computation 5 (2), 133-171, 1995
491995
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
462014
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
461993
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
422014
Differential logic programming
A Bossi, M Bugliesi, M Gabbrielli, G Levi, MC Meo
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
421993
Fixpoint semantics for partial computed answer substitutions and call patterns
M Gabbrielli, MC Meo
International Conference on Algebraic and Logic Programming, 84-99, 1992
401992
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
382015
Observable Behaviors and Eduivalences gf Logic Programs
M Gabbrielli
381995
The system can't perform the operation now. Try again later.
Articles 1–20