TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Walther, Christoph and Schweitzer, Stephan (2005):
Automated termination analysis for incompletely defined programs.
In: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Montevideo, Uruguay, 14.-18.03.2005, pp. 332-346, [Online-Edition: https://link.springer.com/chapter/10.1007/978-3-540-32275-7_...],
[Conference or Workshop Item]

Walther, Christoph and Schweitzer, Stephan (2005):
Reasoning about incompletely defined programs.
In: 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), Montego Bay, Jamaica, 02.-06.12., pp. 427-442, ISSN 978-3-540-30553-8,
DOI: 10.1007/11591191_30,
[Online-Edition: https://link.springer.com/chapter/10.1007/11591191_30],
[Conference or Workshop Item]

Walther, Christoph and Schweitzer, Stephan (2004):
Verification in the classroom.
In: Journal of Automated Reasoning, (1), 32. pp. 35-73, ISSN 0168-7433,
DOI: 10.1023/B:JARS.0000021872.64036.41,
[Online-Edition: https://link.springer.com/article/10.1023/B%3AJARS.000002187...],
[Article]

Walther, Christoph and Schweitzer, Stephan (2003):
About VeriFun.
In: 19th International Conference on Automated Deduction (CADE-19), Miami Beach, USA, 28.07.-02.08.2003, pp. 322-327, DOI: 10.1007/978-3-540-45085-6_28,
[Conference or Workshop Item]

Walther, Christoph and Schweitzer, Stephan (2003):
A Machine-Verified Code Generator.
In: 10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10), Almaty, Kazakhstan, 22.-26. Sept., 2003, pp. 91-106, ISBN 978-3-540-20101-4,
DOI: 10.1007/978-3-540-39813-4_6,
[Conference or Workshop Item]

Walther, Christoph and Schweitzer, Stephan (2002):
VeriFun user guide.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/01, [Online-Edition: https://www.inferenzsysteme.informatik.tu-darmstadt.de/media...],
[Report]

Walther, Christoph and Schweitzer, Stephan (2002):
The VeriFun tutorial.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/04, [Online-Edition: https://www.researchgate.net/publication/319393741_The_VeriF...],
[Report]

Walther, Christoph and Schweitzer, Stephan (2002):
A machine supported proof of the unique prime factorization theorem.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/03, [Online-Edition: https://www.researchgate.net/publication/244957961_A_Machine...],
[Report]

Walther, Christoph and Schweitzer, Stephan (2002):
A verification of binary search.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/02, [Online-Edition: https://www.researchgate.net/publication/238170147_A_Verific...],
[Report]

This list was generated on Tue Aug 11 02:07:05 2020 CEST.