Please note that ISTA 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.
2032 Publications
2016 |Published| Technical Report | IST-REx-ID: 5445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5446 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5447 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5451 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5448 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 5771 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mattei S, Schur FK, Briggs JA. 2016. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 18(6), 27–35.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 6732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mondelli M, Hassani SH, Urbanke RL. 2016. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 62(12), 6698–6712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 6733 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kudekar S, Kumar S, Mondelli M, Pfister HD, Urbankez R. 2016. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. 2016 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, Freunberger SA, Fontaine O, Boury B, Brun N, Mutin PH. 2016. Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. 79(2), 270–278.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tang Y, Zhao C-Y, Tan S, Xue H-W. 2016. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 12(8), e1006252.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 786 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh D-A, Censor Hillel K, Shavit N. 2016. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 63(4).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 9140 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Drobinski P, Alonzo B, Bastin S, Silva ND, Muller CJ. 2016. Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. 121(7), 3100–3119.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 92
Cole J, Lin T, Ashcroft C, Pérez Moreno J, Tan Y, Venkatesan P, Higginbotham AP, Pattison P, Edwards A, Piltz R, Clays K, Ilangovan A. 2016. Relating the structure of geminal Amido Esters to their molecular hyperpolarizability. Journal of Physical Chemistry C. 120(51), 29439–29448.
View
| DOI