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.
7172 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2167 | 
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
2014 | Published | Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
2014 | Published | Conference Paper | IST-REx-ID: 2159 |
Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 | Published | Journal Article | IST-REx-ID: 2023 |
Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
[Published Version]
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 | Published | Journal Article | IST-REx-ID: 1923 |
Active elastic thin shell theory for cellular deformations
H. Berthoumieux, J.-L. Maître, C.-P.J. Heisenberg, E. Paluch, F. Julicher, G. Salbreux, New Journal of Physics 16 (2014).
[Published Version]
View
| Files available
| DOI
H. Berthoumieux, J.-L. Maître, C.-P.J. Heisenberg, E. Paluch, F. Julicher, G. Salbreux, New Journal of Physics 16 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2029 |
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Published | Journal Article | IST-REx-ID: 1999
Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
View
| Files available
| DOI
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
2013 | Published | Journal Article | IST-REx-ID: 10396 |
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
2013 | Published | Journal Article | IST-REx-ID: 970 |
New Dirac points and multiple Landau level crossings in biased trilayer graphene
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
2013 | Published | Journal Article | IST-REx-ID: 971 |
Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge
M. Serbyn, M. Skvortsov, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, M. Skvortsov, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
2013 | Published | Journal Article | IST-REx-ID: 972 |
Observation of dirac node formation and mass acquisition in a topological crystalline insulator
Y. Okada, M. Serbyn, H. Lin, D. Walkup, W. Zhou, C. Dhital, M. Neupane, S. Xu, Y. Wang, R. Sankar, F. Chou, A. Bansil, M. Hasan, S. Wilson, L. Fu, V. Madhavan, Science 341 (2013) 1496–1499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Okada, M. Serbyn, H. Lin, D. Walkup, W. Zhou, C. Dhital, M. Neupane, S. Xu, Y. Wang, R. Sankar, F. Chou, A. Bansil, M. Hasan, S. Wilson, L. Fu, V. Madhavan, Science 341 (2013) 1496–1499.
2013 | Published | Journal Article | IST-REx-ID: 973 |
Local conservation laws and the structure of the many body localized states
M. Serbyn, Z. Papić, D. Abanin, Physical Review Letters 111 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, Z. Papić, D. Abanin, Physical Review Letters 111 (2013).
2013 | Published | Journal Article | IST-REx-ID: 974 |
Overscreened Kondo fixed point in S=1 spin liquid
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
2013 | Research Data Reference | IST-REx-ID: 9749
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
[Published Version]
View
| Files available
| DOI
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
2013 | Published | Journal Article | IST-REx-ID: 975 |
Universal slow growth of entanglement in interacting strongly disordered systems
M. Serbyn, Z. Papić, D. Abanin, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, Z. Papić, D. Abanin, Physical Review Letters 110 (2013).
2013 | Research Data Reference | IST-REx-ID: 9751 |
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
2013 | Research Data Reference | IST-REx-ID: 9754 |
Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
2013 | Published | Journal Article | IST-REx-ID: 976 |
Spinon-phonon interaction in algebraic spin liquids
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
View
| DOI
| Download (ext.)
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
2013 | Published | Journal Article | IST-REx-ID: 894
Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).
View
| DOI
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).