Oliver Bra\v{c}evac

Identifiers

No identifiers captured yet.

Papers (4)

1. Tracking Capabilities for Safer Agents cs.AI · 2026 · author #4
2. Type-safe, Polyvariadic Event Correlation cs.PL · 2019 · author #1
3. A Co-contextual Type Checker for Featherweight Java (incl. Proofs) cs.PL · 2017 · author #3
4. CPL: A Core Language for Cloud Computing -- Technical Report cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Mira Mezini 3 shared papers
• Sebastian Erdweg 3 shared papers
• Guido Salvaneschi 2 shared papers
• Andi Bejleri 1 shared papers
• Cao Nguyen Pham 1 shared papers
• Edlira Kuci 1 shared papers
• Martin Odersky 1 shared papers
• Yaoyu Zhao 1 shared papers
• Yichen Xu 1 shared papers