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.
1707 Publications
2015 |Published| Conference Paper | IST-REx-ID: 1511 | 
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 476–490.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 7457
S. S. Parizi, G. Conley, T. Costanzo, B. Howell, A. Mellinger, and G. Caruntu, “Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors,” RSC Advances, vol. 5, no. 93. RSC, pp. 76356–76362, 2015.
[Submitted Version]
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 778 |
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, and N. Shavit, “Inherent limitations of hybrid transactional memory,” presented at the DISC: Distributed Computing, 2015, vol. 9363, pp. 185–199.
View
| DOI
| Download None (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 780 |
D.-A. Alistarh and R. Gelashvili, “Polylogarithmic-time leader election in population protocols,” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2015, vol. 9135, pp. 479–491.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 9684
P. S. S. Leung, H. S. Leung, B. Cheng, and A. H. W. Ngan, “Size dependence of yield strength simulated by a dislocation-density function dynamics approach,” Modelling and Simulation in Materials Science and Engineering, vol. 23, no. 3. IOP Publishing, 2015.
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1607 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Submitted| Preprint | IST-REx-ID: 8183 |
S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2015 |Published| Technical Report | IST-REx-ID: 5442 |
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
[Published Version]
View
| Files available
2015 |Published| Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1835 |
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1603 |
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1675 |
S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” in 35th Annual Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 585–605.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17615 |
D. J. D’Orazio, Z. Haiman, P. Duffell, B. D. Farris, and A. I. MacFadyen, “A reduced orbital period for the supermassive black hole binary candidate in the quasar PG 1302-102?,” Monthly Notices of the Royal Astronomical Society, vol. 452, no. 3. Oxford University Press, pp. 2540–2545, 2015.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17652 |
D. J. D’Orazio, Z. Haiman, and D. Schiminovich, “Relativistic boost as the cause of periodicity in a massive black-hole binary candidate,” Nature, vol. 525, no. 7569. Springer Science and Business Media LLC, pp. 351–353, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 17663 |
E. Visbal, Z. Haiman, and G. L. Bryan, “Limits on population III star formation in minihaloes implied by Planck,” Monthly Notices of the Royal Astronomical Society, vol. 453, no. 4. Oxford University Press, pp. 4457–4467, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 17685 |
P. Raffai, Z. Haiman, and Z. Frei, “A statistical method to search for recoiling supermassive black holes in active galactic nuclei,” Monthly Notices of the Royal Astronomical Society, vol. 455, no. 1. Oxford University Press, pp. 484–492, 2015.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 10884 |
B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Book Chapter | IST-REx-ID: 10893
J. Kasten, J. Reininghaus, W. Reich, and G. Scheuermann, “Toward the extraction of saddle periodic orbits,” in Topological Methods in Data Analysis and Visualization III , vol. 1, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer, 2014, pp. 55–69.
View
| DOI