Ulrich Neumerkel

Ass.Prof. Dipl.-Ing. Dr.techn.

Research Areas

  • programming languages, Logic Programming
Ulrich Neumerkel

Roles

  • Monotone bedingte Verzweigungen in Logikprogrammen / U. Neumerkel, St. Kral / Talk: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; 2015-10-04 - 2015-10-07; in: "Programmiersprachen und Grundlagen der Programmierung", Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2015-IX-1 (2015), 427 - 436
  • Systematisches Testen eines Constraint-Systems / U. Neumerkel / ZIDline, 19 (2008), 19; 30 - 31
  • A Generalised Finite Domain Constraint Solver for SWI-Prolog / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 22nd Workshop on (Constraint) Logic Programming, Dresden; 2008-09-30 - 2008-10-01; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 pages
  • Precise Garbage Collection in Prolog / J. Wielemaker, U. Neumerkel / Talk: Colloquium on Implementation of Constraint and LOgic Programming System, Udine, Italy; 2008-12-12 - 2008-12-13; in: "Proceedings of the 2008 Colloquium on Implementation of Constraint and LOgic Programming Systems", (2008), Paper ID 9, 15 pages
  • Declarative language extensions for prolog courses / U. Neumerkel, M. Triska, J. Wielemaker / Talk: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 2008-09-21; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; 73 - 77
  • Better Termination for Prolog with Constraints / M. Triska, U. Neumerkel, J. Wielemaker / Talk: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 2008-12-12; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (ed.); (2008), 90 - 96
  • Non-termination inference for optimal termination conditions of logic programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: Onzèmes Journèes Francophones de Programmation Logique, Paris; 2002-05-27 - 2002-05-29; in: " Onzèmes Journèes Francophones de Programmation Logique et Programmation par Constraints (JFPLC`02)", Hermes Science Publications, Paris (2002), ISBN: 2-7462-0477-0; 87 - 104
  • Detecting Optimal Termination Conditions of Logic Programs / F. Mesnard, E. Payet, U. Neumerkel / Talk: 9th International Symposium on Static Analysis, SAS 2002, Madrid; 2002-09-17 - 2002-09-20; in: "Static Analysis ", G. Goos, J. Hartmanis, J. van Leeuwen (ed.); Lecture Notes in Computer Science/Springer, 2477/Berlin (2002), ISBN: 3-540-44235-9; 509 - 525
  • Declarative program development in Prolog with GUPU / U. Neumerkel / Talk: 12th International Workshop on Logic Programming Environments, Copenhagen; 2002-07-29 - 2002-08-01; in: "WLPE 2002: Logic Programming Environments", (2002), 77 - 86