![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ulrich Neumerkel
Person information
- affiliation: TU Wien, Austria
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [i2]Ulrich Neumerkel, Stefan Kral:
Indexing dif/2. CoRR abs/1607.01590 (2016)
2000 – 2009
- 2009
- [i1]Markus Triska, Ulrich Neumerkel, Jan Wielemaker:
Better Termination for Prolog with Constraints. CoRR abs/0903.2168 (2009) - 2008
- [c19]Ulrich Neumerkel, Markus Triska, Jan Wielemaker
:
Declarative language extensions for prolog courses. FDPE@ICFP 2008: 73-78 - 2002
- [c18]Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel:
Non-Termination Inference for Optimal Termination Conditions of Logic Programs. JFPLC 2002: 87- - [c17]Ulrich Neumerkel, Stefan Kral:
Declarative program development in Prolog with GUPU. WLPE 2002: 77-86 - [c16]Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel:
Detecting Optimal Termination Conditions of Logic Programs. SAS 2002: 509-526 - 2001
- [c15]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 - [c14]Frédéric Mesnard, Ulrich Neumerkel:
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. SAS 2001: 93-110 - 2000
- [c13]Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel:
cTI: Bottom-Up Termination Inference for Logic Programs. WLP 2000: 123-134 - [c12]Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel:
Slicing zur Fehlersuche in Logikprogrammen. WLP 2000: 241-243
1990 – 1999
- 1999
- [c11]Ulrich Neumerkel, Frédéric Mesnard:
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. PPDP 1999: 328-342 - 1997
- [c10]Ulrich Neumerkel, Christoph Rettig, Christian Schallart:
Visualizing Solutions with Viewers. LPE 1997: 43-50 - [e1]Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel:
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997. 1997 [contents] - 1996
- [c9]Ulrich Neumerkel:
Interprocedural Register Allocation for the WAM based on Source to Source Transformations. JICSLP 1996: 127-141 - [c8]Ulrich Neumerkel:
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). JICSLP 1996: 549 - 1995
- [c7]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 - [c6]Ulrich Neumerkel:
Interprozedurale Registerallokation durch Quelltexttransformationen. WLP 1995: 171-178 - 1994
- [c5]Paul Tarau, Ulrich Neumerkel:
A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP 1994: 73-87 - 1993
- [c4]Ulrich Neumerkel:
Une transformation de programme basée sur la notion d'équations entre termes. JFPL 1993: 215-229 - [c3]Ulrich Neumerkel:
A Transformation Based in the Equality Between Terms. LOPSTR 1993: 162-176 - 1992
- [c2]Ulrich Neumerkel:
Pruning Infinite Failure Branches in Programs with Occur-Check. LPAR 1992: 172-177 - 1990
- [c1]Andreas Krall, Ulrich Neumerkel:
The Vienna Abstract Machine. PLILP 1990: 121-135
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint