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: 43.

Walther, Christoph (2019):
Verified Newton-Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base.
In: ACM Transactions on Mathematical Software (TOMS), (1), 45. pp. 9⋅1-9⋅7, DOI: 10.1145/3301317,
[Article]

Walther, Christoph (2018):
Formally Verified Montgomery Multiplication.
In: 30th Intern. Conf. on Computer Aided Verification (CAV 2018), Oxford, UK, 14.-17.07., pp. 505-522, ISBN 978-3-319-96142-2,
DOI: 10.1007/978-3-319-96142-2_30,
[Online-Edition: https://link.springer.com/chapter/10.1007/978-3-319-96142-2_...],
[Conference or Workshop Item]

Walther, Christoph and Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, (2), 59. Springer, pp. 267-286, ISSN 1573-0670,
DOI: 10.1007/s10817-016-9387-z,
[Online-Edition: https://link.springer.com/article/10.1007/s10817-016-9387-z],
[Article]

Anikeev, Maxim and Madlener, Felix and Schlosser, Andreas and Huss, Sorin and Walther, Christoph (2010):
Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
In: Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010), Kazan, Russia, June 14-15, 2010, pp. 95-101, [Conference or Workshop Item]

Schlosser, A. and Walther, Christoph and Gonder, M. and Aderhold, Markus (2007):
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science, (7), 174. pp. 61-78, ISSN 1571-0661,
DOI: 10.1016/j.entcs.2006.10.038,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S157106610...],
[Article]

Anikeev, Maxim and Madlener, Felix and Schlosser, Andreas and Huss, Sorin A. and Walther, Christoph (2007):
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
In: Information Security: Proceedings of the IX. International Conference, January 2007, [Conference or Workshop Item]

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus (2007):
Context Dependent Procedures and Computed Types in VeriFun.
In: Proceedings of the 1st Workshop "Programming Languages meet Program Verification" : 2007 ; Elsevier ; 61-78, [Book Section]

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus (2006):
Axiomatic Specifications in VeriFun.
In: Third Verification Workshop <Seattle (WA), USA,2006>, [Conference or Workshop Item]

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus (2006):
Axiomatic specification in VeriFun.
In: Proceedings of the 6th Verification Workshop (VERIFY-06) Federated Logic Conference, Eds.:. Serge Autexier and Heiko Mantel, S. 146-163, Seattle, WA, 2006., [Conference or Workshop Item]

Schlosser, Andreas and Walther, Christoph and Gonder, Michael and Aderhold, Markus (2006):
Context Dependent Procedures and Computed Types in VeriFun.
In: Programming Languages meets Program Verification (PLPV 2006): A workshop affiliated with IJCAR 2006, Seattle, USA, 21.08.2006, [Online-Edition: http://homepage.divms.uiowa.edu/~astump/plpv/plpv06/],
[Conference or Workshop Item]

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas (2006):
A Fast Disprover for VeriFun.
In: Proceedings Workshop on Non-Theorems, Non-Validity, Non-Provability (DISPROVING-06) Eds.: Wolfgang Ahrendt ; Peter Baumgartner ; Hans de Nivelle, Federated Logic Conference, Seattle, USA, pp. 59-69, [Conference or Workshop Item]

Walther, Christoph and Aderhold, Markus and Schlosser, Andreas (2006):
The L 1.0 Primer.
VFR06/01TU Darmstadt, [Report]

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):
Automated termination analysis for imcompletely defined programs.
04/03Darmstadt, TUD, FB 20 Programmiermethodik, [Book]

Walther, Christoph (2004):
Improvements of the estimation calculus.
04/01Darmstadt, TUD, FB 20, Programmiermethodik, [Book]

Walther, Christoph and Schweitzer, Stephan (2004):
Reasoning about incompletely defined programs.
04/02Darmstadt, TUD, FB 20, Programmiermethodik, [Book]

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., pp. 322-327, [Conference or Workshop Item]

Walther, Christoph (2003):
Concept Formation.
In: 19th International Conference on Automated Deduction (CADE-19)-Workshop on Challenges and Novel Applications for Automated Reasoning, Miami Beach, USA, 28.07.2003, [Conference or Workshop Item]

Walther, Christoph and Schweitzer, Stephan (2003):
A machine-verified code generator.
03-01Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

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):
The VeriFun tutorial.
02-04Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

Walther, Christoph and Schweitzer, Stephan (2002):
VeriFun user guide.
02-01Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

