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


Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1369-1382
2018
Link zum Volltext



Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, p.1159-1164
2017

2022 IEEE 19th International Symposium on Biomedical Imaging (ISBI), 2022, p.1-5
2022



2020 31st Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC), 2020, p.1-5
2020


Generic Views on Data Types
Lecture notes in computer science, 2006, p.209-234
2006
Link zum Volltext


Affective Dialogue Systems, 2004, p.154-165
2004
Link zum Volltext


Dependently Typed Grammars
Mathematics of Program Construction, p.58-79
Link zum Volltext

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.135-150
2020
Link zum Volltext


Microsystems for Enhanced Control of Cell Behavior, 2016, Vol.18, p.249-268
2016
Link zum Volltext





Discrete Geometry for Computer Imagery, 2005, p.287-298
2005
Link zum Volltext

Intelligent Virtual Agents, p.389-390
Link zum Volltext