IST Publication Database

IST Publication Database

Advanced
  • Works
  • Groups
  • People
  • Publications
  • Publishers
  • About
  • FAQ
  • Login
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. "Journal of the ACM"
  2. "Journal article"
Formats
  1. Journal article (4)
Groups
  1. Henzinger Group (1)
People
  1. Krishnendu Chatterjee (3)
  2. Thomas Henzinger (1)
  3. Ventsislav Chonev (1)
Years
  1. 2017 (1)
  2. 2016 (1)
  3. 2015 (1)
  4. 2014 (1)
Publications
  1. Journal of the ACM (4)
Publishers
  1. ACM (4)
Affiliation
  1. IST Austria (4)
Open access
  1. yes (repository) (3)
  2. no (1)
Peer reviewed
  1. yes (4)
Invited
  1. no (4)

Results (4)

  • The complexity of mean-payoff pushdown games
    Journal article

    Chatterjee, Krishnendu; Velner, Yaron
    Journal of the ACM (2017)

    GET it@IST | Save
  • On the complexity of the orbit problem
    Journal article

    Chonev, Ventsislav K; Ouaknine, Joël; Worrell, James B
    Journal of the ACM (2016)

    GET it@IST | Save
  • Measuring and synthesizing systems in probabilistic environments
    Journal article

    Chatterjee, Krishnendu; Henzinger, Thomas A; Jobstmann, Barbara; Singh, Rohit R
    Journal of the ACM (2015)

    GET it@IST | Save
  • Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
    Journal article

    Chatterjee, Krishnendu; Henzinger, Monika
    Journal of the ACM (2014)

    GET it@IST | Save
  • Institute of Science and Technology Austria | Library
    Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000
    Powered by BibApp