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. "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