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.
4155 Publications
2016 | Journal Article | IST-REx-ID: 1359 |

The effect of gene interactions on the long-term response to selection
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
2016 | Journal Article | IST-REx-ID: 1360 |

Elementary approach to closed billiard trajectories in asymmetric normed spaces
A. Akopyan, A. Balitskiy, R. Karasev, A. Sharipova, Proceedings of the American Mathematical Society 144 (2016) 4501–4513.
View
| DOI
| Download Preprint (ext.)
A. Akopyan, A. Balitskiy, R. Karasev, A. Sharipova, Proceedings of the American Mathematical Society 144 (2016) 4501–4513.
2016 | Conference Paper | IST-REx-ID: 1361 |

Surface only liquids
F. Da, D. Hahn, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2016.
View
| Files available
| DOI
F. Da, D. Hahn, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1362 |

Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C.J. Wojtan, in:, ACM, 2016.
View
| Files available
| DOI
D. Hahn, C.J. Wojtan, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1363 |

Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C.J. Wojtan, in:, ACM, 2016.
View
| Files available
| DOI
M. Bojsen-Hansen, C.J. Wojtan, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1364 |

Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
View
| Files available
| DOI
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1365 |

Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
View
| DOI
| Download Preprint (ext.)
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
2016 | Conference Paper | IST-REx-ID: 1366 |

Provably robust sponge-based PRNGs and KDFs
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
View
| DOI
| Download Preprint (ext.)
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
2016 | Journal Article | IST-REx-ID: 1368 |

Correlation driven d wave superconductivity in Anderson lattice model: Two gaps
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View
| DOI
| Download Preprint (ext.)
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
2016 | Conference Paper | IST-REx-ID: 1369 |

Seed, expand and constrain: Three principles for weakly-supervised image segmentation
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
View
| DOI
| Download Preprint (ext.)
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
2016 | Journal Article | IST-REx-ID: 1370 |

Phonon Josephson junction with nanomechanical resonators
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View
| DOI
| Download Preprint (ext.)
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
2016 | Journal Article | IST-REx-ID: 1371
Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function
O. Martin, A. Krzywicki, M.P. Zagórski, Physics of Life Reviews 17 (2016) 124–158.
View
| DOI
O. Martin, A. Krzywicki, M.P. Zagórski, Physics of Life Reviews 17 (2016) 124–158.
2016 | Journal Article | IST-REx-ID: 1372 |

Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
View
| Files available
| DOI
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
2016 | Journal Article | IST-REx-ID: 1377 |

Total variation on a tree
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
View
| DOI
| Download Preprint (ext.)
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
2016 | Conference Paper | IST-REx-ID: 1378 |

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
View
| Files available
| DOI
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
2016 | Conference Paper | IST-REx-ID: 1379 |

Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
View
| Files available
| DOI
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
2016 | Journal Article | IST-REx-ID: 1380 |

On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
View
| DOI
| Download Preprint (ext.)
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
2016 | Conference Paper | IST-REx-ID: 1381 |

Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
2016 | Journal Article | IST-REx-ID: 1382
Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae
T. Ellis, D. Field, Annals of Botany 117 (2016) 1133–1140.
View
| Files available
| DOI
T. Ellis, D. Field, Annals of Botany 117 (2016) 1133–1140.
2016 | Conference Paper | IST-REx-ID: 1389 |

On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View
| DOI
| Download Preprint (ext.)
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
2016 | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View
| DOI
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 | Conference Paper | IST-REx-ID: 1391 |

Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 | Journal Article | IST-REx-ID: 1394 |

Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
View
| DOI
| Download Preprint (ext.)
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
2016 | Thesis | IST-REx-ID: 1396 |

Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View
| Files available
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1397
Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
View
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
2016 | 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, IST Austria, 2016.
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, IST Austria, 2016.
2016 | Journal Article | IST-REx-ID: 1408 |

On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
View
| Files available
| DOI
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
2016 | Journal Article | IST-REx-ID: 1409 |

