The Vienna Abstract Machine. - Andreas Krall; Ulrich Neumerkel (PLILP, 1990)

Pruning Infinite Failure Branches in Programs with Occur-Check. - Ulrich Neumerkel (LPAR, 1992)

Une transformation de programme basée sur la notion d'équations entre termes. - Ulrich Neumerkel (JFPL, 1993)

A Transformation Based in the Equality Between Terms. - Ulrich Neumerkel (LOPSTR, 1993)

A Novel Term Compression Scheme and Data Representation in the BinWAM. - Paul Tarau; Ulrich Neumerkel (PLILP, 1994)

People Oriented Software Technology, and its Use in Environmental Reporting - Teresita Krueger; George Kurian; Anil Nair; Gustaf Neumann; Ulrich Neumerkel; Stefan Nusser; Peter B. Reintjes; Andrew Taylor; Daphne Tzoar; Adrian Walker (DEXA, 1995)

Interprozedurale Registerallokation durch Quelltexttransformationen. - Ulrich Neumerkel (WLP, 1995)

Interprocedural Register Allocation for the WAM based on Source to Source Transformations. - Ulrich Neumerkel (JICSLP, 1996)

GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). - Ulrich Neumerkel (JICSLP, 1996)

Visualizing Solutions with Viewers. - Ulrich Neumerkel; Christoph Rettig; Christian Schallart (LPE, 1997)

Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. - Ulrich Neumerkel; Frédéric Mesnard (PPDP, 1999)

cTI: Bottom-Up Termination Inference for Logic Programs. - Serge Burckel; Sébastien Hoarau; Frédéric Mesnard; Ulrich Neumerkel (WLP, 2000)

Slicing zur Fehlersuche in Logikprogrammen. - Stefan Kral; Frédéric Mesnard; Ulrich Neumerkel (WLP, 2000)

cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. - Frédéric Mesnard; Ulrich Neumerkel; Étienne Payet (JFPLC, 2001)

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. - Frédéric Mesnard; Ulrich Neumerkel (SAS, 2001)

Non-Termination Inference for Optimal Termination Conditions of Logic Programs. - Frédéric Mesnard; Étienne Payet; Ulrich Neumerkel (JFPLC, 2002)

Declarative program development in Prolog with GUPU. - Ulrich Neumerkel; Stefan Kral (WLPE, 2002)

Detecting Optimal Termination Conditions of Logic Programs. - Frédéric Mesnard; Étienne Payet; Ulrich Neumerkel (SAS, 2002)

Declarative language extensions for prolog courses. - Ulrich Neumerkel; Markus Triska; Jan Wielemaker (FDPE@ICFP, 2008)

Better Termination for Prolog with Constraints - Markus Triska; Ulrich Neumerkel; Jan Wielemaker (CoRR, 2009)

Indexing dif/2. - Ulrich Neumerkel; Stefan Kral (CoRR, 2016)