Serdar Erbatur

Identifiers

No identifiers captured yet.

Papers (2)

1. Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent cs.LO · 2024 · author #3
2. Enforcing Programming Guidelines with Region Types and Effects cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew M. Marshall 1 shared papers
• Carter Bunch 1 shared papers
• Christophe Ringeissen 1 shared papers
• Eugen Zalinescu 1 shared papers
• Martin Hofmann 1 shared papers
• Saraid Dwyer Satterfield 1 shared papers