Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Goharshady
    Goharshady
  7. Hilbe
    Hilbe
  8. Horn
    Horn
  9. Ibsen-Jensen
    Ibsen-Jensen
  10. Kretínský
    Kretínský
  11. Novotny
    Novotny
  12. Pavlogiannis
    Pavlogiannis
  13. Priklopil
    Priklopil
  14. Reiter
    Reiter
  15. Rubin
    Rubin
  16. Tkadlec
    Tkadlec
  17. Tracol
    Tracol
Refine Results
  1. "2014"
  2. "yes"
  3. "Benjamin Aminof"
Formats
  1. Conference paper (2)
People
  1. Benjamin Aminof (2)
  2. Sasha Rubin (2)
Years
  1. 2014 (2)
Publications
  1. CONCUR: Concurrency Theory (1)
  2. SR: Strategic Reasoning (1)
Publishers
  1. Open Publishing Association (1)
  2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1)
Affiliation
  1. IST Austria (2)
Open access
  1. no (1)
  2. yes (OA journal) (1)
Peer reviewed
  1. yes (2)
Invited
  1. no (2)

Results (2)

  • Parameterized model checking of rendezvous systems
    Conference paper

    Aminof, Benjamin; Kotek, Tomer; Rubin, Sacha; Spegni, Francesco; Veith, Helmut
    CONCUR: Concurrency Theory
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)

    GET it@IST | Save
  • First cycle games
    Conference paper

    Aminof, Benjamin; Rubin, Sasha
    SR: Strategic Reasoning
    Open Publishing Association (2014)

    GET it@IST | Save