| 2018 | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs. | Yves Bertot |
| 2018 | An Automata-Based View on Configurability and Uncertainty. | Martin Berglund, Ina Schaefer |
| 2018 | Formalising Boost POSIX Regular Expression Matching. | Martin Berglund, Willem Bester, Brink van der Merwe |
| 2018 | Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms. | ric Badouel, Rodrigue Aim Djeumen Djatcha |
| 2018 | Proof Nets and the Linear Substitution Calculus. | Beniamino Accattoli |
| 2018 | A Metalanguage for Guarded Iteration. | Sergey Goncharov, Christoph Rauch, Lutz Schrder |
| 2017 | ECBC: A High Performance Educational Certificate Blockchain with Efficient Query. | Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li |
| 2017 | The Delay Monad and Restriction Categories. | Tarmo Uustalu, Niccol Veltri |
| 2017 | Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments. | Hiroshi Umeo, Keisuke Kubo, Akira Nomura |
| 2017 | Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes. | Arpit Sharma |
| 2017 | A Formal Proof Generator from Semi-formal Proof Documents. | Adrin Riesco, Kazuhiro Ogata |
| 2017 | A Probabilistic Semantics for the Pure \lambda -Calculus. | Alessandra Di Pierro |
| 2017 | Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors. | Abhisek Midya, D. Gnanaraj Thomas, Saleem Malik, Alok Kumar Pani |
| 2017 | Towards a Calculus for Dynamic Architectures. | Diego Marmsoler |
| 2017 | Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. | Agathoklis Kritsimallis |
| 2017 | Value-Based or Conflict-Based? Opacity Definitions for STMs. | Jrgen Knig, Heike Wehrheim |
| 2017 | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. | Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2017 | Class-Diagrams for Abstract Data Types. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler |
| 2017 | Institutions for Behavioural Dynamic Logic with Binders. | Rolf Hennicker, Alexandre Madeira |
| 2017 | Constructing Cycles in the Simplex Method for DPLL(T). | Bertram Felgenhauer, Aart Middeldorp |
| 2017 | Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. | Akim Demaille, Thibaud Michaud |
| 2017 | Logical Characterisation of Parameterised Bisimulations. | Divyanshu Bagga, S. Arun-Kumar |
| 2017 | Inferring Secrets by Guided Experiments. | Quoc Huy Do, Richard Bubel, Reiner Hhnle |
| 2016 | Petri Nets and Semilinear Sets (Extended Abstract). | Hsu-Chun Yen |
| 2016 | Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |