IST Publication Database

IST Publication Database

Advanced
  • Works
  • Groups
  • People
  • Publications
  • Publishers
  • About
  • FAQ
  • Login
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. "Tatjana Petrov"
  2. "IST Austria"
  3. "Jan Kretínský"
Formats
  1. Conference paper (2)
Groups
  1. Alumni (2)
  2. Chatterjee Group (2)
  3. Guet Group (2)
  4. IST Fellow (2)
  5. PhD Students (2)
People
  1. Jan Kretínský (2)
  2. Przemysław Daca (2)
  3. Tatjana Petrov (2)
  4. Thomas Henzinger (2)
Years
  1. 2016 (2)
Publications
  1. CONCUR: Concurrency Theory (1)
  2. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (1)
Publishers
  1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1)
  2. Springer (1)
Affiliation
  1. IST Austria (2)
Open access
  1. yes (OA journal) (1)
  2. yes (repository) (1)
Peer reviewed
  1. yes (2)
Invited
  1. no (2)

Results (2)

  • Faster statistical model checking for unbounded temporal properties
    Conference paper

    Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana P
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems
    Springer (2016)

    GET it@IST | Save
  • Linear distances between Markov chains
    Conference paper

    Daca, Przemyslaw; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana
    CONCUR: Concurrency Theory
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)

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