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. C. Schneider. Multi-Summation in Difference Fields. 2007. Habilitation, [bib]
2. C. Schneider. 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]
3. C. Schneider. 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]