Maurizio Gabbrielli
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Verified email at cs.unibo.it
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
2201994
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
1141997
A timed concurrent constraint language
FS de Boer, M Gabbrielli, MC Meo
Information and Computation 161 (1), 45-83, 2000
1132000
Transformations of CLP modules
S Etalle, M Gabrielli
Theoretical computer science 166 (1-2), 101-146, 1996
1091996
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
991991
Programming languages: principles and paradigms
M Gabbrielli, S Martini
Springer Science & Business Media, 2010
932010
Replication vs. recursive definitions in channel based calculi
N Busi, M Gabbrielli, G Zavattaro
International Colloquium on Automata, Languages, and Programming, 133-144, 2003
712003
Comparing recursion, replication, and iteration in process calculi
N Busi, M Gabbrielli, G Zavattaro
International Colloquium on Automata, Languages, and Programming, 307-319, 2004
672004
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, 2009
652009
Contributions to the semantics of open logic programs
ABMGG Levi, MC Meo
Proc. Int'l Conf. Fifth Generation Computer Systems, 570-580, 1992
621992
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
SUNNY: a lazy portfolio approach for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1311.3353, 2013
552013
Observable semantics for constraint logic programs
M Gabbrielli, GM Dore, G Levi
Journal of Logic and Computation 5 (2), 133-171, 1995
521995
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
462015
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
452014
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
431993
Fixpoint semantics for partial computed answer substitutions and call patterns
M Gabbrielli, MC Meo
International Conference on Algebraic and Logic Programming, 84-99, 1992
411992
Portfolio approaches for constraint optimization problems
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 21-35, 2014
402014
The system can't perform the operation now. Try again later.
Articles 1–20