Walther, Christoph (2002):
Verification in the classroom.
02-05Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

Walther, Christoph and Schweitzer, Stephan (2002):
A machine supported proof of the unique prime factorization theorem.
02-03Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

Walther, Christoph and Schweitzer, Stephan (2002):
A verification of binary search.
02-02Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, [Book]

Walther, Christoph (2002):
Programmiermethodik.
In: 30 Jahre Informatik an deutschen Hochschulen, Darmstadt, Techn. Univ., p. 100, [Book Section]

Walther, Christoph (2001):
Semantik und Programmverifikation.
In: Teubner-Texte zur Informatik, 1. Auflage,
Stuttgart [u.a.], Teubner, ISBN 978-3-322-86768-1,
[Online-Edition: https://www.springer.com/br/book/9783519003366],
[Book]

Walther, Christoph and Kolbe, T. (2000):
On terminating lemma speculations.
In: Information and computation, (1-2), 162. pp. 96-116, ISSN 0890-5401,
DOI: 10.1006/inco.1999.2859,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S089054019...],
[Article]

Walther, Christoph and Kolbe, T. (2000):
Proving theorems by reuse.
In: Artificial Intelligence, (1-2), 116. Elsevier, pp. 17-66, ISSN 0004-3702,
DOI: 10.1016/S0004-3702(99)00096-X,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S000437029...],
[Article]

Walther, Christoph Hölldobler, S. (ed.) (2000):
Criteria for termination.
In: Intellectics and computational logic: Papers in honor of Wolfgang Bibel, Dordrecht (u.a.), Kluwer Academic, pp. 361-386, [Book Section]

Kolbe, Thomas and Walther, Christoph Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications, Dordrecht, Kluwer Acad. Publ, pp. 189-219, [Book Section]

Giesl, Jürgen and Walther, Christoph and Brauburger, J. Bibel, Wolfgang (ed.) (1998):
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Bd. 3, Dordrecht, Kluwer Acad. Publ, pp. 135-164, [Book Section]

Kolbe, Thomas and Walther, Christoph (1996):
Termination of theorem proving by reuse.
In: 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, 30.07.-03.08.1996, pp. 106-120, [Conference or Workshop Item]

Walther, Christoph Görz, Günther (ed.) (1995):
Automatisches Beweisen.
In: Einführung in die Künstliche Intelligenz, 2. Aufl,
Bonn, Addison-Wesley, pp. 203-241, [Book Section]

Kolbe, Thomas and Walther, Christoph (1995):
Adaption of Proofs for Reuse.
In: 1995 Fall Symposium Adaptation of Knowledge for Reuse, Cambridge, USA, 10.-12.11., [Online-Edition: https://aaai.org/Library/Symposia/Fall/fs95-04.php],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Proof management and retrieval.
In: 14th International Joint Conference on Artificial Intelligence - Workshop for Formal Approaches to the Reuse of Plans, Proofs and Programs, Montreal, Canada, 20.-25.08.1995, [Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Second-Order Matching modulo Evaluation: A technique for Reusing Proofs.
In: 14th International Joint Conference on Artificial Intelligence (IJCAI '95), Montreal, Canada, 20.-25.08.1995, pp. 190-195, [Online-Edition: https://www.ijcai.org/Proceedings/1995-1],
[Conference or Workshop Item]

Walther, Christoph (1994):
On Proving the Termination of Algorithms by Machine.
In: Artificial Intelligence, (1), 71. Elsevier, pp. 101-157, DOI: 10.1016/0004-3702(94)90063-9,
[Online-Edition: https://www.sciencedirect.com/science/article/abs/pii/000437...],
[Article]

Kolbe, Thomas and Walther, Christoph (1994):
Reusing Proofs.
In: ECAI'94: 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, 08.-12.08., pp. 80-84, [Conference or Workshop Item]

Walther, Christoph Gabbay, D. M. and Hogger, C. J. and Robinson, J. A. (eds.) (1994):
Mathematical Induction.
In: Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2: Deduction Methodologies, Oxford, Oxford University Press, pp. 127-228, [Online-Edition: https://global.oup.com/academic/product/handbook-of-logic-in...],
[Book Section]

Walther, Christoph Shapiro, Stuart S. (ed.) (1992):
Mathematical Induction.
In: Encyclopedia of Artificial Intelligence-Volume 2, New York, John Wiley and Sons, pp. 668-672, [Book Section]

This list was generated on Tue Jul 14 02:19:59 2020 CEST.