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="Ferrari, Gianluigi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Coalgebraic minimization of HD-automata for the
\pi
-calculus using polymorphic types
Gianluigi Ferrari
,
Ugo Montanari
,
Emilio Tuosto
Theoretical Computer Science
331
(2-3), 2005, pp. 325-365
On the semantics of durational actions
Flavio Corradini
,
GianLuigi Ferrari
,
Marco Pistore
Theoretical Computer Science
269
(1-2), 2001, pp. 47-82
Tile formats for located and mobile systems
GianLuigi Ferrari
,
Ugo Montanari
Information and Computation
156
(1-2), 2000, pp. 173-235
Types for access control
Rocco de Nicola
,
GianLuigi Ferrari
,
Rosario Pugliese
,
Betti Venneri
Theoretical Computer Science
240
(1), 2000, pp. 215-254
A
\pi
-calculus with explicit substitutions: The late semantics
GianLuigi Ferrari
,
Ugo Montanari
,
Paola Quaglia
Lecture Notes in Computer Science
841
, 1994, pp. 342-351