Specification of the Giskard Consensus Protocol. - Elaine Li; Karl Palmskog; Mircea Sebe; Grigore Rosu (CoRR, 2020)

A Logical Treatment of Finite Automata. - Nishant Rodrigues; Mircea Sebe; Xiaohong Chen 002; Grigore Rosu (TACAS (1), 2024)

Nominal Matching Logic with Fixpoints. - Mircea Sebe; Maribel Fernández; James Cheney (CPP, 2025)