Search Within

Henzinger Group

People

  1. Avni
    Avni
  2. Bogomolov
    Bogomolov
  3. Boker
    Boker
  4. Cerný
    Cerný
  5. Chu
    Chu
  6. Daca
    Daca
  7. Drǎgoi
    Drǎgoi
  8. Elgyütt
    Elgyütt
  9. Ferrere
    Ferrere
  10. Giacobbe
    Giacobbe
  11. Gupta
    Gupta
  12. Henzinger
    Henzinger
  13. Kong
    Kong
  14. Kragl
    Kragl
  15. Kretínský
    Kretínský
  16. Kupriyanov
    Kupriyanov
  17. Nickovic
    Nickovic
  18. Otop
    Otop
  19. Radhakrishna
    Radhakrishna
  20. Ruess
    Ruess
  21. Samanta
    Samanta
  22. Sezgin
    Sezgin
  23. Singh
    Singh
  24. Tarrach
    Tarrach
  25. Wies
    Wies
  26. Zufferey
    Zufferey
Refine Results
  1. "Andreas Pavlogiannis"
  2. "Chatterjee Group"
  3. "Krishnendu Chatterjee"
Formats
  1. Conference paper (2)
Groups
  1. Alumni (2)
  2. Chatterjee Group (2)
  3. PhD Students (2)
People
  1. Andreas Pavlogiannis (2)
  2. Krishnendu Chatterjee (2)
  3. Bernhard Kragl (1)
  4. Jan Otop (1)
  5. Thomas Henzinger (1)
Years
  1. 2017 (1)
  2. 2013 (1)
Publications
  1. ESOP: European Symposium on Programming (1)
  2. FMCAD: Formal Methods in Computer-Aided Design (1)
Publishers
  1. Springer (2)
Affiliation
  1. IST Austria (2)
Open access
  1. yes (repository) (2)
Peer reviewed
  1. yes (2)
Invited
  1. no (2)

Results (2)

  • Faster algorithms for weighted recursive state machines
    Conference paper

    Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas
    ESOP: European Symposium on Programming
    Springer (2017)

    GET it@IST | Save
  • Distributed synthesis for LTL fragments
    Conference paper

    Chatterjee, Krishnendu; Henzinger, Thomas A; Otop, Jan; Pavlogiannis, Andreas
    FMCAD: Formal Methods in Computer-Aided Design
    Springer (2013)

    GET it@IST | Save