Masoud Koleini
Identifiers
- name variant Masoud Koleini 0.60 · backfill
Papers (4)
- Fractal: Automated Application Scaling cs.DC · 2019 · author #1
- Verification of agent knowledge in dynamic access control policies cs.LO · 2014 · author #1
- Temporal Logics for Hyperproperties cs.LO · 2014 · author #3
- A Temporal Logic of Security cs.LO · 2013 · author #1
Mentions
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