Christos Stergiou

Identifiers

• name variant Christos Stergiou 0.60 · backfill

Papers (2)

1. Automatic Completion of Distributed Protocols with Symmetry cs.FL · 2015 · author #3
2. Synthesizing Finite-state Protocols from Scenarios and Requirements cs.FL · 2014 · author #4

Mentions

• 1505.04409 #3 · backfill · confidence 0.70 Christos Stergiou
• 1402.7150 #4 · backfill · confidence 0.70 Christos Stergiou

Frequent Coauthors

• Abhishek Udupa 2 shared papers
• Mukund Raghothaman 2 shared papers
• Rajeev Alur 2 shared papers
• Stavros Tripakis 2 shared papers
• Milo Martin 1 shared papers