Mircea Sebe

According to our database, Mircea Sebe authored at least 3 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Nominal Matching Logic with Fixpoints.

Mircea Sebe, Maribel Fernández, James Cheney

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

A Logical Treatment of Finite Automata.

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2020

Specification of the Giskard Consensus Protocol.

Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu

CoRR, 2020