Ulrich Neumerkel

	2009
20		Markus Triska, Ulrich Neumerkel, Jan Wielemaker: Better Termination for Prolog with Constraints CoRR abs/0903.2168: (2009)
	2002
19		Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel: Non-Termination Inference for Optimal Termination Conditions of Logic Programs. JFPLC 2002: 87-
18		Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel: Detecting Optimal Termination Conditions of Logic Programs. SAS 2002: 509-526
17		Ulrich Neumerkel, Stefan Kral: Declarative program development in Prolog with GUPU. WLPE 2002: 77-86
16		Ulrich Neumerkel, Stefan Kral: Declarative program development in Prolog with GUPU CoRR cs.SE/0207044: (2002)
	2001
15		Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet: cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. JFPLC 2001: 271-286
14		Frédéric Mesnard, Ulrich Neumerkel: Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. SAS 2001: 93-110
	2000
13		Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel: cTI: Bottom-Up Termination Inference for Logic Programs. 15. WLP 2000: 123-134
12		Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel: Slicing zur Fehlersuche in Logikprogrammen. WLP 2000: 241-243
	1999
11		Ulrich Neumerkel, Frédéric Mesnard: Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. PPDP 1999: 328-342
	1997
10		Ulrich Neumerkel, Christoph Rettig, Christian Schallart: Visualizing Solutions with Viewers. LPE 1997: 43-50
	1996
9		Ulrich Neumerkel: Interprocedural Register Allocation for the WAM based on Source to Source Transformations. JICSLP 1996: 127-141
8		Ulrich Neumerkel: GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). JICSLP 1996: 549
	1995
7		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: 136-145
6		Ulrich Neumerkel: Interprozedurale Registerallokation durch Quelltexttransformationen. WLP 1995: 171-178
	1994
5		Paul Tarau, Ulrich Neumerkel: A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP 1994: 73-87
	1993
4		Ulrich Neumerkel: Une transformation de programme basée sur la notion d'équations entre termes. JFPL 1993: 215-229
3		Ulrich Neumerkel: A Transformation Based in the Equality Between Terms. LOPSTR 1993: 162-176
	1992
2		Ulrich Neumerkel: Pruning Infinite Failure Branches in Programs with Occur-Check. LPAR 1992: 172-177
	1990
1		Andreas Krall, Ulrich Neumerkel: The Vienna Abstract Machine. PLILP 1990: 121-135

Coauthor Index

1	Serge Burckel	[13]
2	Sébastien Hoarau	[13]
3	Stefan Kral	[12] [16] [17]
4	Andreas Krall	[1]
5	Teresita Krueger	[7]
6	George Kurian	[7]
7	Frédéric Mesnard	[11] [12] [13] [14] [15] [18] [19]
8	Anil Nair	[7]
9	Gustaf Neumann	[7]
10	Stefan Nusser	[7]
11	Étienne Payet	[15] [18] [19]
12	Peter B. Reintjes	[7]
13	Christoph Rettig	[10]
14	Christian Schallart	[10]
15	Paul Tarau	[5]
16	Andrew Taylor	[7]
17	Markus Triska	[20]
18	Daphne Tzoar	[7]
19	Adrian Walker	[7]
20	Jan Wielemaker	[20]

Colors in the list of coauthors