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="Bernardeschi, C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Using postdomination to reduce space requirements of data flow analysis
C. Bernardeschi
,
G. Lettieri
,
L. Martini
,
P. Masci
Information Processing Letters
98
(1), 2006, pp. 11-18
Abstract interpretation of operational semantics for secure information flow
R. Barbuti
,
C. Bernardeschi
,
N. De Francesco
Information Processing Letters
83
(2), 2002, pp. 101-108