| 2021 | Learning Probabilistic Automata Using Residuals. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2021 | Modelling and Analysing Cognition and Interaction. | Antonio Cerone |
| 2021 | Some Aspects of the Database Resilience. | Luis Henrique Bustamante, Ana Teresa C. Martins |
| 2021 | An Incentive Mechanism for Trading Personal Data in Data Markets. | Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi |
| 2021 | Object-Centric Process Mining: An Introduction. | Wil M. P. van der Aalst |
| 2021 | Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins. | Wil M. P. van der Aalst |
| 2021 | Model-Based Engineering for Robotics with RoboChart and RoboTool. | Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro |
| 2020 | Qsimulation V2.0: An Optimized Quantum Simulator. | Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du |
| 2020 | A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. | Frits W. Vaandrager, Abhisek Midya |
| 2020 | The Complexity of Boolean State Separation. | Ronny Tredup, Evgeny Erofeev |
| 2020 | Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. | Mohsen Safari, Marieke Huisman |
| 2020 | Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. | Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi |
| 2020 | A Flight Rule Checker for the LADEE Lunar Spacecraft. | Elif Krkl, Klaus Havelund |
| 2020 | Statistical Analysis of Non-deterministic Fork-Join Processes. | Antoine Genitrini, Martin Ppin, Frdric Peschanski |
| 2020 | Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. | Arve Gengelbach, Tjark Weber |
| 2020 | Implementation Correctness for Replicated Data Types, Categorically. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino |
| 2020 | Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. | Evgeny Erofeev, Ronny Tredup |
| 2020 | On Two Characterizations of Feature Models. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | Compositionality of Safe Communication in Systems of Team Automata. | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | Analysis of Bayesian Networks via Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2020 | Semantics of a Relational λ-Calculus. | Pablo Barenbaum, Federico Lochbaum, Mariana Milicich |
| 2020 | Implementing Hybrid Semantics: From Functional to Imperative. | Sergey Goncharov, Renato Neves, Jos Proena |
| 2020 | CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. | Adrin Riesco, Kazuhiro Ogata |
| 2019 | Taylor Series Revisited. | Xavier Thirioux, Alexis Maffart |
| 2019 | Energy Efficient Handshake Algorithm for Wireless Sensor Networks. | Emna Taktak, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |