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.
5779 Publications
2017 | Published | Conference Paper | IST-REx-ID: 1009 | 
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1294 |
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 625 |
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 944
Beattie, Robert J., et al. “Mosaic Analysis with Double Markers Reveals Distinct Sequential Functions of Lgl1 in Neural Stem Cells.” Neuron, vol. 94, no. 3, Cell Press, 2017, p. 517–533.e3, doi:10.1016/j.neuron.2017.04.012.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 997 |
Yakaboylu, Enderalp, et al. “Emergence of Non-Abelian Magnetic Monopoles in a Quantum Impurity Problem.” Physical Review Letters, vol. 119, no. 23, 235301, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.235301.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Published | Book | IST-REx-ID: 567
Erdös, László, and Horng Yau. A Dynamical Approach to Random Matrix Theory. Vol. 28, American Mathematical Society, 2017, doi:10.1090/cln/028.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 447 |
Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” Revista Latino-Americana de Probabilidade e Estatística, vol. 9, Instituto Nacional de Matematica Pura e Aplicada, 2017, pp. 299–325, doi:10.30757/ALEA.v14-17.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1528 |
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:10.1007/s00440-015-0692-y.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1337 |
Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:10.1007/s00440-016-0740-2.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1144 |
Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:10.1214/16-ECP38.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View
| DOI
| WoS
2017 | Published | Technical Report | IST-REx-ID: 6426 |
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 941 |
Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 10416 |
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Technical Report | IST-REx-ID: 5455 |
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5559 |
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:51.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 464 |
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Thesis | IST-REx-ID: 820 |
Jesse, Fabienne. The Lac Operon in the Wild. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_857.
[Published Version]
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9709 |
Prentice, Jason, et al. Data from: Error-Robust Modes of the Retinal Population Code. Dryad, 2017, doi:10.5061/dryad.1f1rc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 945 |
Huylmans, Ann K., et al. “Global Dosage Compensation Is Ubiquitous in Lepidoptera, but Counteracted by the Masculinization of the Z Chromosome.” Molecular Biology and Evolution, vol. 34, no. 10, Oxford University Press, 2017, pp. 2637–49, doi:10.1093/molbev/msx190.
[Published Version]
View
| Files available
| DOI
| WoS