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
Hilfe
Suche: Author="di Cosmo, Roberto"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Aeolus: A component model for the cloud
Roberto Di Cosmo
,
Jacopo Mauro
,
Stefano Zacchiroli
,
Gianluigi Zavattaro
Information and Computation
239
, 2014, pp. 100-121
Component reconfiguration in the presence of conflicts
Roberto Di Cosmo
,
Jacopo Mauro
,
Stefano Zacchiroli
,
Gianluigi Zavattaro
Lecture Notes in Computer Science
7966
, 2013, pp. 187-198
Skeletal parallel programming with OCAMLP3L 2.0
Roberto Di Cosmo
,
Zheng Li
,
Susanna Pelagatti
,
Pierre Weis
Parallel Processing Letters
18
(1), 2008, pp. 149-164
A calculus for dense array distributions
Roberto di Cosmo
,
Susanna Pelagatti
Parallel Processing Letters
13
(3), 2003, pp. 377-388
On modular properties of higher order extensional lambda caluli
Roberto di Cosmo
,
Neil Ghani
Lecture Notes in Computer Science
1256
, 1997, pp. 237-247
Combining algebraic rewriting, extensional lambda calculi, and fixpoints
Roberto Di Cosmo
,
Delia Kesner
Theoretical Computer Science
169
(2), 1996, pp. 201-220
Second order isomorphic types: A proof theoretic study on second order
\lambda
-calculus with surjective pairing and terminal object
Roberto di Cosmo
Information and Computation
119
(2), 1995, pp. 176-201
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
Roberto di Cosmo
,
Delia Kesner
Lecture Notes in Computer Science
820
, 1994, pp. 462-472
A confluent reduction for the extensional typed
\lambda
-calculus with pairs, sums, recursion and terminal object
Roberto di Cosmo
,
Delia Kesner
Lecture Notes in Computer Science
700
, 1993, pp. 645-656