Franz Winkler

MathSciNet


Ph.D. Johannes Kepler Universität Linz 1984 Austria
Dissertation: The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

Advisor: Bruno Buchberger

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Aistleitner, ChristianJohannes Kepler Universität Linz2010
Athale, RahulJohannes Kepler Universität Linz2005
Bikker, PietJohannes Kepler Universität Linz2001
Dönch, ChristianJohannes Kepler Universität Linz2012
Falkensteiner, SebastianJohannes Kepler Universität Linz2020
Fuerst, ChristophJohannes Kepler Universität Linz2017
Grasegger, GeorgJohannes Kepler Universität Linz2015
Gu, HongJohannes Kepler Universität Linz2003
Hemmecke, RalfJohannes Kepler Universität Linz2003
Hillgarter, ErikJohannes Kepler Universität Linz2003
Huang, YanliJohannes Kepler Universität Linz and Beihang University2012
Kondratyev, AlekseyJohannes Kepler Universität Linz2003
Li, ZimingJohannes Kepler Universität Linz19965
Lopez Diaz, GlaucoJohannes Kepler Universität Linz2006
Middeke, JohannesJohannes Kepler Universität Linz2011
Mnuk, MichalJohannes Kepler Universität Linz1995
Nabeshima, KatsusukeJohannes Kepler Universität Linz2007
Ngo, Lam Xuan ChauJohannes Kepler Universität Linz2011
Roda, GiovannaJohannes Kepler Universität Linz2004
Sendra, Juan RafaelUniversidad de Alcalá199010
Shemyakova, EkaterinaResearch Institute for Symbolic Computation (RISC), Linz2007
Stadelmeyer, PeterJohannes Kepler Universität Linz2000
Tran, Quoc-NamJohannes Kepler Universität Linz1996
Vo, Ngoc ThieuJohannes Kepler Universität Linz2016
Wall, BernhardJohannes Kepler Universität Linz1993

According to our current on-line database, Franz Winkler has 25 students and 37 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 18957 for the advisor ID.