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.
10763 Publications
2016 | Published | Journal Article | IST-REx-ID: 1222 | 
Optimal packings of congruent circles on a square flat torus
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 | Published | Journal Article | IST-REx-ID: 1170 |
Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
[Submitted Version]
View
| Files available
| DOI
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
2016 | Published | Conference Paper | IST-REx-ID: 1166 |
A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
2016 | Published | Journal Article | IST-REx-ID: 1283 |
Seedlings’ strategy to overcome a soil barrier
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
2016 | Published | Conference Paper | IST-REx-ID: 1320 |
Scale-invariant systems realize nonlinear differential operators
M. Lang, E. Sontag, in:, IEEE, 2016.
[Submitted Version]
View
| Files available
| DOI
M. Lang, E. Sontag, in:, IEEE, 2016.
2016 | Published | Thesis | IST-REx-ID: 1130 |
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
2016 | Published | Thesis | IST-REx-ID: 1398 |
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.
2016 | Research Data | IST-REx-ID: 5553 |
Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
D. Field, T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5551 |
Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5552 |
Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5556 |
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, M. Landon, R. Jajoo, (2016).
[Published Version]
View
| Files available
| DOI
M. Lukacisin, M. Landon, R. Jajoo, (2016).
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Research Data Reference | IST-REx-ID: 9864 |
Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, (2016).
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
2016 | Published | Conference Paper | IST-REx-ID: 1421
Scalable static hybridization methods for analysis of nonlinear systems
S. Bak, S. Bogomolov, T.A. Henzinger, T. Johnson, P. Prakash, in:, Springer, 2016, pp. 155–164.
View
| DOI
S. Bak, S. Bogomolov, T.A. Henzinger, T. Johnson, P. Prakash, in:, Springer, 2016, pp. 155–164.
2016 | Published | Technical Report | IST-REx-ID: 5449 |
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 8094 |
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, 15th International Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2016, pp. 142–143.
[Published Version]
View
| Files available
| DOI
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, 15th International Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2016, pp. 142–143.
2016 | Published | Journal Article | IST-REx-ID: 1321 |
Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
[Submitted Version]
View
| Files available
| DOI
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
2016 | Published | Journal Article | IST-REx-ID: 1183 |
Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version]
View
| Files available
| DOI
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.