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.
4387 Publications
2017 | Book Chapter | IST-REx-ID: 625 | 
Chatterjee K, Doyen L, Henzinger TA. 2017.The cost of exactness in quantitative reachability. In: Models, Algorithms, Logics and Tools. LNCS, vol. 10460, 367–381.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 624 |
Nikolic N, Didara Z, Moll I. 2017. MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. 2017(9), 3830.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 627 |
Jiang C, Zhai M-Z, Yan D, Li D, Li C, Zhang Y, Xiao L, Xiong D, Deng Q, Sun W. 2017. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 8(43), 75114–75126.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 628 |
Chatterjee K, Fu H, Murhekar A. 2017. Automated recurrence analysis for almost linear expected runtime bounds. CAV: Computer Aided Verification, LNCS, vol. 10426, 118–139.
View
| DOI
| Download Submitted Version (ext.)
2017 | Thesis | IST-REx-ID: 6291 |
Payne P. 2017. Bacterial herd and social immunity to phages. IST Austria.
View
| Files available