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.
4975 Publications
2014 | Journal Article | IST-REx-ID: 2039 |
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
2014 | Journal Article | IST-REx-ID: 2161
Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
View
| Files available
| DOI
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
2014 | Journal Article | IST-REx-ID: 2036 |
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Research Data Reference | IST-REx-ID: 9740 |
Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
2014 | Research Data Reference | IST-REx-ID: 9741 |
Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Lagator, N. Colegrave, P. Neve, (2014).
2014 | Research Data Reference | IST-REx-ID: 9739
Detailed proofs for “The time scale of evolutionary innovation”
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Novak, (2014).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Novak, (2014).
2014 | Journal Article | IST-REx-ID: 2170 |
Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
[Submitted Version]
View
| Files available
| DOI
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
2014 | Research Data Reference | IST-REx-ID: 9753 |
Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
2014 | Research Data Reference | IST-REx-ID: 9752 |
Data from: Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, (2014).
2014 | Journal Article | IST-REx-ID: 9931
Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
View
| Files available
| DOI
| PubMed | Europe PMC
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
2014 | Research Data Reference | IST-REx-ID: 9932 |
Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Dhar, T. Bergmiller, A. Wagner, (2014).
2014 | Journal Article | IST-REx-ID: 535 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
2014 | Conference Paper | IST-REx-ID: 10886
Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
View
| DOI
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
2014 | Book Chapter | IST-REx-ID: 6178
UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
View
| DOI
| PubMed | Europe PMC
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
2014 | Journal Article | IST-REx-ID: 10814
The excitation spectrum for Bose fluids with weak interactions
R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.
View
| DOI
R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.
2014 | Book Chapter | IST-REx-ID: 10817
Notes on the simplification of the Morse-Smale complex
D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
View
| DOI
D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014.
View
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014.
2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.
View
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.
2014 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 2218 |
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
2014 | 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 | 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 | Journal Article | IST-REx-ID: 2001
Bacterial responses to antibiotics and their combinations
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
View
| Files available
| DOI
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
2014 | Conference Paper | IST-REx-ID: 2082 |
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 | Journal Article | IST-REx-ID: 1912 |
The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
2014 | Journal Article | IST-REx-ID: 2084 |
Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
2014 | Conference Paper | IST-REx-ID: 2157 |
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
2014 | Conference Paper | IST-REx-ID: 10894
PHAT – Persistent Homology Algorithms Toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
View
| Files available
| DOI
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
2014 | Technical Report | IST-REx-ID: 5428 |
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
2014 | Journal Article | IST-REx-ID: 1887 |
Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
[Published Version]
View
| Download Published Version (ext.)
S. Cremer, Zoologie (2014) 23–30.
2014 | Journal Article | IST-REx-ID: 2175 |
Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
[Published Version]
View
| Files available
| DOI
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
2014 | Journal Article | IST-REx-ID: 1913 |
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
2014 | Conference Paper | IST-REx-ID: 1507 |
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
2014 | Conference Paper | IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 | Conference Paper | IST-REx-ID: 2160 |
A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
[Submitted Version]
View
| Download Submitted Version (ext.)
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
2014 | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View
| Files available
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
2014 | Book Chapter | IST-REx-ID: 1888
Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
View
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
2014 | Preprint | IST-REx-ID: 2012 |
Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, ArXiv (n.d.).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Iglesias Ham, M. Kerber, C. Uhler, ArXiv (n.d.).
2014 | Journal Article | IST-REx-ID: 2281 |
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
2014 | Journal Article | IST-REx-ID: 2257 |
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
2014 | 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 | 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 | Journal Article | IST-REx-ID: 10895 |
Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
2013 | Conference Paper | IST-REx-ID: 10898
Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.
View
| DOI
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.
2013 | Book Chapter | IST-REx-ID: 10899
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
2013 | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Conference Paper | IST-REx-ID: 1385 |
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.