| 2024 | IJCAR | Skolemisation for Intuitionistic Linear Logic. | Alessandro Bruni, Eike Ritter, Carsten Schrmann |
| 2024 | ITP | Robust Mean Estimation by All Means (Short Paper). | Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schrmann |
| 2024 | SP | Thwarting Last-Minute Voter Coercion. | Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schrmann |
| 2023 | LOPSTR | A Logical Interpretation of Asynchronous Multiparty Compatibility. | Marco Carbone, Sonia Marin, Carsten Schrmann |
| 2023 | SECRYPT | Receipt-Free Electronic Voting from zk-SNARK. | Maryam Sheikhi, Rosario Giustolisi, Carsten Schrmann |
| 2022 | ACNS | POSTER: Enabling User-Accountable Mechanisms in Decision Systems. | Rosario Giustolisi, Carsten Schrmann |
| 2021 | PPDP | Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. | Ieva Daukantas, Alessandro Bruni, Carsten Schrmann |
| 2016 | CONCUR | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
| 2015 | CONCUR | Multiparty Session Types as Coherence Proofs. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida |
| 2015 | LPAR | A Contextual Logical Framework. | Peter Brottveit Bock, Carsten Schrmann |
| 2014 | CONCUR | Choreographies, Logically. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann |
| 2013 | CADE | Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. | Bernhard Beckert, Rajeev Gor, Carsten Schrmann |
| 2013 | ITP | Certifying Voting Protocols. | Carsten Schrmann |
| 2012 | CADE | Truthful Monadic Abstractions. | Taus Brock-Nannestad, Carsten Schrmann |
| 2010 | CADE | Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. | Anders Schack-Nielsen, Carsten Schrmann |
| 2010 | LPAR | Focused Natural Deduction. | Taus Brock-Nannestad, Carsten Schrmann |
| 2009 | RE | Electronic Elections: Trust Through Engineering. | Carsten Schrmann |
| 2008 | CADE | Evaluation of Systems for Higher-order Logic (ESHOL). | Christoph Benzmller, Florian Rabe, Carsten Schrmann, Geoff Sutcliffe |
| 2008 | CADE | Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). | Anders Schack-Nielsen, Carsten Schrmann |
| 2008 | ESOP | Practical Programming with Higher-Order Encodings and Dependent Types. | Adam Poswolsky, Carsten Schrmann |
| 2008 | LICS | Structural Logical Relations. | Carsten Schrmann, Jeffrey Sarnat |
| 2006 | LPAR | An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. | Carsten Schrmann, Mark-Oliver Stehr |
| 2005 | CSL | Identifying Polynomial-Time Recursive Functions. | Carsten Schrmann, Jatin Shah |
| 2004 | FLOPS | Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. | Carsten Schrmann |
| 2003 | ICFP | Representing reductions of NP-complete problems in logical frameworks: a case study. | Carsten Schrmann, Jatin Shah |
| 2003 | LPAR | Disproving False Conjectures. | Serge Autexier, Carsten Schrmann |
| 2001 | CSL | Recursion for Higher-Order Encodings. | Carsten Schrmann |
| 2001 | LPAR | A Type-Theoretic Approach to Induction with Higher-Order Encodings. | Carsten Schrmann |
| 2000 | CADE | Tutorial: Meta-logical Frameworks. | Carsten Schrmann |
| 2000 | CADE | Workshop: Automation of Proofs by Mathematical Induction. | Carsten Schrmann |
| 1999 | CADE | System Description: Twelf - A Meta-Logical Framework for Deductive Systems. | Frank Pfenning, Carsten Schrmann |
| 1998 | CADE | Automated Theorem Proving in a Simple Meta-Logic for LF. | Carsten Schrmann, Frank Pfenning |