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.
374 Publications
2015 | Journal Article | IST-REx-ID: 1570 | 
Novel plasticity rule can explain the development of sensorimotor intelligence
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
2015 | Journal Article | IST-REx-ID: 1571
Breaking evolutionary constraint with a tradeoff ratchet
M. de Vos, A. Dawid, V. Šunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.
View
| DOI
M. de Vos, A. Dawid, V. Šunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.
2015 | Journal Article | IST-REx-ID: 1572 |
Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
View
| DOI
| Download Preprint (ext.)
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
2015 | Journal Article | IST-REx-ID: 1573 |
Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
View
| DOI
| Download Preprint (ext.)
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
2015 | Journal Article | IST-REx-ID: 1574 |
A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development
Q. Chen, Y. Liu, S. Maere, E. Lee, G. Van Isterdael, Z. Xie, W. Xuan, J. Lucas, V. Vassileva, S. Kitakura, P. Marhavý, K.T. Wabnik, N. Geldner, E. Benková, J. Le, H. Fukaki, E. Grotewold, C. Li, J. Friml, F. Sack, T. Beeckman, S. Vanneste, Nature Communications 6 (2015).
View
| Files available
| DOI
Q. Chen, Y. Liu, S. Maere, E. Lee, G. Van Isterdael, Z. Xie, W. Xuan, J. Lucas, V. Vassileva, S. Kitakura, P. Marhavý, K.T. Wabnik, N. Geldner, E. Benková, J. Le, H. Fukaki, E. Grotewold, C. Li, J. Friml, F. Sack, T. Beeckman, S. Vanneste, Nature Communications 6 (2015).
2015 | Journal Article | IST-REx-ID: 1575 |
Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
View
| Files available
| DOI
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
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 | Journal Article | IST-REx-ID: 1577 |
Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
2015 | Journal Article | IST-REx-ID: 1578
Triangulations from topologically correct digital Voronoi diagrams
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
View
| DOI
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
2015 | Journal Article | IST-REx-ID: 1579 |
Galois groups of Schubert problems of lines are at least alternating
C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.
View
| DOI
| Download Preprint (ext.)
C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.
2015 | Journal Article | IST-REx-ID: 1580 |
Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.
View
| Files available
| DOI
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.
2015 | Journal Article | IST-REx-ID: 1581
Gradients are shaping up
M.T. Bollenbach, C.-P.J. Heisenberg, Cell 161 (2015) 431–432.
View
| DOI
M.T. Bollenbach, C.-P.J. Heisenberg, Cell 161 (2015) 431–432.
2015 | Journal Article | IST-REx-ID: 1582 |
Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.
2015 | Journal Article | IST-REx-ID: 1583 |
A simple algorithm for computing positively weighted straight skeletons of monotone polygons
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.
2015 | Journal Article | IST-REx-ID: 1584 |
Reprint of: Weighted straight skeletons in the plane
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.
View
| Files available
| DOI
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.
2015 | Journal Article | IST-REx-ID: 1585
Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
View
| DOI
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
2015 | Journal Article | IST-REx-ID: 1586
Metabolic engineering of cyanobacteria for the synthesis of commodity products
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.
View
| DOI
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.
2015 | Journal Article | IST-REx-ID: 1587 |
Quantum interference shifts in laser spectroscopy with elliptical polarization
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).
2015 | Journal Article | IST-REx-ID: 1588
Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
View
| DOI
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
2015 | Journal Article | IST-REx-ID: 1589 |
Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View
| Files available
| DOI
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
2015 | Book Chapter | IST-REx-ID: 1590 |
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer, 2015, pp. 335–347.
View
| DOI
| Download Preprint (ext.)
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer, 2015, pp. 335–347.
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.
2015 | Journal Article | IST-REx-ID: 1593 |
Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
View
| Files available
| DOI
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View
| DOI
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
2015 | Conference Paper | IST-REx-ID: 1595 |
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
View
| Files available
| DOI
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
2015 | Conference Paper | IST-REx-ID: 1596 |
Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
View
| Files available
| DOI
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
2015 | Journal Article | IST-REx-ID: 1598 |
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
2015 | Conference Paper | IST-REx-ID: 1601 |
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
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 | Conference Paper | IST-REx-ID: 1603 |
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
View
| Files available
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
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: 1605 |
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
View
| Files available
| DOI
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
2015 | Conference Paper | IST-REx-ID: 1606
Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, 9333 (2015) 281–286.
View
| DOI
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, 9333 (2015) 281–286.
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: 1609 |
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
2015 | Conference Paper | IST-REx-ID: 1610
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, 9135 (2015) 121–133.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, 9135 (2015) 121–133.
2015 | Journal Article | IST-REx-ID: 1611 |
Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
2015 | Journal Article | IST-REx-ID: 1614 |
Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.
2015 | Journal Article | IST-REx-ID: 1615 |
Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
View
| Files available
| DOI
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
2015 | Journal Article | IST-REx-ID: 1618 |
Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.
2015 | Journal Article | IST-REx-ID: 1623 |
Single-cell screening of photosynthetic growth and lactate production by cyanobacteria
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
View
| Files available
| DOI
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
2015 | Journal Article | IST-REx-ID: 1624 |
Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
View
| Files available
| DOI
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
2015 | Conference Paper | IST-REx-ID: 1625
Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
View
| DOI
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
2015 | Conference Paper | IST-REx-ID: 1626
OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
View
| DOI
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
2015 | Conference Paper | IST-REx-ID: 1627
Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
View
| DOI
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
2015 | Conference Paper | IST-REx-ID: 1628 |
Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.
View
| DOI
| Download Published Version (ext.)
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.
2015 | Conference Paper | IST-REx-ID: 1630 |
Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
2015 | Conference Paper | IST-REx-ID: 1632 |
A stream function solver for liquid simulations
R. Ando, N. Thuerey, C.J. Wojtan, in:, ACM, 2015.
View
| Files available
| DOI
R. Ando, N. Thuerey, C.J. Wojtan, in:, ACM, 2015.
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 | Conference Paper | IST-REx-ID: 1634 |
Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams
F. Da, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2015.
View
| Files available
| DOI
F. Da, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2015.