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

Open Access
Verifying Whiley Programs with Boogie
Journal of automated reasoning, 2022-11, Vol.66 (4), p.747-803
2022
Link zum Volltext


Information processing letters, 2016-01, Vol.116 (1), p.47-52
2016
Link zum Volltext


IEEE transactions on signal processing, 2007-02, Vol.55 (2), p.585-593
2007



The ACM journal of experimental algorithmics, , Vol.11, p.1.7-es
Link zum Volltext


Computing Tutte Polynomials
ACM transactions on mathematical software, 2010-09, Vol.37 (3), p.1-17
2010
Link zum Volltext

ACM transactions on programming languages and systems, 2007-11, Vol.30 (1), p.4-es
2007
Link zum Volltext

ACM transactions on programming languages and systems, 2021-04, Vol.43 (1), p.1-73, Article 3
2021
Link zum Volltext

Open Access
Efficient Object Querying for Java
ECOOP 2006 – Object-Oriented Programming, 2006, p.28-49
2006
Link zum Volltext




Profiling with AspectJ
Software, practice & experience, 2007-06, Vol.37 (7), p.747-777
2007
Link zum Volltext

Journal of computer languages (Online), 2019-02, Vol.50, p.84-101
2019
Link zum Volltext

Proceedings of the 16th ACM SIGPLAN International Conference on generative programming: concepts and experiences, 2017, p.117-130
2017
Link zum Volltext



Science of computer programming, 2015-12, Vol.113, p.191-220
2015
Link zum Volltext

International journal of electrical engineering & education, 2016-04, Vol.53 (2), p.114-123
2016
Link zum Volltext

Experimental and Efficient Algorithms, 2004, p.383-398
2004
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt