| 2022 | ESOP | Extracting total Amb programs from proofs. | Ulrich Berger, Hideki Tsuiki |
| 2022 | ICMLA | Learning Task-independent Joint Control for Robotic Manipulators with Reinforcement Learning and Curriculum Learning. | Lars Vhrens, Daniel Dez lvarez, Ulrich Berger, Simon Bgh |
| 2020 | CiE | Prawf: An Interactive Proof System for Program Extraction. | Ulrich Berger, Olga Petrovska, Hideki Tsuiki |
| 2018 | CiE | Optimized Program Extraction for Induction and Coinduction. | Ulrich Berger, Olga Petrovska |
| 2016 | CSL | Extracting Non-Deterministic Concurrent Programs. | Ulrich Berger |
| 2016 | ETFA | Self adaptive system for flexible robot assembly operation. | Duc Tho Le, Mayur V. Andulkar, Wenchao Zou, Jost Philipp Stdter, Ulrich Berger |
| 2016 | ETFA | Increasing the flexibility of manufacturing: A service-oriented approach in automation. | Stephan Schfer, Dirk Schttke, Thomas Kmpfe, Dietrich Kronke, Ulrich Berger, Bernd Tauber |
| 2015 | ETFA | Collaborating robots in a museum environment: Modular systems for 3D documentation. | Stephan Schfer, Dirk Schttke, Thomas Kmpfe, Dominik Matura, Ulrich Berger |
| 2015 | GI | Einfluss von Industrie 4.0 auf Wertschpfungsnetze am Beispiel der Textilreinigungsbranche. | Ulrich Berger, Kornelius Wchter, Janny Klabuhn |
| 2014 | CiE | Uniform Schemata for Proof Rules. | Ulrich Berger, Tie Hou |
| 2014 | IC3K | Ontology Based Environmental Knowledge Management - A System to Support Decisions in Manufacturing Planning. | Sarfraz Ul Haque Minhas, Ulrich Berger |
| 2013 | ETFA | Milling strategies optimized for industrial robots to machine hard materials. | Marcel Halbauer, Christian Lehmann, Jost Philipp Stdter, Ulrich Berger, Francesco Leali |
| 2013 | ETFA | Technical conditions for the use of autonomous systems: A general approach on an example. | Stephan Schfer, Dirk Schttke, Thomas Kmpfe, Ulrich Berger |
| 2012 | IC3K | Development of Intelligent Assistance System to Support Eco-efficient Planning. | Sarfraz Ul Haque Minhas, Ulrich Berger |
| 2011 | CALCO | Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. | Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
| 2010 | CiE | Proofs, Programs, Processes. | Ulrich Berger, Monika Seisenberger |
| 2010 | CSCWD | Virtual robot program development for assembly processes using rigid-body simulation. | Mario Rossdeutscher, Michael Zuern, Ulrich Berger |
| 2009 | CCA | Realisability and Adequacy for (Co)induction. | Ulrich Berger |
| 2009 | CSL | From Coinductive Proofs to Exact Real Arithmetic. | Ulrich Berger |
| 2008 | ICINCO | An Approach for a Knowledge-based NC Programming System. | Ulrich Berger, Ralf Kretzschmann, Jan Noack |
| 2007 | ETFA | Development of a holistic guidance system for the NC process chain for benchmarking machining operations. | Ulrich Berger, Ralf Kretzschmann, Matthias Aner |
| 2005 | CiE | Continuous Semantics for Strong Normalization. | Ulrich Berger |
| 2005 | CSL | An Abstract Strong Normalization Theorem. | Ulrich Berger |
| 2005 | ETFA | An approach for the automatic generation of robot paths from CAD-data. | Ulrich Berger, Raffaello Lepratti, Martin May |
| 2004 | LICS | A Computational Interpretation of Open Induction. | Ulrich Berger |
| 2002 | ICARCV | Intelligent PC-based user control interface for on-line correction of robot programs. | Ulrich Berger, Raffaello Lepratti |
| 1991 | LICS | An Inverse of the Evaluation Functional for Typed lambda-calculus | Ulrich Berger, Helmut Schwichtenberg |