Please note that IST 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.
2467 Publications
2016 | Journal Article | IST-REx-ID: 1631 |

Spread of pedigree versus genetic ancestry in spatially distributed populations
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
View
| Files available
| DOI
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
2016 | Journal Article | IST-REx-ID: 1641 |

A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
View
| Files available
| DOI
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
2016 | Conference Paper | IST-REx-ID: 1653 |

New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
View
| Files available
| DOI
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
2016 | Journal Article | IST-REx-ID: 1662 |

Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
2016 | 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.
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1069 |

On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View
| Files available
| DOI
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1070 |

Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1071 |

Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Journal Article | IST-REx-ID: 1081 |

Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
View
| Files available
| DOI
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
2016 | Conference Paper | IST-REx-ID: 1082 |

Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
View
| Files available
| Download Preprint (ext.)
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
2016 | 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.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1093 |

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1095 |

Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View
| Files available
| DOI
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1097 |

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
View
| Files available
| DOI
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1098 |

Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
View
| Files available
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
2016 | Conference Paper | IST-REx-ID: 1099 |

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
View
| Files available
| DOI
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1102 |

Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
View
| DOI
| Download Published Version (ext.)
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
2016 | Conference Paper | IST-REx-ID: 1103 |

Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
View
| DOI
| Download Preprint (ext.)
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1115 |

Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
View
| Files available
| DOI
| Download Preprint (ext.)
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
2016 | Thesis | IST-REx-ID: 1122 |

Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
View
| Files available
| DOI
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1126 |

Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View
| Files available
| DOI
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1128 |

Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
View
| Files available
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
2016 | Conference Paper | IST-REx-ID: 1135 |

Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
View
| Files available
| DOI
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1136 |

Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C.J. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
View
| DOI
| Download Submitted Version (ext.)
P. Manteaux, U. Vimont, C.J. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
2016 | Journal Article | IST-REx-ID: 1137 |

RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
E. Salzer, D. Çaǧdaş, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Salzer, D. Çaǧdaş, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.
2016 | Conference Paper | IST-REx-ID: 1138 |

Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
2016 | Conference Paper | IST-REx-ID: 1140 |

Model and objective separation with conditional lower bounds disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
2016 | Journal Article | IST-REx-ID: 1142 |

Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.
View
| DOI
| Download Submitted Version (ext.)
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.
2016 | Journal Article | IST-REx-ID: 1143 |

Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
View
| DOI
| Download Preprint (ext.)
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
2016 | Journal Article | IST-REx-ID: 1145 |

Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
View
| Files available
| DOI
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
2016 | Journal Article | IST-REx-ID: 1147 |

Auxin flow mediated competition between axillary buds to restore apical dominance
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
View
| Files available
| DOI
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1151 |

A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
2016 | Journal Article | IST-REx-ID: 1153 |

A model of differential growth guided apical hook formation in plants
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
View
| DOI
| Download Submitted Version (ext.)
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
2016 | Journal Article | IST-REx-ID: 1154 |

A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
View
| Files available
| DOI
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1157 |

Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
2016 | Journal Article | IST-REx-ID: 1158 |

Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
View
| Files available
| DOI
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
2016 | Conference Paper | IST-REx-ID: 1164 |

Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
2016 | Conference Paper | IST-REx-ID: 1165 |

C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
View
| Files available
| DOI
| Download Preprint (ext.)
R. Fulek, in:, Springer, 2016, pp. 94–106.
2016 | Journal Article | IST-REx-ID: 1167 |

Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
View
| Files available
| DOI
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
2016 | Journal Article | IST-REx-ID: 1172 |

Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
View
| Files available
| DOI
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1177 |

A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
View
| DOI
| Download Submitted Version (ext.)
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
2016 | Conference Paper | IST-REx-ID: 1179 |

Pseudoentropy: Lower-bounds for chain rules and transformations
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
View
| DOI
| Download Preprint (ext.)
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
2016 | Conference Paper | IST-REx-ID: 1182 |

Robust draws in balanced knockout tournaments
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.
View
| Files available
| Download Preprint (ext.)
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.
2016 | Journal Article | IST-REx-ID: 1184 |

Mating and longevity in ant males
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
View
| Files available
| DOI
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
2016 | Journal Article | IST-REx-ID: 1186 |

Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).
View
| Files available
| DOI
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1188 |

Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth
D. De Martino, D. Masoero, Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).
View
| DOI
| Download Preprint (ext.)
D. De Martino, D. Masoero, Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).
2016 | Conference Paper | IST-REx-ID: 1193 |

Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
2016 | Journal Article | IST-REx-ID: 1195 |

