Ulrich Neumerkel

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 1

Top Topics

Indexing Methods

Storage And Retrieval

Geometric Hashing

Content Based Indexing

Top Venues

Publications

Ulrich Neumerkel, Stefan Kral
Indexing dif/2. CoRR (2016)
Markus Triska, Ulrich Neumerkel, Jan Wielemaker
Better Termination for Prolog with Constraints CoRR (2009)
Ulrich Neumerkel, Markus Triska, Jan Wielemaker
Declarative language extensions for prolog courses. FDPE@ICFP (2008)
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
Non-Termination Inference for Optimal Termination Conditions of Logic Programs. JFPLC (2002)
Ulrich Neumerkel, Stefan Kral
Declarative program development in Prolog with GUPU. WLPE (2002)
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
Detecting Optimal Termination Conditions of Logic Programs. SAS (2002)
Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. JFPLC (2001)
Frédéric Mesnard, Ulrich Neumerkel
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. SAS (2001)
Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel
Slicing zur Fehlersuche in Logikprogrammen. WLP (2000)
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
cTI: Bottom-Up Termination Inference for Logic Programs. WLP (2000)
Ulrich Neumerkel, Frédéric Mesnard
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. PPDP (1999)
Ulrich Neumerkel, Christoph Rettig, Christian Schallart
Visualizing Solutions with Viewers. LPE (1997)
Ulrich Neumerkel
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). JICSLP (1996)
Ulrich Neumerkel
Interprocedural Register Allocation for the WAM based on Source to Source Transformations. JICSLP (1996)
Teresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker
People Oriented Software Technology, and its Use in Environmental Reporting DEXA (1995)
Ulrich Neumerkel
Interprozedurale Registerallokation durch Quelltexttransformationen. WLP (1995)
Paul Tarau, Ulrich Neumerkel
A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP (1994)
Ulrich Neumerkel
A Transformation Based in the Equality Between Terms. LOPSTR (1993)
Ulrich Neumerkel
Une transformation de programme basée sur la notion d'équations entre termes. JFPL (1993)
Ulrich Neumerkel
Pruning Infinite Failure Branches in Programs with Occur-Check. LPAR (1992)
Andreas Krall, Ulrich Neumerkel
The Vienna Abstract Machine. PLILP (1990)