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.
3022 Publications
2015 | Conference Paper | IST-REx-ID: 1511 |

On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View
| Files available
| DOI
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
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).
View
| Files available
| DOI
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
2015 | Conference Paper | IST-REx-ID: 1637 |

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
View
| Files available
| DOI
| Download Preprint (ext.)
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
2015 | Journal Article | IST-REx-ID: 1576 |

Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
View
| Files available
| DOI
| Download Preprint (ext.)
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
2015 | Preprint | IST-REx-ID: 8183 |

Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
2015 | Journal Article | IST-REx-ID: 1602 |

Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
2015 | Conference Paper | IST-REx-ID: 1607 |

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
2015 | Conference Paper | IST-REx-ID: 1714
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
2015 | Journal Article | IST-REx-ID: 1537 |

Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
View
| Files available
| DOI
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
2015 | Journal Article | IST-REx-ID: 802
Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis
J. Engel, P.S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, F. Routier, Glycobiology 25 (2015) 1423–1430.
View
| DOI
| PubMed | Europe PMC
J. Engel, P.S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, F. Routier, Glycobiology 25 (2015) 1423–1430.
2015 | Conference Paper | IST-REx-ID: 1633 |

High-resolution brittle fracture simulation with boundary elements
D. Hahn, C.J. Wojtan, in:, ACM, 2015.
View
| Files available
| DOI
D. Hahn, C.J. Wojtan, in:, ACM, 2015.
2015 | Journal Article | IST-REx-ID: 1591 |

PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
2014 | Journal Article | IST-REx-ID: 1375 |

Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M. 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.
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.
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: 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, IST Austria, 2014.
View
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST 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, IST Austria, 2014.
View
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
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: 1507 |

Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View
| Download Submitted Version (ext.)
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
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.
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: 1532
Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
View
| DOI
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
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).
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
2014 | Conference Paper | IST-REx-ID: 1643 |

Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
2014 | Conference Paper | IST-REx-ID: 1702 |

Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
View
| DOI
| Download Submitted Version (ext.)
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
2014 | Conference Paper | IST-REx-ID: 1708
Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
View
| Download None (ext.)
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
2014 | Book Chapter | IST-REx-ID: 1806
Auxin on the road navigated by cellular PIN polarity
P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
View
| DOI
P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
2014 | Journal Article | IST-REx-ID: 1816 |

Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
View
| Files available
| DOI
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
2014 | Journal Article | IST-REx-ID: 1821 |

Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).
View
| Files available
| DOI
R. Seiringer, Journal of Mathematical Physics 55 (2014).
2014 | Journal Article | IST-REx-ID: 1822
Introduction
V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
View
| DOI
V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
2014 | Book Chapter | IST-REx-ID: 1829
Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
View
| DOI
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
2014 | Journal Article | IST-REx-ID: 1844 |

Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
View
| Files available
| DOI
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
2014 | Journal Article | IST-REx-ID: 1852 |

An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
View
| DOI
| Download Submitted Version (ext.)
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
2014 | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View
| DOI
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
2014 | Journal Article | IST-REx-ID: 1854 |

Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View
| Files available
| DOI
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
2014 | Journal Article | IST-REx-ID: 1842 |

On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
View
| DOI
| Download Submitted Version (ext.)
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
2014 | Journal Article | IST-REx-ID: 1862 |

Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
View
| DOI
| Download Submitted Version (ext.)
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
2014 | Conference Paper | IST-REx-ID: 1869
Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
View
| DOI
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
2014 | Conference Paper | IST-REx-ID: 1870 |

Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
View
| Files available
| DOI
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
2014 | Conference Paper | IST-REx-ID: 1872 |

Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View
| Files available
| DOI
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
2014 | Conference Paper | IST-REx-ID: 1875 |

Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
View
| Files available
| DOI
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
2014 | Journal Article | IST-REx-ID: 1876 |

Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
View
| Download Submitted Version (ext.)
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
2014 | Journal Article | IST-REx-ID: 1877
Physiology: Relax and come in
M.K. Sixt, K. Vaahtomeri, Nature 514 (2014) 441–442.
View
| DOI
M.K. Sixt, K. Vaahtomeri, Nature 514 (2014) 441–442.
2014 | Journal Article | IST-REx-ID: 1884
Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
View
| Download None (ext.)
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
2014 | Journal Article | IST-REx-ID: 1886 |

Variance predicts salience in central sensory processing
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkačik, ELife (2014).
View
| Files available
| DOI
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkačik, ELife (2014).
2014 | Journal Article | IST-REx-ID: 1887
Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
View
| Download None (ext.)
S. Cremer, Zoologie (2014) 23–30.
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, Pfeil, 2014, pp. 65–72.
View
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Pfeil, 2014, pp. 65–72.
2014 | Journal Article | IST-REx-ID: 1889 |

Translation-invariant quasi-free states for fermionic systems and the BCS approximation
G. Bräunlich, C. Hainzl, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
View
| DOI
| Download Submitted Version (ext.)
G. Bräunlich, C. Hainzl, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
2014 | Journal Article | IST-REx-ID: 1890 |

Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, A. Ischebeck, Psychophysiology 51 (2014) 385–395.
View
| Files available
| DOI
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, A. Ischebeck, Psychophysiology 51 (2014) 385–395.
2014 | Journal Article | IST-REx-ID: 1891
Theoretical tests of the mechanical protection strategy in protein nanomechanics
M. Chwastyk, A. Galera Prat, M.K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, M. Cieplak, Proteins: Structure, Function and Bioinformatics 82 (2014) 717–726.
View
| DOI
M. Chwastyk, A. Galera Prat, M.K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, M. Cieplak, Proteins: Structure, Function and Bioinformatics 82 (2014) 717–726.