| 2024 | Reachability Analysis in Micro-Stipula. | Cosimo Laneve |
| 2024 | On the Almost-Sure Termination of Binary Sessions. | Ugo Dal Lago, Luca Padovani |
| 2024 | Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. | Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina |
| 2024 | Evidence Tampering and Chain of Custody in Layered Attestations. | Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell |
| 2024 | Higher-Order unification for free!: Reusing the meta-language unification for the object language. | Davide Fissore, Enrico Tassi |
| 2024 | Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. | Maribel Fernndez, Ian Mackie |
| 2024 | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2024 | NuITP: An Inductive Theorem Prover for Equational Program Verification. | Francisco J. Durn, Santiago Escobar, Jos Meseguer, Julia Sapia |
| 2024 | sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. | Francesco Dagnino, Luca Padovani |
| 2024 | On the Preciseness of Subtyping in Session Types: 10 Years Later. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2024 | A simple view of multiparty session types. | Ilaria Castellani |
| 2024 | Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report. | Roberto Casadei, Mirko Viroli |
| 2024 | Un-projectable Global Types for Multiparty Sessions. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 2024 | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. | Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2023 | Closure Conversion in Little Pieces. | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
| 2023 | Intuitionistic Metric Temporal Logic. | Luiz De S, Bernardo Toninho, Frank Pfenning |
| 2023 | Polymorphic Typestate for Session Types. | Hannes Saffrich, Peter Thiemann |
| 2023 | Comprehending queries over finite maps. | Wilmer Ricciotti |
| 2023 | Type-directed Program Transformation for Constant-Time Enforcement. | Gautier Raimondi, Frdric Besson, Thomas P. Jensen |
| 2023 | Termination in Concurrency, Revisited. | Joseph W. N. Paulus, Jorge A. Prez, Daniele Nantes-Sobrinho |
| 2023 | Strongly-Typed Multi-View Stack-Based Computations. | Pieter W. M. Koopman, Mart Lubbers |
| 2023 | Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara |
| 2023 | stableKanren: Integrating Stable Model Semantics with miniKanren. | Xiangyu Guo, James Smith, Ajay Bansal |
| 2023 | Data-Dependent Confidentiality in DCR Graphs. | Eduardo Geraldo, Joo Costa Seco, Thomas T. Hildebrandt |
| 2023 | Additive Cellular Automata Graded-Monadically. | Silvio Capobianco, Tarmo Uustalu |