TU Wien Informatics

Role

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • 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
  • 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
  • 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
  • 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
  • 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
  • Systematisches Testen eines Constraint-Systems / U. Neumerkel / ZIDline, 19 (2008), 19; 30 - 31
  • 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
  • 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