Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Advances in Cryptology – EUROCRYPT 2005, 2005, p.19-35
2005
Link zum Volltext

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.152-166
2004
Link zum Volltext

Computer Aided Verification, 2006, p.81-94
2006
Link zum Volltext

Open Access
Short Group Signatures
Advances in Cryptology – CRYPTO 2004, 2004, p.41-55
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.158-175
2004
Link zum Volltext

Advances in Cryptology - EUROCRYPT 2004, 2004, p.56-73
2004
Link zum Volltext

Lecture notes in computer science, 2002, p.769-778
2002
Link zum Volltext

Open Access
A Tool for Checking ANSI-C Programs
Lecture notes in computer science, 2004, p.168-176
2004
Link zum Volltext

Lecture notes in computer science, 2006, p.207-228
2006
Link zum Volltext

Computer Vision – ECCV 2006, 2006, p.568-580
2006
Link zum Volltext

Advances in Cryptology - ASIACRYPT 2003, 2003, p.452-473
2003
Link zum Volltext

Lecture notes in computer science, 1999, Vol.1661, p.65-82
1999
Link zum Volltext

Open Access
Lazy Abstraction with Interpolants
Computer Aided Verification, 2006, p.123-136
2006
Link zum Volltext

Computer Vision – ECCV 2006, 2006, p.531-542
2006
Link zum Volltext

Advances in Knowledge Discovery and Data Mining, 2006, p.577-593
2006
Link zum Volltext

Lecture notes in computer science, 2001, p.42-53
2001
Link zum Volltext

Advances in Cryptology - EUROCRYPT 2004, 2004, p.1-19
2004
Link zum Volltext

Job Scheduling Strategies for Parallel Processing, 2003, p.44-60
2003
Link zum Volltext

Advances in Cryptology - EUROCRYPT 2004, 2004, p.207-222
2004
Link zum Volltext

Lecture notes in computer science, 2005, p.827-831
1ère éd, 2005
Link zum Volltext


Advances in Cryptology – CRYPTO 2004, 2004, p.56-72
2004
Link zum Volltext

Lecture notes in computer science, 2005, p.522-536
2005
Link zum Volltext

Cryptographic Hardware and Embedded Systems - CHES 2004, 2004, p.119-132
2004
Link zum Volltext

Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n