Reconstruction of haplotype-blocks selected during experimental evolution.
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
View
| Files available
| DOI
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
2016 | Journal Article | IST-REx-ID: 1197 |

Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
View
| Files available
| DOI
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Journal Article | IST-REx-ID: 1200 |

Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze
C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.
View
| Files available
| DOI
C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.
2016 | Journal Article | IST-REx-ID: 1202 |

Immune priming in arthropods: an update focusing on the red flour beetle
B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology 119 (2016) 254–261.
View
| Files available
| DOI
B. Milutinovic, R. Peuß, K. Ferro, J. Kurtz, Zoology 119 (2016) 254–261.
2016 | Journal Article | IST-REx-ID: 1203 |

Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
View
| DOI
| Download Submitted Version (ext.)
F. Hu, L. Rishishwar, A. Sivadas, G. Mitchell, J. King, T. Murphy, J. Gilsdorf, L. Mayer, X. Wang, Journal of Clinical Microbiology 54 (2016) 3010–3017.
2016 | Journal Article | IST-REx-ID: 1204 |

Surprises in numerical expressions of physical constants
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.
View
| DOI
| Download Preprint (ext.)
A. Amir, M. Lemeshko, T. Tokieda, American Mathematical Monthly 123 (2016) 609–612.
2016 | 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.
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 | Journal Article | IST-REx-ID: 1206 |

Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
View
| DOI
| Download Preprint (ext.)
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
2016 | Journal Article | IST-REx-ID: 1209 |

Purification of ovine respiratory complex i results in a highly active and stable preparation
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.
View
| DOI
| Download Submitted Version (ext.)
J.A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, L.A. Sazanov, Journal of Biological Chemistry 291 (2016) 24657–24675.
2016 | Journal Article | IST-REx-ID: 1212 |

Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032.
View
| Files available
| DOI
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, J. Friml, Current Biology 26 (2016) 3026–3032.
2016 | Journal Article | IST-REx-ID: 1216 |

Acceleration feature points of unsteady shear flows
J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyński, Archives of Mechanics 68 (2016) 55–80.
View
| Download Published Version (ext.)
J. Kasten, J. Reininghaus, I. Hotz, H. Hege, B. Noack, G. Daviller, M. Morzyński, Archives of Mechanics 68 (2016) 55–80.
2016 | Journal Article | IST-REx-ID: 1218 |

Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs
A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.
View
| DOI
| Download Submitted Version (ext.)
A. Angermayr, P. Van Alphen, D. Hasdemir, G. Kramer, M. Iqbal, W. Van Grondelle, H. Hoefsloot, Y. Choi, K. Hellingwerf, Applied and Environmental Microbiology 82 (2016) 4180–4189.
2016 | Journal Article | IST-REx-ID: 1219 |

Bulk universality for deformed wigner matrices
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
2016 | Conference Paper | IST-REx-ID: 1220 |

Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
View
| DOI
| Download Preprint (ext.)
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
2016 | Journal Article | IST-REx-ID: 1221 |

Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein
J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, F1000 Research 5 (2016).
View
| Files available
| DOI
J. Michalko, M. Glanc, C. Perrot Rechenmann, J. Friml, F1000 Research 5 (2016).
2016 | 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.
View
| DOI
| Download Preprint (ext.)
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 | Journal Article | IST-REx-ID: 1223 |

Localization for transversally periodic random potentials on binary trees
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
View
| DOI
| Download Preprint (ext.)
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
2016 | Conference Paper | IST-REx-ID: 1225 |

Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
2016 | Journal Article | IST-REx-ID: 1226 |

Atomic structure of the entire mammalian mitochondrial complex i
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Fiedorczuk, J.A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, L.A. Sazanov, Nature 538 (2016) 406–410.
2016 | Conference Paper | IST-REx-ID: 1227 |

Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
View
| Files available
| DOI
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 | Conference Paper | IST-REx-ID: 1229 |

Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 | Conference Paper | IST-REx-ID: 1230 |

Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 | Conference Paper | IST-REx-ID: 1231 |

On the complexity of scrypt and proofs of space in the parallel random oracle model
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.
2016 | Conference Paper | IST-REx-ID: 1233 |

Standard security does imply security against selective opening for markov distributions
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.
2016 | Conference Paper | IST-REx-ID: 1234 |

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Conference Paper | IST-REx-ID: 1235 |

Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 | Conference Paper | IST-REx-ID: 1236 |

Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 | Journal Article | IST-REx-ID: 1238 |

Endosomal interactions during root hair growth
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
View
| Files available
| DOI
D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).
2016 | Journal Article | IST-REx-ID: 1240 |

Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
View
| Files available
| DOI
A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).
2016 | Journal Article | IST-REx-ID: 1241 |

The role of recombination in evolutionary rescue
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
View
| DOI
| Download Preprint (ext.)
H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.
2016 | Journal Article | IST-REx-ID: 1242 |

