Tigran Avanesov

Identifiers

• name variant Tigran Avanesov 0.60 · backfill

Papers (1)

1. Satisfiability of General Intruder Constraints with and without a Set Constructor cs.CR · 2011 · author #1

Mentions

• 1103.0220 #1 · backfill · confidence 0.70 Tigran Avanesov

Frequent Coauthors

• Mathieu Turuani 1 shared papers
• Micha\"el Rusinowitch 1 shared papers
• Yannick Chevalier 1 shared papers