| 2018 | CHI | What Makes an Automated Vehicle a Good Driver? | Nina Kauffmann, Franz Winkler, Mark Vollrath |
| 2015 | CASC | Algebraic General Solutions of First Order Algebraic ODEs. | Ngoc Thieu Vo, Franz Winkler |
| 2014 | CASC | On Symbolic Solutions of Algebraic Partial Differential Equations. | Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler |
| 2011 | SYNASC | What can Symbolic Computation Contribute to Mathematics? | Franz Winkler |
| 2007 | CASC | A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. | Ekaterina Shemyakova, Franz Winkler |
| 2007 | CASC | Symbolic and Algebraic Methods for Linear Partial Differential Operators. | Franz Winkler, Ekaterina Shemyakova |
| 2006 | ISSAC | Grbner bases in difference-differential modules. | Meng Zhou, Franz Winkler |
| 2005 | CAV | Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. | Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra |
| 2001 | ISSAC | Computation of the degree of rational maps between curves. | J. Rafael Sendra, Franz Winkler |
| 2000 | EuroPar | On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). | Wolfgang Schreiner, Christian Mittermaier, Franz Winkler |
| 2000 | ISSAC | Symbolic parametrization of pipe and canal surfaces. | Gnter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter |
| 1998 | AISC | Real Parametrization of Algebraic Curves. | J. Rafael Sendra, Franz Winkler |
| 1991 | ISSAC | CASA: A Computer Algebra Package for Constructive Algebraic Geometry. | R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler |
| 1989 | ISSAC | Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. | Franz Winkler |
| 1988 | ISSAC | A Geometrical Decision Algorithm Based on the Grbner Bases Algorithm. | Franz Winkler |