Giovanna Kobus Conrado

Identifiers

• name variant Giovanna Kobus Conrado 0.60 · backfill

Papers (2)

1. An MSO Framework for Weak-Memory Verification and Robustness cs.LO · 2026 · author #1
2. 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