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.




313 Publications

2021 | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto M, Prabhakar P. Hybridization for stability verification of nonlinear switched systems. In: 2020 IEEE Real-Time Systems Symposium. IEEE; 2021:244-256. doi:10.1109/RTSS49844.2020.00031
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9239
Avni G, Henzinger TA, Žikelić Đ. Bidding mechanisms in graph games. Journal of Computer and System Sciences. 2021;119(8):133-144. doi:10.1016/j.jcss.2021.02.008
View | Files available | DOI
 
2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv.
View | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 8912 | OA
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 2021;167(4). doi:10.1016/j.eswa.2020.114203
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery.
View | Files available | arXiv
 
2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science. doi:10.1016/j.tcs.2021.05.023
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. In: HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery; :2102.12734. doi:10.1145/3447928.3456704
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View | Files available | DOI
 

Search

Filter Publications