Maurizio Gabbrielli
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Geverifieerd e-mailadres voor cs.unibo.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
1112000
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
981991
Programming languages: principles and paradigms
M Gabbrielli, S Martini
Springer Science & Business Media, 2010
882010
Replication vs. recursive definitions in channel based calculi
N Busi, M Gabbrielli, G Zavattaro
International Colloquium on Automata, Languages, and Programming, 133-144, 2003
702003
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, 2009
622009
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
532013
Observable semantics for constraint logic programs
M Gabbrielli, GM Dore, G Levi
Journal of Logic and Computation 5 (2), 133-171, 1995
521995
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
A multicore tool for constraint solving
R Amadini, M Gabbrielli, J Mauro
arXiv preprint arXiv:1502.03986, 2015
452015
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
442014
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
Observable behaviors and equivalences of logic programs
M Gabbrielli, G Levi, MC Meo
Information and Computation 122 (1), 1-29, 1995
391995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20