Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Hilbe
    Hilbe
  7. Horn
    Horn
  8. Ibsen-Jensen
    Ibsen-Jensen
  9. Kretínský
    Kretínský
  10. Novotny
    Novotny
  11. Pavlogiannis
    Pavlogiannis
  12. Priklopil
    Priklopil
  13. Reiter
    Reiter
  14. Rubin
    Rubin
  15. Tkadlec
    Tkadlec
  16. 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