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

Topics in Cryptology – CT-RSA 2021, 2021, p.444-477
2021
Link zum Volltext



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



Monitoring of Microalgal Processes
Advances in biochemical engineering, biotechnology, 2016, Vol.153, p.89-142
2016
Link zum Volltext

Advances in Cryptology – ASIACRYPT 2017, p.575-605
Link zum Volltext










Cascade 2.0
Verification, Model Checking, and Abstract Interpretation, p.142-160
Link zum Volltext