Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Gabbrielli, Maurizio"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The expressive power of CHR with priorities
Maurizio Gabbrielli
,
Jacopo Mauro
,
Maria Chiara Meo
Information and Computation
228-229
, 2013, pp. 62-82
Compositional verification of asynchronous processes via constraint solving
Giorgio Delzanno
,
Maurizio Gabbrielli
Lecture Notes in Computer Science
3580
, 2005, pp. 1239-1250
Comparing recursion, replication, and iteration in process calculi
Nadia Busi
,
Maurizio Gabbrielli
,
Gianluigi Zavattaro
Lecture Notes in Computer Science
3142
, 2004, pp. 307-319
Replication vs. recursive definitions in channel based calculi
Nadia Busi
,
Maurizio Gabbrielli
,
Gianluigi Zavattaro
Lecture Notes in Computer Science
2719
, 2003, pp. 133-144
Constraint logic programming with dynamic scheduling: A semantics based on closure operators
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
Information and Computation
137
(1), 1997, pp. 41-67
Confluence in concurrent constraint programming
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
Theoretical Computer Science
183
(2), 1997, pp. 281-315
Transformations of CLP modules
Sandro Etalle
,
Maurizio Gabbrielli
Theoretical Computer Science
166
(1-2), 1996, pp. 101-146
Observable behaviors and equivalences of logic programs
Maurizio Gabbrielli
,
Giorgio Levi
,
Maria Chiara Meo
Information and Computation
122
(1), 1995, pp. 1-29
Unfolding and fixpoint semantics of concurrent constraint logic programs
Maurizio Gabbrielli
,
Giorgio Levi
Theoretical Computer Science
105
, 1992, pp. 85-128
Nested Guarded Horn Clauses
Moreno Falaschi
,
Maurizio Gabbrielli
,
Giorgio Levi
,
Masaki Murakami
International Journal of Foundations of Computer Science
1
(3), 1990, pp. 249-263