Univ.-Prof. Dr. Carsten Schneider
Johannes Kepler University Linz RISC - Research Institute for Symbolic Computation Carsten.Schneider@risc.jku.at (Tel: +43 732 2468 9966) |
Publications
Note: Further information can be found, e.g., on MathSciNet, Google Scholar, ResearchGate, zbMath, Web of Science, Scopus, Inspire, or ORCID.
Type: | [any] [Papers] [Theses] [Technical Reports] [Other] |
Year: | [any] [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [earlier] |
1. | Multi-Summation in Difference Fields. 2007. Habilitation, [bib] |
1. | Symbolic Summation in Difference Fields. RISC, J. Kepler University Linz. PhD Thesis. May 2001. (published as Technical report no. 01-17 in RISC Report Series.). [ps] [pdf] [bib] |
1. | Implementierung von Automaten-Algorithmen mit Hilfe von binären Entscheidungsdiagrammen. Lehrstuhl für Künstliche Intelligenz (Informatik VIII), Friedrich Alexander Universität Erlangen-Nürnberg. Diploma Thesis. 1997. (Engl. translation: Implementation of Algorithms for Automatons with Binary Decision Diagrams - BDD). Diploma Thesis. [ps] [pdf] [bib] |