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="Turi, Daniele"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Outsourced pattern matching
Sebastian Faust
,
Carmit Hazay
,
Daniele Venturi
Lecture Notes in Computer Science
7966
, 2013, pp. 545-556
Tamper-proof circuits: How to trade leakage for tamper-resilience
Sebastian Faust
,
Krzysztof Pietrzak
,
Daniele Venturi
Lecture Notes in Computer Science
6755
, 2011, pp. 391-402
Initial algebra and final coalgebra semantics for concurrency
Jan Rutten
,
Daniele Turi
Lecture Notes in Computer Science
803
, 1994, pp. 530-582