| 2017 | A Formal Proof Generator from Semi-formal Proof Documents. Adrián Riesco, Kazuhiro Ogata |
| 2017 | A Probabilistic Semantics for the Pure \lambda -Calculus. Alessandra Di Pierro |
| 2017 | Class-Diagrams for Abstract Data Types. Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler |
| 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 | ECBC: A High Performance Educational Certificate Blockchain with Efficient Query. Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li |
| 2017 | Inferring Secrets by Guided Experiments. Quoc Huy Do, Richard Bubel, Reiner Hähnle |
| 2017 | Institutions for Behavioural Dynamic Logic with Binders. Rolf Hennicker, Alexandre Madeira |
| 2017 | Logical Characterisation of Parameterised Bisimulations. Divyanshu Bagga, S. Arun-Kumar |
| 2017 | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
| 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 | Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments. Hiroshi Umeo, Keisuke Kubo, Akira Nomura |
| 2017 | Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. Agathoklis Kritsimallis |
| 2017 | The Delay Monad and Restriction Categories. Tarmo Uustalu, Niccolò Veltri |
| 2017 | Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings Dang Van Hung, Deepak Kapur |
| 2017 | Towards a Calculus for Dynamic Architectures. Diego Marmsoler |
| 2017 | Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes. Arpit Sharma |
| 2017 | Value-Based or Conflict-Based? Opacity Definitions for STMs. Jürgen König, Heike Wehrheim |