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.
5250 Publications
2015 |Published| Conference Paper | IST-REx-ID: 1992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach, “Succinct representation of concurrent trace sets,” presented at the POPL: Principles of Programming Languages, Mumbai, India, 2015, pp. 433–444.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1997 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Noren, “The three-state toric homogeneous Markov chain model has Markov degree two,” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June. Elsevier, pp. 285–296, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2008 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Klimova and T. Rudas, “Iterative scaling in curved exponential families,” Scandinavian Journal of Statistics, vol. 42, no. 3. Wiley, pp. 832–847, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2006 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, and Z. Teitler, “The monotone secant conjecture in the real Schubert calculus,” Experimental Mathematics, vol. 24, no. 3. Taylor & Francis, pp. 261–269, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2014 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Klimova, C. Uhler, and T. Rudas, “Faithfulness and learning hypergraphs from discrete distributions,” Computational Statistics & Data Analysis, vol. 87, no. 7. Elsevier, pp. 57–72, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2025 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Kawada et al., “The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1. Elsevier, pp. 144–156, 2015.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 2030 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Shi, M. Rampp, B. Hof, and M. Avila, “A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow,” Computers and Fluids, vol. 106, no. 1. Elsevier, pp. 1–11, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of a self-map,” Foundations of Computational Mathematics, vol. 15, no. 5. Springer, pp. 1213–1244, 2015.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 2034 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Bérard, K. Chatterjee, and N. Sznajder, “Probabilistic opacity for Markov decision processes,” Information Processing Letters, vol. 115, no. 1. Elsevier, pp. 52–59, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2085 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Nam and R. Seiringer, “Collective excitations of Bose gases in the mean-field regime,” Archive for Rational Mechanics and Analysis, vol. 215, no. 2. Springer, pp. 381–417, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2166 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Erdös and A. Knowles, “The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case,” Communications in Mathematical Physics, vol. 333, no. 3. Springer, pp. 1365–1416, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1832 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” Logical Methods in Computer Science, vol. 11, no. 1. International Federation of Computational Logic, 2015.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 2271 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
V. Kolmogorov, J. Thapper, and S. Živný, “The power of linear programming for general-valued CSPs,” SIAM Journal on Computing, vol. 44, no. 1. SIAM, pp. 1–36, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 1598 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” Theoretical Computer Science, vol. 573, no. 3. Elsevier, pp. 71–89, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 1805
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” Computational Geometry: Theory and Applications, vol. 48, no. 8. Elsevier, pp. 606–621, 2015.
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1731 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12. Elsevier, pp. 3–16, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1. ACM, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1661 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 473 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Lewin, P. Nam, and N. Rougerie, “Derivation of nonlinear gibbs measures from many-body quantum mechanics,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2. Ecole Polytechnique, pp. 65–115, 2015.
[Published Version]
View
| Files available
| DOI