Genomics of hybridization and its evolutionary consequences
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
View
| Files available
| DOI
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
2016 | Journal Article | IST-REx-ID: 1410 |

Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development
J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G. León, R. Tejos, Plant Science 250 (2016) 10–19.
View
| Files available
| DOI
| PubMed | Europe PMC
J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G. León, R. Tejos, Plant Science 250 (2016) 10–19.
2016 | Journal Article | IST-REx-ID: 1411 |

Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
View
| Files available
| DOI
| Download Preprint (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
2016 | Journal Article | IST-REx-ID: 1412 |

A practical method for high-resolution embedded liquid surfaces
R. Goldade, C. Batty, C.J. Wojtan, Computer Graphics Forum 35 (2016) 233–242.
View
| Files available
| DOI
R. Goldade, C. Batty, C.J. Wojtan, Computer Graphics Forum 35 (2016) 233–242.
2016 | Journal Article | IST-REx-ID: 1413
Generalized diffusion curves: An improved vector representation for smooth-shaded images
S. Jeschke, Computer Graphics Forum 35 (2016) 71–79.
View
| DOI
S. Jeschke, Computer Graphics Forum 35 (2016) 71–79.
2016 | Journal Article | IST-REx-ID: 1414
Modeling and estimation of energy-based hyperelastic objects
E. Miguel Villalba, D. Miraut, M. Otaduy, Computer Graphics Forum 35 (2016) 385–396.
View
| DOI
E. Miguel Villalba, D. Miraut, M. Otaduy, Computer Graphics Forum 35 (2016) 385–396.
2016 | Journal Article | IST-REx-ID: 1415 |

Narrow band FLIP for liquid simulations
F. Ferstl, R. Ando, C.J. Wojtan, R. Westermann, N. Thuerey, Computer Graphics Forum 35 (2016) 225–232.
View
| Files available
| DOI
F. Ferstl, R. Ando, C.J. Wojtan, R. Westermann, N. Thuerey, Computer Graphics Forum 35 (2016) 225–232.
2016 | Journal Article | IST-REx-ID: 1416 |

Interaction-driven Lifshitz transition with dipolar fermions in optical lattices
E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
View
| DOI
| Download Preprint (ext.)
E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
2016 | Journal Article | IST-REx-ID: 1417 |

PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis
S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná, J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml, New Phytologist 211 (2016) 65–74.
View
| Files available
| DOI
S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná, J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml, New Phytologist 211 (2016) 65–74.
2016 | Journal Article | IST-REx-ID: 1419
Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model
A. Tomski, J. Kaczmarczyk, Journal of Physics: Condensed Matter 28 (2016).
View
| DOI
A. Tomski, J. Kaczmarczyk, Journal of Physics: Condensed Matter 28 (2016).
2016 | 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 | Journal Article | IST-REx-ID: 1422 |

Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations
R. Frank, C. Hainzl, B. Schlein, R. Seiringer, Letters in Mathematical Physics 106 (2016) 913–923.
View
| Files available
| DOI
R. Frank, C. Hainzl, B. Schlein, R. Seiringer, Letters in Mathematical Physics 106 (2016) 913–923.
2016 | Journal Article | IST-REx-ID: 1423 |

Comparing reactive and memory-one strategies of direct reciprocity
S. Baek, H. Jeong, C. Hilbe, M. Nowak, Scientific Reports 6 (2016).
View
| Files available
| DOI
S. Baek, H. Jeong, C. Hilbe, M. Nowak, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1426 |

Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
M. Chakra, C. Hilbe, A. Traulsen, Royal Society Open Science 3 (2016).
View
| Files available
| DOI
M. Chakra, C. Hilbe, A. Traulsen, Royal Society Open Science 3 (2016).
2016 | Journal Article | IST-REx-ID: 1427 |

Epistatic interactions in the arabinose cis-regulatory element
M. Lagator, C. Igler, A. Moreno, C.C. Guet, J.P. Bollback, Molecular Biology and Evolution 33 (2016) 761–769.
View
| Files available
| DOI
M. Lagator, C. Igler, A. Moreno, C.C. Guet, J.P. Bollback, Molecular Biology and Evolution 33 (2016) 761–769.
2016 | Conference Paper | IST-REx-ID: 1428 |

Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing Ltd., 2016.
View
| Files available
| DOI
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing Ltd., 2016.
2016 | Journal Article | IST-REx-ID: 1429 |

Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides
C. Husko, M. Wulf, S. Lefrançois, S. Combrié, G. Lehoucq, A. De Rossi, B. Eggleton, L. Kuipers, Nature Communications 7 (2016).
View
| Files available
| DOI
C. Husko, M. Wulf, S. Lefrançois, S. Combrié, G. Lehoucq, A. De Rossi, B. Eggleton, L. Kuipers, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 1431 |

Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon
A. Tartally, A. Kelager, M. Fürst, D. Nash, PeerJ 2016 (2016).
View
| Files available
| DOI
A. Tartally, A. Kelager, M. Fürst, D. Nash, PeerJ 2016 (2016).
2016 | Journal Article | IST-REx-ID: 1432 |

Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
View
| Files available
| DOI
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 1434 |

Local stability of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
View
| DOI
| Download Preprint (ext.)
Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 271 (2016) 672–719.
2016 | Journal Article | IST-REx-ID: 1435 |

P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction
J. Guzmán, Z. Gerevich, Neural Plasticity 2016 (2016).
View
| Files available
| DOI
J. Guzmán, Z. Gerevich, Neural Plasticity 2016 (2016).
2016 | Journal Article | IST-REx-ID: 1436 |

Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction
V. Bach, S. Breteaux, S.P. Petrat, P. Pickl, T. Tzaneteas, Journal de Mathématiques Pures et Appliquées 105 (2016) 1–30.
View
| Files available
| DOI
V. Bach, S. Breteaux, S.P. Petrat, P. Pickl, T. Tzaneteas, Journal de Mathématiques Pures et Appliquées 105 (2016) 1–30.
2016 | Conference Paper | IST-REx-ID: 1438 |

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.