`Travelled to:`

1 × Belgium

1 × Germany

1 × Sweden

2 × France

2 × Spain

`Collaborated with:`

F.Mesnard ∅ P.Tarau A.Krall É.Payet

`Talks about:`

program (3) termin (3) logic (3) transform (2) condit (2) sourc (2) term (2) base (2) wam (2) interprocedur (1)

## Person: Ulrich Neumerkel

### DBLP: Neumerkel:Ulrich

### Contributed to:

### Wrote 8 papers:

- SAS-2002-MesnardPN #detection #logic programming #source code #termination
- Detecting Optimal Termination Conditions of Logic Programs (FM, ÉP, UN), pp. 509–526.
- SAS-2001-MesnardN #logic programming #source code #static analysis #termination
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
- PPDP-1999-NeumerkelM #logic programming #source code
- Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
- JICSLP-1996-Neumerkel #interprocedural #text-to-text
- Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.
- PLILP-1994-TarauN #data transformation #novel #representation
- A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.
- LOPSTR-1993-Neumerkel #similarity
- A Transformation Based in the Equality Between Terms (UN), pp. 162–176.
- PLILP-1990-KrallN #automaton
- The Vienna Abstract Machine (AK, UN), pp. 121–135.