Giovanna Kobus Conrado
Identifiers
- name variant Giovanna Kobus Conrado 0.60 · backfill
Papers (2)
- An MSO Framework for Weak-Memory Verification and Robustness cs.LO · 2026 · author #1
- On the Decidability of Verification under Release/Acquire cs.PL · 2026 · author #1
Mentions
- 2606.20134 #1 · arxiv_oai · confidence 0.70 Giovanna Kobus Conrado
Frequent Coauthors
- Andreas Pavlogiannis 2 shared papers