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.




309 Publications

2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:10.1007/978-3-319-26916-0_10
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

Search

Filter Publications