Book
Book (as editor)

Advances in Proof Theory, jointly edited with Reinhard Kahle and Thomas Strahm, volume 28 of Progress in Computer Science and Applied Logic, Birkhäuser, 2016
Preprints
In journals

Intuitionistic Modal Logic Made Explicit, joint paper with Michel Marti, IfCoLog Journal of Logics and their Applications, 3(5):877901, 2016

Weak Arithmetical Interpretations for the Logic of Proofs, joint paper with Roman Kuznets, Logic Journal of the IGPL, 24(3):424440, 2016

First Steps towards Probabilistic Justification Logic, joint paper with Ioannis Kokkinis, Petar Maksimović, and Zoran Ognjanović, Logic Journal of the IGPL, 23(4):662687, 2015

Censors for Boolean Description Logic,
joint paper with Johannes Werner, Transactions on Data Privacy, 7(3):223252, 2014

Justifying induction on modal muformulae,
joint paper with Luca Alberucci and Jürg Krähenbühl, Logic Journal of the IGPL, 22(6):805817, 2014

Realizing Public Announcements by Justifications,
joint paper with Samuel Bucheli and Roman Kuznets, Journal of Computer and System Sciences, 80(6):10461066, 2014

Decidability for some justification logics with negative introspection, Journal of Symbolic Logic, 78(2):388402, 2013

A Universal Approach to Guarantee Data Privacy,
Logica Universalis, 7(2):195209, 2013

Syntactic cutelimination for a fragment of the modal mucalculus,
joint paper with Kai Brünnler, Annals of Pure and Applied Logic, 163(12):18381853, 2012.

Justification Logic, Inference Tracking, and Data Privacy, Logic and Logical Philosophy, 20(4):297306, 2011

A Buchholz Rule
for Modal Fixed Point Logics, joint paper with Gerhard Jäger, Logica Universalis, 5(1):119, 2011

Justifications for Common Knowledge,
joint paper with Samuel Bucheli and Roman Kuznets, Journal of Applied Nonclassical Logics, 21(1):3560, 2011

Syntactic cutelimination for common knowledge, joint paper with Kai Brünnler, Annals of Pure and Applied Logic, 160(1):8295, 2009. Errata.

Common knowledge does not have the Beth property, Information Processing Letters, 109:611614, 2009

On the proof theory of the modal mucalculus, Studia Logica, 89:343363, 2008

Canonical completeness of infinitary mu, joint paper with Gerhard Jäger and Mathis Kretz, Journal of Logic and Algebraic Programming, 76(2):270292, 2008

On contraction and the modal fragment, joint paper with Kai Brünnler and Dieter Probst, Mathematical Logic Quarterly, 54(4):345349, 2008

Cutfree common knowledge, joint paper with Gerhard Jäger and Mathis Kretz, Journal of Applied Logic, 5:681689, 2007

Deduction Chains for Common Knowledge, joint paper with Mathis Kretz, Journal of Applied Logic, 4:331357, 2006

Explicit Mathematics: Power Types and Overloading, Annals of Pure and Applied Logic, 134 (23):284302, 2005

Extending the system T_{0} of explicit mathematics: the limit and Mahlo axioms, joint paper with Gerhard Jäger, Annals of Pure and Applied Logic, 114 (13):79101, 2002

Formalizing nontermination of recursive programs, joint paper with Reinhard Kahle, Journal of Logic and Algebraic Programming, 49 (12):114, 2001

A semantics for λ{}: a calculus with overloading and latebinding, Journal of Logic and Computation, 11 (4):527544, 2001

How to normalize the jay, joint paper with Dieter Probst, Theoretical Computer Science, 254 (12):677681, 2001

Universes in explicit mathematics, joint paper with Gerhard Jäger and Reinhard Kahle, Annals of Pure and Applied Logic, 109 (3):141162, 2001
In conference proceedings and edited volumes

The Proof Theory of Common knowledge, joint paper with Michel Marti, in H. van Ditmarsch and G. Sandu, editors, Jaakko Hintikka on knowledge and game theoretical
semantics, Outstanding Contributions to Logic, Springer, in print

Temporal Justification Logic, joint paper with Samuel Bucheli and Meghdad Ghari, in S. Ghosh and R. Ramanujam, editors, Proceedings of Methods for Modalities M4M9, volume 243 of EPTCS, pages 5974, 2017

Cyclic Proofs for Linear Temporal Logic,
joint paper with Ioannis Kokkinis, in D. Probst, P. Schuster, editors, Concepts of Proof in Mathematics, Philosophy, and Computer Science, volume 6 of Ontos Mathematical Logic, pages 171192. De Gruyter, 2016

Probabilistic Justification Logic, joint paper with Ioannis Kokkinis and Zoran Ognjanović, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'16, volume 9537 of LNCS, pages 174186. Springer, 2016

Decidability for Justification Logics Revisited,
joint paper with Samuel Bucheli and Roman Kuznets, in G. Bezhanishvili, S. Löbner, V. Marra, F. Richter, editors, Logic, Language and Computation TbiLLC 2011, volume 7758 of LNCS, pages 166181. Springer, 2013

Update As Evidence: Belief Expansion, joint paper with Roman Kuznets, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'13, volume 7734 of LNCS, pages 266279. Springer, 2013

Justifications, Ontology, and Conservativity,
joint paper with Roman Kuznets, in T. Bolander, T. Braüner, S. Ghilardi, L. Moss, editors, Advances in Modal Logic, volume 9, pages 437458. College Publications, 2012

Justified Terminological Reasoning, in E. Clarke, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'11, volume 7162 of LNCS, pages 349361. Springer, 2012

Cutelimination for the mucalculus with one variable, joint paper with Grigori Mints, in Fixed Points in Computer Science 2012, volume 77 of EPTCS, pages 47–54. Open Publishing Association, 2012

An application of justification logic to protocol verification, in Proceedings of Computational Intelligence and Security CIS 2011, pages 779783. IEEE, 2011

Partial Realization in Dynamic Justication Logic,
joint paper with Samuel Bucheli and Roman Kuznets, in L. Beklemishev and R. de Queiroz, editors, Logic, Language, Information and Computation WOLLIC 2011, volume 6642 of LNCS, pages 3551. Springer 2011

Justified Belief Change,
joint paper with Samuel Bucheli, Roman Kuznets, Bryan Renne, and Joshua Sack, in X. Arrazola, M. Ponte, editors, Proceedings of Logic and Philosophy of Knowledge, Communication and Action, pages 135155. Basque Country Press, 2010

Two ways to common knowledge, joint paper with Samuel Bucheli and Roman Kuznets, in T. Bolander, T. Braüner, editors, Proceedings of Methods for Modalities M4M6, volume 262 of ENTCS, pages 8398. Elsevier, 2010

Privacy Preserving Modules for Ontologies, in A. Pnueli, I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'09, volume 5947 of LNCS, pages 380387. Springer, 2010

Data Privacy for ALC Knowledge Bases, joint paper with Phiniki Stouppa, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'09, volume 5407 of LNCS, pages 409421. Springer, 2009

Syntactic cutelimination for common knowledge (superseded by the journal version), joint paper with Kai Brünnler, in C. Areces and S. Demri, editors, Proceedings of Methods for Modalities M4M5, volume 231 of ENTCS, pages 227240. Elsevier 2009

Improving semantic query answering, joint paper with Norbert Kottmann, in R. Wagner, N. Revell, G. Pernul, editors, Proceedings of Database and Expert Systems Applications DEXA '07, volume 4653 of LNCS, pages 671679. Springer, 2007

Total Public Announcements, joint paper with David Steiner, in S. Artemov, A. Nerode, editors, Proceedings of Logical Foundations of Computer Science LFCS'07, volume 4514 of LNCS, pages 498511. Springer, 2007

