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...
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022, p.18102-18112
2022






Formal Techniques for Distributed Systems, p.130-145
Link zum Volltext







HCI and Usability for e-Inclusion, p.416-427
Link zum Volltext

Cellular Automata, p.42-51
Link zum Volltext

Splitting via Interpolants
Verification, Model Checking, and Abstract Interpretation, p.186-201
Link zum Volltext

Morphologie, 2013, Vol.97 (318-319), p.109-111
2013
Link zum Volltext

Query-Driven Program Testing
Verification, Model Checking, and Abstract Interpretation, p.151-166
Link zum Volltext


Hardware and Software: Verification and Testing, p.9-22
Link zum Volltext


2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.5240-5250
2023


2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022, p.13409-13419
2022

Open Access
Heterogeneous Continual Learning
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.15985-15995
2023