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. Ferrere
    Ferrere
  9. Giacobbe
    Giacobbe
  10. Gupta
    Gupta
  11. Henzinger
    Henzinger
  12. Kong
    Kong
  13. Kragl
    Kragl
  14. Kretínský
    Kretínský
  15. Kupriyanov
    Kupriyanov
  16. Nickovic
    Nickovic
  17. Otop
    Otop
  18. Radhakrishna
    Radhakrishna
  19. Ruess
    Ruess
  20. Samanta
    Samanta
  21. Sezgin
    Sezgin
  22. Singh
    Singh
  23. Tarrach
    Tarrach
  24. Wies
    Wies
  25. Zufferey
    Zufferey
Refine Results
  1. "no"
  2. "Tatjana Petrov"
Formats
  1. Conference paper (5)
  2. Journal article (3)
Groups
  1. Guet Group (8)
  2. IST Fellow (8)
  3. PhD Students (5)
  4. Alumni (3)
  5. Barton Group (2)

More Groups

People
  1. Tatjana Petrov (8)
  2. Thomas Henzinger (8)
  3. Przemysław Daca (3)
  4. Mirco Giacobbe (2)
  5. Ashutosh Gupta (2)

More People

Years
  1. 2017 (2)
  2. 2016 (2)
  3. 2015 (1)
  4. 2012 (1)
  5. 2010 (1)

More Years

Publications
  1. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (2)
  2. ACM Transactions on Computational Logic (TOCL) (1)
  3. Acta Informatica (1)
  4. CONCUR: Concurrency Theory (1)
  5. EMSOFT: Embedded Software (1)

More Publications

Publishers
  1. Springer (3)
  2. ACM (2)
  3. Elsevier (1)
  4. Open Publishing Association (1)
  5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1)

More Publishers

Affiliation
  1. IST Austria (7)
Open access
  1. yes (repository) (5)
  2. yes (OA journal) (2)
  3. no (1)
Peer reviewed
  1. yes (6)
  2. no (2)
Invited
  1. no (8)

Results (8)

  • Model checking the evolution of gene regulatory networks
    Journal article

    Giacobbe, Mirco; Guet, Cǎlin C; Gupta, Ashutosh K; Henzinger, Thomas A; Paixão, Tiago; more...
    Acta Informatica (2017)

    GET it@IST | Save
  • Faster statistical model checking for unbounded temporal properties
    Journal article

    Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana
    ACM Transactions on Computational Logic (TOCL) (2017)

    GET it@IST | Save
  • 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
  • Model checking gene regulatory networks
    Conference paper

    Giacobbe, Mirco; Guet, Cǎlin C; Gupta, Ashutosh K; Henzinger, Thomas A; Paixão, Tiago; more...
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems
    Springer (2015)

    GET it@IST | Save
  • Lumpability abstractions of rule based systems
    Journal article

    Feret, Jérôme; Henzinger, Thomas A; Koeppl, Heinz; Petrov, Tatjana
    Theoretical Computer Science (2012)

    GET it@IST | Save
  • Lumpability abstractions of rule-based systems
    Conference paper

    Feret, Jérôme; Henzinger, Thomas A; Koeppl, Heinz; Petrov, Tatjana
    MECBIC: Membrane Computing and Biologically Inspired Process Calculi
    Open Publishing Association (2010)

    GET it@IST | Save
  • Interface theories with component reuse
    Conference paper

    Doyen, Laurent; Henzinger, Thomas A; Jobstmann, Barbara; Petrov, Tatjana
    EMSOFT: Embedded Software
    ACM (2008)

    GET it@IST | Save