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


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



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

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


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 3rd International Symposium on Distributed Objects and Applications, 2001, p.299-308
2001

2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks, 2007, p.103-114
2007
Link zum Volltext

Lecture notes in computer science, 2004, p.296-311
2004
Link zum Volltext



The Art of Telescoping
Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation, 2019, p.1-3
2019
Link zum Volltext

Lecture notes in computer science, 1998, p.152-167
1998
Link zum Volltext
Aktive Filter
PublikationsformTagungsberichte
ThemaComputer Science, Theory & Methods