Skip to content
cs-conference-ranking.org

Ulrich Neumerkel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

7

Active years

1992–2008

Best venue rank

B

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2008ICFPDeclarative language extensions for prolog courses.Ulrich Neumerkel, Markus Triska, Jan Wielemaker
2002SASDetecting Optimal Termination Conditions of Logic Programs.Frdric Mesnard, tienne Payet, Ulrich Neumerkel
2001SASApplying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.Frdric Mesnard, Ulrich Neumerkel
1999PPDPLocalizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.Ulrich Neumerkel, Frdric Mesnard
1996ICLPInterprocedural Register Allocation for the WAM based on Source to Source Transformations.Ulrich Neumerkel
1996ICLPGUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract).Ulrich Neumerkel
1995DEXAPeople Oriented Software Technology, and its Use in Environmental ReportingTeresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker
1993LOPSTRA Transformation Based in the Equality Between Terms.Ulrich Neumerkel
1992LPARPruning Infinite Failure Branches in Programs with Occur-Check.Ulrich Neumerkel