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

Verification, Model Checking, and Abstract Interpretation, p.268-282
Link zum Volltext

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.112-128
2010
Link zum Volltext

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.47-54
2021
Link zum Volltext


Lecture notes in computer science, 2001, p.412-430
2001
Link zum Volltext

Abstract Semantic Dependency
Static Analysis, p.389-410
Link zum Volltext

Programming Languages and Systems, p.146-166
Link zum Volltext

Open Access
Accelerated Data-Flow Analysis
Static Analysis, p.184-199
Link zum Volltext

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.520-531
Link zum Volltext



Adapting in an uncertain world
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004, Vol.6, p.5958-5963 vol.6
2004

2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA), 2015, p.19-24
2015
Link zum Volltext

2009 International Conference on Advanced Computer Control, 2009, p.448-452
2009

2009 IEEE Symposium on Computational Intelligence in Control and Automation, 2009, p.15-20
2009

International archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-4/W6-2022, p.47-56
2023
Link zum Volltext

Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2022, p.4814-4815
2022
Link zum Volltext


2006 IEEE International Conference on Fuzzy Systems, 2006, p.344-350
2006

The First International Conference on Future Generation Communication Technologies, 2012, p.150-155
2012

Ambient help
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2011, p.2751-2760
2011
Link zum Volltext

Open Access
An analysis of permutations in arrays
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.279-294
2010
Link zum Volltext

Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546), 2001, Vol.2, p.1055-1061 vol. 2
2001

Proceedings 3rd International Symposium on Distributed Objects and Applications, 2001, p.299-308
2001
Aktive Filter
PublikationsformTagungsberichte
ThemaComputer Science