Extending the dynamic range of transcription factor action by translational regulation
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
View
| DOI
| Download Preprint (ext.)
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
2016 | Journal Article | IST-REx-ID: 1244 |

Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
View
| DOI
| Download Submitted Version (ext.)
P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.
2016 | Journal Article | IST-REx-ID: 1246 |

Imaging of electric and magnetic fields near plasmonic nanowires
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).
View
| Files available
| DOI
I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1247 |

ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.
View
| DOI
| Download Submitted Version (ext.)
M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.
2016 | Journal Article | IST-REx-ID: 1248 |

Information processing in living systems
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
View
| DOI
| Download Preprint (ext.)
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
2016 | Journal Article | IST-REx-ID: 1249 |

Determining physical properties of the cell cortex
A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.
View
| Files available
| DOI
A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.
2016 | Journal Article | IST-REx-ID: 1250 |

Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
2016 | Journal Article | IST-REx-ID: 1251 |

TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics
J. Zhu, A. Bailly, M. Zwiewka, V. Sovero, M. Di Donato, P. Ge, J. Oehri, B. Aryal, P. Hao, M. Linnert, N. Burgardt, C. Lücke, M. Weiwad, M. Michel, O. Weiergräber, S. Pollmann, E. Azzarello, S. Mancuso, N. Ferro, Y. Fukao, C. Hoffmann, R. Wedlich Söldner, J. Friml, C. Thomas, M. Geisler, Plant Cell 28 (2016) 930–948.
View
| DOI
| Download Submitted Version (ext.)
J. Zhu, A. Bailly, M. Zwiewka, V. Sovero, M. Di Donato, P. Ge, J. Oehri, B. Aryal, P. Hao, M. Linnert, N. Burgardt, C. Lücke, M. Weiwad, M. Michel, O. Weiergräber, S. Pollmann, E. Azzarello, S. Mancuso, N. Ferro, Y. Fukao, C. Hoffmann, R. Wedlich Söldner, J. Friml, C. Thomas, M. Geisler, Plant Cell 28 (2016) 930–948.
2016 | Journal Article | IST-REx-ID: 1252 |

Inducing a map on homology from a correspondence
S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.
2016 | Journal Article | IST-REx-ID: 1253 |

How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
View
| Files available
| DOI
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
2016 | Journal Article | IST-REx-ID: 1254 |

Uniform expansivity outside a critical neighborhood in the quadratic family
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
View
| DOI
| Download Preprint (ext.)
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
2016 | Journal Article | IST-REx-ID: 1255 |

Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).
View
| Files available
| DOI
R. Peuß, K. Wensing, L. Woestmann, H. Eggert, B. Milutinovic, M. Sroka, J. Scharsack, J. Kurtz, S. Armitage, Royal Society Open Science 3 (2016).
2016 | Conference Paper | IST-REx-ID: 1256 |

From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
View
| Files available
| DOI
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
2016 | Journal Article | IST-REx-ID: 1257 |

A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
View
| Files available
| DOI
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
2016 | Journal Article | IST-REx-ID: 1259 |

Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
View
| Files available
| DOI
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
2016 | Journal Article | IST-REx-ID: 1260 |

The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016).
View
| DOI
| Download Preprint (ext.)
| arXiv
D. De Martino, International Journal of Modern Physics C 27 (2016).
2016 | Journal Article | IST-REx-ID: 1261 |

Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
View
| DOI
| Download Preprint (ext.)
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
2016 | Journal Article | IST-REx-ID: 1262 |

Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View
| Files available
| DOI
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
2016 | Journal Article | IST-REx-ID: 1263 |

Efficient microwave to optical photon conversion: An electro-optical realization
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
View
| DOI
| Download Published Version (ext.)
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
2016 | Journal Article | IST-REx-ID: 1264 |

Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
View
| DOI
| Download Submitted Version (ext.)
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
2016 | Journal Article | IST-REx-ID: 1266 |

Neural oscillations as a signature of efficient coding in the presence of synaptic delays
M.J. Chalk, B. Gutkin, S. Denève, ELife 5 (2016).
View
| Files available
| DOI
M.J. Chalk, B. Gutkin, S. Denève, ELife 5 (2016).
2016 | Journal Article | IST-REx-ID: 1267 |

Nonexistence of large nuclei in the liquid drop model
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.
View
| Files available
| DOI
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.
2016 | Journal Article | IST-REx-ID: 1269 |

Plant hormones in interactions with the environment
E. Benková, Plant Molecular Biology 91 (2016) 597.
View
| Files available
| DOI
E. Benková, Plant Molecular Biology 91 (2016) 597.