A Formal Model of Data Privacy, joint paper with Phiniki Stouppa, in I. Virbitskaite, A. Voronkov, editors, Proceedings of Perspectives of System Informatics PSI'06, volume 4378 of LNCS, pages 401411. Springer, 2007

Cutfree Axiomatizations for Stratified Modal Fixed Point Logic, joint paper with Gerhard Jäger and Mathis Kretz, in H. Schlingloff, editor, Proceedings of Methods for Modalities 4, pages 125143. 2005

Probabilistic ABox Reasoning: Preliminary Results, joint paper with Michael Dürig, in I. Horrocks, U. Sattler, F. Wolter, editors, Proceedings of Description Logics DL'05, pages 104111. 2005

Provable Data Privacy, joint paper with Kilian Stoffel, in K. Viborg Andersen, J. Debenham, R. Wagner, editors, Proceedings of Database and Expert Systems Applications DEXA '05, volume 3588 of LNCS, pages 324332. Springer, 2005.

Constructive Foundations for Featherweight Java, in R. Kahle, P. SchroederHeister, R. Stärk, editors, Proof Theory in Computer Science, volume 2183 of LNCS, pages 202238. Springer, 2001

A theory of explicit mathematics equivalent to ID_{1}, joint paper with Reinhard Kahle, in P. Clote, H. Schwichtenberg, editors, Computer Science Logic CSL 2000, volume 1862 of LNCS, pages 356370. Springer, 2000
Theses

ProofTheoretic Contributions to Modal Fixed Point Logics, Habilitation thesis, University of Bern, 2010

ObjectOriented Programming in Explicit Mathematics: Towards the Mathematics of Objects, Dissertation thesis, University of Bern, 2001

Explicit mathematics:
Wtype, models, Master's thesis, University of Bern, 1997
Others

Justification Logic,
Various Aspects of Modality, IPM Isfahan, 2016

Justification logic enjoys the strong finite model property, technical report, arXiv:1506.06933, 2015

Lectures on Justification Logics, manuscript, 2012

Proof, Computation, Complexity PCC 2010, International Workshop, Proceedings, K. Brünnler and T. Studer (editors), technical report IAM10001, 2010

Explicit evidence systems with common knowledge, joint paper with Samuel Bucheli and Roman Kuznets, technical report, arXiv:1005.0484, 2010

Data Privacy for ALC Knowledge Bases, joint paper with Phiniki Stouppa, technical report IAM08002, 2008

Infinitary systems for the modal mucalculus,
abstract in A. Beckmann et al. editors, Proceedings of Proof, Computation, Complexity PCC '07. 2007

Cutfree systems for the propositional modal mucalculus, joint paper with Gerhard Jäger and Mathis Kretz,
abstract in Bulletin of Symbolic Logic, 13(2):263, 2007

Cutfree systems for the propositional modal mucalculus, joint paper with Gerhard Jäger and Mathis Kretz, technical report IAM07001, 2007

A finitary cutfree axiomatization for stratified modal fixed point logic, joint paper with Gerhard Jäger and Mathis Kretz, abstract in B. Elbl, R. Kahle, I. Oitavem, editors, Proceedings of Proof, Computation, Complexity PCC '05, pages 4143. 2005

Deduction chains for logic of common knowledge, joint paper with Mathis Kretz,
abstract in Bulletin of Symbolic Logic, 11(2):281282, 2005

Papers in Explicit Mathematics, technical note, 2005

Canonical Databases and Certain Answers under Key Constraints, joint paper with Kilian Stoffel, technical report IAM04009, 2004

Least fixed points in applicative theories, joint paper with Reinhard Kahle, abstract in Bulletin of Symbolic Logic, 9(1):94, 2003

Impredicative overloading in explicit mathematics,
abstract in Bulletin of Symbolic Logic, 7(1):150151, 2001

Eine denotationelle Semantik für Featherweight Java,
Informatik Kolloquium, Universität Tübingen, 2000

A semantics for strict λ{}: a calculus with overloading and latebinding, technical report IAM99004, 1999
.
.
.
.