Grigore Rosu

Identifiers

• name variant Grigore Rosu 0.60 · backfill

Papers (3)

1. Circular Induction cs.LO · 2026 · author #2
2. P4K: A Formal Semantics of P4 and Applications cs.NI · 2018 · author #2
3. Matching Logic cs.LO · 2017 · author #1

Mentions

• 2605.24968 #2 · arxiv_oai · confidence 0.70 Grigore Rosu

Frequent Coauthors

• Ali Kheradmand 1 shared papers
• Dorel Lucanu 1 shared papers
• Eugen Goriac 1 shared papers
• Georgiana Caltais 1 shared papers