| 2026 | TEI | Variations on a TEI token: iterations toward tangibles for engaging large document corpora. | Brygg Ullmer, Sida Dai, Ali Mazalek, Johannes Schmidt, Miriam K. Konkel |
| 2025 | ICDT | Learning Tree Pattern Transformations. | Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume |
| 2025 | IJCAI | A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds. | Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt |
| 2024 | IJCAI | Quantitative Claim-Centric Reasoning in Logic-Based Argumentation. | Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2023 | AAAI | Complexity of Reasoning with Cardinality Minimality Conditions. | Nadia Creignou, Frdric Olive, Johannes Schmidt |
| 2021 | AAAI | Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework. | Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2020 | LFCS | Parameterised Complexity of Abduction in Schaefer's Framework. | Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2017 | GI | Studierendenkonferenz Informatik 2017 (SKILL 2017). | Michael Becker, Judith Michael, Thomas Riechert, Johannes Schmidt |
| 2017 | LATA | The Weight in Enumeration. | Johannes Schmidt |
| 2014 | MEDES | The Scientific Influence Passivity Score (SIP): Bibliometrics learning from Twitter. | Bernd Markscheffel, Johannes Schmidt |
| 2014 | MFCS | Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis. | Peter Jonsson, Victor Lagerkvist, Johannes Schmidt, Hannes Uppman |
| 2013 | CSL | The Complexity of Abduction for Equality Constraint Languages. | Johannes Schmidt, Michal Wrona |
| 2013 | MFCS | Paradigms for Parameterized Enumeration. | Nadia Creignou, Arne Meier, Julian-Steffen Mller, Johannes Schmidt, Heribert Vollmer |
| 2012 | COMMA | Complexity of logic-based argumentation in Schaefer's framework. | Nadia Creignou, Uwe Egly, Johannes Schmidt |
| 2012 | LATA | On the Parameterized Complexity of Default Logic and Autoepistemic Logic. | Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
| 2011 | SAT | Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight. | Nadia Creignou, Frdric Olive, Johannes Schmidt |
| 2010 | JELIA | Sets of Boolean Connectives That Make Argumentation Easier. | Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran |
| 2010 | KR | Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. | Nadia Creignou, Johannes Schmidt, Michael Thomas |
| 2009 | HCI | Instant Online Communities as a Means to Foster Conferences. | Martin Christof Kindsmller, Jan Milz, Johannes Schmidt |