A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir (SOS, 2009)

Functions as Processes: Termination and the lm[(m) tilde] lambda mu widetilde{ mu}-Calculus. - Matteo Cimini; Claudio Sacerdoti Coen; Davide Sangiorgi (TGC, 2010)

On Rule Formats for Zero and Unit Elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (MFPS, 2010)

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Arni Hermann Reynisson; Steinar Hugi Sigurdarson; Marjan Sirjani (FOCLASA, 2011)

SOS rule formats for zero and unit elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2011)

Nominal SOS. - Matteo Cimini; Mohammad Reza Mousavi 001; Michel A. Reniers; Murdoch James Gabbay (MFPS, 2012)

Proving the validity of equations in GSOS languages using rule-matching bisimilarity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 2012)

Rule formats for distributivity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2012)

Modelling and simulation of asynchronous real-time systems using Timed Rebeca. - Arni Hermann Reynisson; Marjan Sirjani; Luca Aceto; Matteo Cimini; Ali Jafari; Anna Ingólfsdóttir; Steinar Hugi Sigurdarson (Sci. Comput. Program., 2014)

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. - Kaustuv Chaudhuri; Matteo Cimini; Dale Miller 001 (CPP, 2015)

Monotonic References for Efficient Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; Sam Tobin-Hochstadt; Ronald Garcia (ESOP, 2015)

Principal Type Schemes for Gradual Programs. - Ronald Garcia; Matteo Cimini (POPL, 2015)

Refined Criteria for Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; John Tang Boyland (SNAPL, 2015)

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. - Matteo Cimini; Jeremy G. Siek (PMLDC@ECOOP, 2016)

The gradualizer: a methodology and algorithm for generating gradual type systems. - Matteo Cimini; Jeremy G. Siek (POPL, 2016)

Well-Typed Languages are Sound. - Matteo Cimini; Dale Miller 001; Jeremy G. Siek (CoRR, 2016)

PTRebeca: Modeling and analysis of distributed and asynchronous systems. - Ali Jafari; Ehsan Khamespanah; Marjan Sirjani; Holger Hermanns; Matteo Cimini (Sci. Comput. Program., 2016)

Automatically generating the dynamic semantics of gradually typed languages. - Matteo Cimini; Jeremy G. Siek (POPL, 2017)

Languages as first-class citizens (vision paper). - Matteo Cimini (SLE, 2018)

Ghostbuster: A tool for simplifying and converting GADTs. - Timothy A. K. Zakian; Trevor L. McDonell; Matteo Cimini; Ryan R. Newton (J. Funct. Program., 2018)

Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker. - Matteo Cimini (TFP, 2019)

Towards Gradually Typed Capabilities in the Pi-Calculus. - Matteo Cimini (ICE, 2019)

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. - Matteo Cimini (FLOPS, 2020)

System Description: Lang-n-Change - A Tool for Transforming Languages. - Benjamin Mourad; Matteo Cimini (FLOPS, 2020)

A Declarative Gradualizer with Language Transformations. - Benjamin Mourad; Matteo Cimini (IFL, 2020)

Extrinsically typed operational semantics for functional languages. - Matteo Cimini; Dale Miller 001; Jeremy G. Siek (SLE, 2020)

A Calculus for Language Transformations. - Benjamin Mourad; Matteo Cimini (SOFSEM, 2020)

A Calculus for Multi-language Operational Semantics. - Matteo Cimini (VSTTE, 2021)

Language Transformations in the Classroom. - Matteo Cimini; Benjamin Mourad (EXPRESS/SOS, 2021)

A Query Language for Language Analysis. - Matteo Cimini (SEFM, 2022)

Lang-n-Prove: A DSL for Language Proofs. - Matteo Cimini (SLE, 2022)

Lang-n-Send: Processes That Send Languages. - Matteo Cimini (PLACES@ETAPS, 2022)

Lang-n-Send Extended: Sending Regular Expressions to Monitors. - Matteo Cimini (ICE, 2022)

Towards the Complexity Analysis of Programming Language Proof Methods. - Matteo Cimini (ICTAC, 2023)

Testing Languages with a Languages-as-Databases Approach. - Matteo Cimini (TAP, 2023)

A Declarative Validator for GSOS Languages. - Matteo Cimini (PLACES@ETAPS, 2023)

Language-parameterized Proofs for Functional Languages with Subtyping. - Seth Galasso; Matteo Cimini (FLOPS, 2024)

From Program Logics to Language Logics. - Matteo Cimini (CoRR, 2024)

A Debugging System for Language-Parameterized Proofs. - Charlesowityear Ly; Eswarasanthosh Kumar Mamillapalli; Matteo Cimini (Rebeca for Actor Analysis in Action, 2025)