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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
Automatic assessment of Java code
Computer languages, systems & structures, 2018-09, Vol.53, p.59-72
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2014-09, Vol.163 (Proc. WWV 2014), p.2-15
2014
Volltextzugriff (PDF)

Information and software technology, 2015-02, Vol.58, p.95-109
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2015-01, Vol.173 (Proc. PROLE 2014), p.16-26
2015
Volltextzugriff (PDF)

Open Access
Algorithmic debugging generalized
Journal of logical and algebraic methods in programming, 2018-06, Vol.97, p.85-104
2018
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2012-01, Vol.98 (Proc. WWV 2012), p.46-59
2012
Volltextzugriff (PDF)

Computer applications in engineering education, 2021-09, Vol.29 (5), p.1034-1050
2021
Volltextzugriff (PDF)

Scientific programming, 2018-01, Vol.2018 (2018), p.1-42
2018
Volltextzugriff (PDF)


Erlang Code Evolution Control
Logic-Based Program Synthesis and Transformation, p.128-144
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.261-276
Volltextzugriff (PDF)

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.203-212
2011
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, 2014, Vol.8901, p.183-201
2014
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.149-163
Volltextzugriff (PDF)

Open Access
Optimal Divide and Query
Progress in Artificial Intelligence, p.224-238
Volltextzugriff (PDF)

2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET), 2016, p.1-3
2016
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.71-88
Volltextzugriff (PDF)

Perspectives of System Informatics, 2016, Vol.9609, p.36-49
2016
Volltextzugriff (PDF)


Electronic notes in theoretical computer science, 2012-05, Vol.282, p.47-60
2012
Volltextzugriff (PDF)

The journal of logic and algebraic programming, 2013-11, Vol.82 (8), p.311-325
2013
Volltextzugriff (PDF)

2017 16th International Conference on Information Technology Based Higher Education and Training (ITHET), 2017, p.1-3
2017
Volltextzugriff (PDF)

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015, p.39-44
2015
Volltextzugriff (PDF)

An algorithmic debugger for Java
2010 IEEE International Conference on Software Maintenance, 2010, p.1-6
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n