| 2026 | COMPSAC | KiMeKo: A Collaborative AI Platform for Medical Device Development. | Serge Autexier, Nihat Ay, Stefan Fischer, Lars Kaderali, Thomas Kirste, Martin Leucker, Christoph Lth, Thomas Martinetz, Philipp Rostalski, Alexander Schlaefer, Frank ckert |
| 2024 | ISoLA | On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice. | Serge Autexier |
| 2022 | ADBIS | AI Approaches in Processing and Using Data in Personalized Medicine. | Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis |
| 2022 | ICMLA | Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models. | Johannes Rust, Serge Autexier |
| 2022 | RO-MAN | Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment. | Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier, Tim Schwartz, Ivana Kruijff-Korbayov |
| 2021 | MEDES | Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients. | Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis |
| 2020 | SIGCSE | Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes. | Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler |
| 2019 | ICSE | Look what I can do: acquisition of programming skills in the context of living labs. | Mazyar Seraj, Cornelia S. Groe, Serge Autexier, Rolf Drechsler |
| 2018 | NordiCHI | BEESM, a block-based educational programming tool for end users. | Mazyar Seraj, Serge Autexier, Jan Janssen |
| 2016 | ICOST | People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras. | Christian Mandel, Serge Autexier |
| 2015 | LOPSTR | SHIP - A Logic-Based Language and Tool to Program Smart Environments. | Serge Autexier, Dieter Hutter |
| 2012 | ISoLA | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2010 | DocEng | Semantics-based change impact analysis for heterogeneous collections of documents. | Serge Autexier, Normen Mller |
| 2010 | IFM | Adding Change Impact Analysis to the Formal Verification of C Programs. | Serge Autexier, Christoph Lth |
| 2010 | ITP | A Tactic Language for Declarative Proofs. | Serge Autexier, Dominik Dietrich |
| 2009 | KI | Atomic Metadeduction. | Serge Autexier, Dominik Dietrich |
| 2007 | KI | Deep Inference for Automated Proof Tutoring? | Christoph Benzmller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier |
| 2006 | CADE | The MathServe System for Semantic Web Reasoning Services. | Jrgen Zimmer, Serge Autexier |
| 2005 | CADE | The CoRe Calculus. | Serge Autexier |
| 2005 | TABLEAUX | On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. | Serge Autexier |
| 2003 | IJCAI | Assertion Application in Theorem Proving and Proof Planning. | Quoc Bao Vo, Christoph Benzmller, Serge Autexier |
| 2003 | LPAR | Disproving False Conjectures. | Serge Autexier, Carsten Schrmann |
| 2002 | LPAR | Maintenance of Formal Software Developments by Stratified Verification. | Serge Autexier, Dieter Hutter |
| 2001 | FASE | Extending Development Graphs with Hiding. | Till Mossakowski, Serge Autexier, Dieter Hutter |
| 1999 | CADE | System Description: inka 5.0 - A Logic Voyager. | Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
| 1998 | KI | Simultaneous Quantifier Elimination. | Serge Autexier, Heiko Mantel, Werner Stephan |