TU Darmstadt / ULB / TUbiblio

Items in division

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | G | K | S | W
Number of items at this level (without sub-levels): 45.

A

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]

Aderhold, Markus Axel (2009):
Verification of second-order functional programs.
Darmstadt, Technische Universität, TU Darmstadt, [Ph.D. Thesis]

Aderhold, Markus Axel (2009):
Verification of Second-Order Functional Programs.
Darmstadt, Technische Universität, Technische Universität Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-18652],
[Ph.D. Thesis]

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, [Online-Edition: https://www.researchgate.net/publication/260205486_Automated...],
[Conference or Workshop Item]

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas (2006):
A Fast Disprover for VeriFun.
In: IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability, Seattle, USA, 10. - 22.08.2006, pp. 59-69, [Online-Edition: https://www.researchgate.net/publication/249902075_A_Fast_Di...],
[Conference or Workshop Item]

B

Bradler, Dirk and Krumov, Lachezar and Kangasharju, Jussi and Weihe, Karsten and Mühlhäuser, Max (2010):
PathFinder: Efficient Lookups and Efficient Search in Peer-to-Peer Networks.
[Report]

G

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, DOI: 10.1007/978-94-017-0437-3,
[Book Section]

K

Katz, Shmuel and Mezini, Mira and Kienzle, Jörg A Common Case Study for Aspect-Oriented Modeling.
In: Transactions on Aspect-Oriented Software Development VII, 6210Springer, [Article]

Kolbe, Thomas and Walther, Christoph Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications. Bd.2, Dordrecht, Kluwer Acad. Publ, pp. 189-219, DOI: 10.1007/978-94-017-0435-9,
[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, DOI: 10.1007/3-540-61511-3_72,
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1996):
Proving theorems by mimicking a human's skill.
In: The 1996 AAAI Spring Symposium, Palo Alto, USA, 25.–27.03, pp. 50-56, [Online-Edition: https://www.aaai.org/Library/Symposia/Spring/ss96-02.php],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Second-Order Matching modulo Evaluation: A technique for Reusing Proofs.
In: IJCAI '95: 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, 20.-25.08.1995, pp. 190-195, [Online-Edition: https://www.ijcai.org/Proceedings/1995-1],
[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, [Online-Edition: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48....],
[Conference or Workshop Item]

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):
Patching proofs for reuse.
In: ECML'95: 8th European Conference on Machine Learning, Heraclion, Greece, 25. - 27.04., pp. 303-306, [Online-Edition: https://www.springer.com/de/book/9783540592860],
[Conference or Workshop Item]

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, [Online-Edition: https://www.semanticscholar.org/paper/Reusing-Proofs-Kolbe-W...],
[Conference or Workshop Item]

S

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]

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

Schlosser, Andreas and Walther, Christoph and Aderhold, Markus (2006):
Axiomatic specification in VeriFun.
In: IJCAR’06-Workshop Verification Workshop (VERIFY-06), Seattle, USA, August 2006, pp. 146-163, [Online-Edition: https://www.researchgate.net/publication/252264225_Axiomatic...],
[Conference or Workshop Item]

W

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):
A Machine Assisted Proof of the Chinese Remainder Theorem.
In: VeriFun Reports, Darmstadt, Technische Universität, VFR 18/03, [Online-Edition: https://www.researchgate.net/publication/329686650_A_Machine...],
[Report]

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]

Walther, Christoph (2006):
A Pragmatic Approach to Equality Reasoning.
In: VeriFun Reports, Darmstadt, Technische Universität, VFR 06/02, [Online-Edition: https://www.researchgate.net/publication/254750618_A_Pragmat...],
[Report]

Walther, Christoph and Aderhold, Markus and Schlosser, Andreas (2006):
The L 1.0 Primer.
VFR06/01TU Darmstadt, [Online-Edition: https://www.researchgate.net/publication/267848794_The_L_10_...],
[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):
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):
A verification of binary search.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/02, [Online-Edition: https://www.researchgate.net/publication/238170147_A_Verific...],
[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 (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, Thomas (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, Thomas (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, DOI: 10.1007/978-94-015-9383-0,
[Book Section]

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, [Online-Edition: https://www.researchgate.net/publication/342902280_Automatis...],
[Book Section]

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]

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 Bajcsy, Ruzena (ed.) (1993):
Combining Induction Axioms by Machine.
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-13), Chambery, France, 28.08.- 03.09.1993, pp. 95-101, ISBN 1-55860-300-X,
[Online-Edition: https://www.ijcai.org/Proceedings/93-1/Papers/014.pdf],
[Conference or Workshop Item]

Walther, Christoph Voronkov, Andrei (ed.) (1992):
Computing Induction Axioms.
Springer, In: Proc. of the Inter. Conf. on Logic Programming and Automated Reasoning (LPAR-1992), St. Petersburg, Russia, 15.-20.07.1992, pp. 381-392, ISSN 978-3-540-55727-2, e-ISSN 978-3-540-47279-7,
DOI: 10.1007/BFb0013076,
[Conference or Workshop Item]

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 Sun Sep 27 01:36:55 2020 CEST.