2023W

• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Logic programming and constraints / 185.A12 / VU

2024S

• Advanced logic programming / 185.A25 / VU
• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Introduction to Programming 2 / 185.A92 / VU
• Logic programming and constraints / 185.A12 / VU

• Monotone bedingte Verzweigungen in Logikprogrammen / Neumerkel, U., & Kral, S. (2015). Monotone bedingte Verzweigungen in Logikprogrammen. In Programmiersprachen und Grundlagen der Programmierung (pp. 427–436). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/56435
• A Generalised Finite Domain Constraint Solver for SWI-Prolog / Triska, M., Neumerkel, U., & Wielemaker, J. (2008). A Generalised Finite Domain Constraint Solver for SWI-Prolog. In 22nd Workshop on (Constraint) Logic Programming (p. 89). Technical Report, University Halle-Wittenberg, Institute of Computer Science. http://hdl.handle.net/20.500.12708/52524
• Systematisches Testen eines Constraint-Systems / Neumerkel, U. (2008). Systematisches Testen eines Constraint-Systems. ZIDline, 19(19), 30–31. http://hdl.handle.net/20.500.12708/170919
• Better Termination for Prolog with Constraints / Triska, M., Neumerkel, U., & Wielemaker, J. (2008). Better Termination for Prolog with Constraints. In P. Arenas & D. Zanardini (Eds.), 18th Workshop on Logic-based methods in Programming Environments (WLPE’08) (pp. 90–96). http://hdl.handle.net/20.500.12708/52525
• Precise Garbage Collection in Prolog / Wielemaker, J., & Neumerkel, U. (2008). Precise Garbage Collection in Prolog. In Proceedings of the 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems (p. 15). http://hdl.handle.net/20.500.12708/52523
• Declarative language extensions for prolog courses / Neumerkel, U., Triska, M., & Wielemaker, J. (2008). Declarative language extensions for prolog courses. In Proceedings of the 2008 international workshop on Functional and declarative programming in education - FDPE ’08. International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada, Non-EU. ACM Press. https://doi.org/10.1145/1411260.1411271

• Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net / Seidl, M. (2003). Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183017