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.
5757 Publications
2016 | Journal Article | IST-REx-ID: 1411 | 
Matoušek, Jiří, et al. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:10.1007/s11856-016-1294-9.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 262 |
Browning, Timothy D., and Rachel Newton. “The Proportion of Failures of the Hasse Norm Principle.” Mathematika, vol. 62, no. 2, Cambridge University Press, 2016, pp. 337–47, doi:10.1112/S0025579315000261.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 263 |
De La Bretèche, Régis, et al. “Counting Rational Points on the Cayley Ruled Cubic.” European Journal of Mathematics, vol. 2, no. 1, Springer Nature, 2016, pp. 55–72, doi:10.1007/s40879-015-0049-1.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 264 |
Bright, Maritn, et al. “Failures of Weak Approximation in Families.” Compositio Mathematica, vol. 152, no. 7, Cambridge University Press, 2016, pp. 1435–75, doi:10.1112/S0010437X16007405.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1479 |
Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity, vol. 25, no. 3, Springer, 2016, pp. 567–605, doi:10.1007/s00037-015-0120-9.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 366 |
Meyn, Michaela, et al. “Polymer Enhanced Stability of Inorganic Perovskite Nanocrystals and Their Application in Color Conversion LEDs.” ACS Applied Materials and Interfaces, vol. 8, no. 30, American Chemical Society, 2016, pp. 19579–86, doi:10.1021/acsami.6b02529.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 389 |
Mahmood, Fahad, et al. “Selective Scattering between Floquet Bloch and Volkov States in a Topological Insulator.” Nature Physics, vol. 12, no. 4, Nature Publishing Group, 2016, pp. 306–10, doi:10.1038/nphys3609.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 460 |
Willmann, Katharina, et al. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research, vol. 15, no. 9, American Chemical Society, 2016, pp. 2900–09, doi:10.1021/acs.jproteome.5b01004.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv