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 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.182-196
2023
Link zum Volltext

Magnetic Fusion Energy, 2016, p.61-90
2016
Link zum Volltext

2013 IEEE 25th Symposium on Fusion Engineering (SOFE), 2013, p.1-4
2013

2013 IEEE 25th Symposium on Fusion Engineering (SOFE), 2013, p.1-6
2013


Open Access
All Secrets Great and Small
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, Vol.5502, p.207-221
2009
Link zum Volltext

Algorithms and Computation, 2005, p.433-442
2005
Link zum Volltext


Graph-Theoretic Concepts in Computer Science, 2003, p.114-125
2003
Link zum Volltext