Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




276 Publications

2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 963   OA
Avni, G., Guha, S., & Kupferman, O. (2017). Timed network games with clocks (Vol. 83, p. 37). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.37
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, T. A., & Otop, J. (2017). Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems, 23, 166–190. https://doi.org/10.1016/j.nahs.2016.09.001
View | DOI
 
2017 | Journal Article | IST-REx-ID: 471   OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL), 18(2). https://doi.org/10.1145/3060139
View | Files available | DOI | Download (ext.)
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design, 51(2), 267–269. https://doi.org/10.1007/s10703-017-0307-6
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed