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...

Computer Aided Verification, 2001, p.53-65
2001
Link zum Volltext

Lecture notes in computer science, 2004, p.39-50
2004
Link zum Volltext

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

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

Hybrid Systems: Computation and Control, 2000, p.6-19
2000
Link zum Volltext

Lecture notes in computer science, 2004, p.203-222
2004
Link zum Volltext



Advances in Spatial and Temporal Databases, 2005, p.364-381
2005
Link zum Volltext

Assessment and Future Directions of Nonlinear Model Predictive Control, 2007, p.181-192
2007
Link zum Volltext

Lecture notes in computer science, 2001, p.491-502
2001
Link zum Volltext


A Generalized Representer Theorem
Computational Learning Theory, 2001, Vol.2111, p.416-426
2001
Link zum Volltext

Learning Theory, 2006, p.154-168
2006
Link zum Volltext


Stroke and Chronic Kidney Disease
Contributions to nephrology, 2021, Vol.199, p.80
2021
Link zum Volltext

Open Access
A Very Compact S-Box for AES
Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.441-455
2005
Link zum Volltext

Open Access
A Sober Look at Clustering Stability
Learning Theory, 2006, p.5-19
2006
Link zum Volltext


Lecture notes in computer science, 2001, p.145-156
2001
Link zum Volltext

Lecture notes in computer science, 2006, Vol.4109, p.163-172
2006
Link zum Volltext

Advances in Spatial and Temporal Databases, 2005, p.291-307
2005
Link zum Volltext

Cryptographic Hardware and Embedded Systems – CHES 2005, 2005, p.30-46
2005
Link zum Volltext

Advances in Cryptology – CRYPTO 2004, 2004, p.426-442
2004
Link zum Volltext
Aktive Filter
SpracheTschechisch
PublikationsformBerichte
KollektionIngentaConnect Journals
PublikationsformBuchkapitel