Masoud Koleini

Identifiers

• name variant Masoud Koleini 0.60 · backfill

Papers (4)

1. Fractal: Automated Application Scaling cs.DC · 2019 · author #1
2. Verification of agent knowledge in dynamic access control policies cs.LO · 2014 · author #1
3. Temporal Logics for Hyperproperties cs.LO · 2014 · author #3
4. A Temporal Logic of Security cs.LO · 2013 · author #1

Mentions

• 1401.4730 #1 · backfill · confidence 0.70 Masoud Koleini
• 1401.4492 #3 · backfill · confidence 0.70 Masoud Koleini
• 1306.5678 #1 · backfill · confidence 0.70 Masoud Koleini

Frequent Coauthors

• Kristopher K. Micinski 2 shared papers
• Michael R. Clarkson 2 shared papers
• Anil Madhavapeddy 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Carlos Oviedo 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Charalampos Rotsos 1 shared papers
• Derek McAuley 1 shared papers
• Eike Ritter 1 shared papers
• Magnus Skejgstad 1 shared papers
• Mark Ryan 1 shared papers
• Markus N. Rabe 1 shared papers
• Richard Mortier 1 shared papers
• Thomas Gazagnaire 1 shared papers