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

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

5430 Publications

2014 | Technical Report | IST-REx-ID: 5413
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
View | Files available | DOI

2014 | Technical Report | IST-REx-ID: 5418
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
View | Files available | DOI

2014 | Journal Article | IST-REx-ID: 1733
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances. Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
View | Files available | DOI | Download (ext.)

2014 | Journal Article | IST-REx-ID: 7301
Li C, Fontaine O, Freunberger SA, et al. Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. 2014;118(7):3393-3401. doi:10.1021/jp4093805
View | DOI

2014 | Conference Paper | IST-REx-ID: 2217
Henzinger TA, Otop J. Model measuring for hybrid systems. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. Springer; 2014:213-222. doi:10.1145/2562059.2562130
View | Files available | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed