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.
4941 Publications
2015 | Journal Article | IST-REx-ID: 1681 | 
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
[Published Version]
View
| Files available
| DOI
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
2015 | Journal Article | IST-REx-ID: 1655 |
Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
[Published Version]
View
| Files available
| DOI
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
2015 | Journal Article | IST-REx-ID: 1834 |
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
[Published Version]
View
| Files available
| DOI
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
2015 | Journal Article | IST-REx-ID: 1635 |
Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
2015 | Conference Paper | IST-REx-ID: 1603 |
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
2015 | Research Data | IST-REx-ID: 5549 |
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
[Published Version]
View
| Files available
| DOI
A. Fellner, (2015).
2015 | Conference Paper | IST-REx-ID: 1512 |
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.
[Submitted Version]
View
| Files available
| DOI
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.
2015 | Conference Paper | IST-REx-ID: 1675 |
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
2015 | Journal Article | IST-REx-ID: 1619 |
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
[Published Version]
View
| Files available
| DOI
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
2014 | Journal Article | IST-REx-ID: 10815 |
Molecular and cellular mechanisms of development underlying congenital diseases
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
2014 | Book (Editor) | IST-REx-ID: 10811
Auxin and Its Role in Plant Development
E. Zažímalová, J. Petrášek, E. Benková, eds., Auxin and Its Role in Plant Development, 1st ed., Springer Nature, Vienna, 2014.
View
| DOI
E. Zažímalová, J. Petrášek, E. Benková, eds., Auxin and Its Role in Plant Development, 1st ed., Springer Nature, Vienna, 2014.
2014 | Conference Paper | IST-REx-ID: 10884 |
Parameterized model checking of token-passing systems
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
2014 | Book Chapter | IST-REx-ID: 10893
Toward the extraction of saddle periodic orbits
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
View
| DOI
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
2014 | Journal Article | IST-REx-ID: 1375 |
Approximating the minimum cycle mean
K. Chatterjee, M.H. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
2014 | Conference Paper | IST-REx-ID: 1392 |
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
[Submitted Version]
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
2014 | Conference Paper | IST-REx-ID: 1393 |
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
2014 | Conference Paper | IST-REx-ID: 1516 |
On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
2014 | Journal Article | IST-REx-ID: 1629 |
Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
[Submitted Version]
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
2014 | Conference Paper | IST-REx-ID: 10793
Clustered planarity testing revisited
R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.
[Preprint]
View
| Files available
| DOI
| arXiv
R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.