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="Mauw, Sjouke"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A formal framework for quantifying voter-controlled privacy
Hugo Jonker
,
Sjouke Mauw
,
Jun Pang
J. Algorithms: Cognition, Informatics and Logic
64
(2-3), 2009, pp. 89-105
A framework for compositional verification of security protocols
Suzana Andova
,
Cas Cremers
,
Kristian Gjsteen
,
Sjouke Mauw
,
Stig F. Mjlsnes
,
Sas̑a Radomirović
Information and Computation
206
(2-4), 2008, pp. 425-459
Impossible futures and determinism
Marc Voorhoeve
,
Sjouke Mauw
Information Processing Letters
80
(1), 2001, pp. 51-58
Regularity of BPA-systems is decidable
Sjouke Mauw
,
Hans Mulder
Lecture Notes in Computer Science
836
, 1994, pp. 34-47