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.
3258 Publications
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: 1373 |
Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function"
O. Martin, M.P. Zagórski, Physics of Life Reviews 17 (2016) 168–171.
View
| DOI
| Download Preprint (ext.)
O. Martin, M.P. Zagórski, Physics of Life Reviews 17 (2016) 168–171.
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: 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 | Journal Article | IST-REx-ID: 1420 |
A general approximation for the dynamics of quantitative traits
K. Bod’ová, G. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Bod’ová, G. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.
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: 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.
2016 | Conference Paper | IST-REx-ID: 1439 |
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
View
| DOI
| Download Preprint (ext.)
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
2016 | Journal Article | IST-REx-ID: 1440
Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain
H.L. Janovjak, Structure 24 (2016) 213–215.
View
| DOI
H.L. Janovjak, Structure 24 (2016) 213–215.
2016 | Journal Article | IST-REx-ID: 1441 |
A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
View
| Files available
| DOI
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
2016 | Journal Article | IST-REx-ID: 1445
Erratum to: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 233–234.
View
| Files available
| DOI
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 233–234.
2016 | Journal Article | IST-REx-ID: 1446 |
On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 213–232.
View
| Files available
| DOI
M. Calatrava Moreno, T. Auzinger, H. Werthner, Scientometrics 107 (2016) 213–232.
2016 | Journal Article | IST-REx-ID: 1448 |
Entropic Ricci curvature bounds for discrete interacting systems
M. Fathi, J. Maas, The Annals of Applied Probability 26 (2016) 1774–1806.
View
| DOI
| Download Preprint (ext.)
M. Fathi, J. Maas, The Annals of Applied Probability 26 (2016) 1774–1806.
2016 | Journal Article | IST-REx-ID: 1475 |
Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton
J. Toshima, E. Furuya, M. Nagano, C. Kanno, Y. Sakamoto, M. Ebihara, D.E. Siekhaus, J. Toshima, ELife 5 (2016).
View
| Files available
| DOI
J. Toshima, E. Furuya, M. Nagano, C. Kanno, Y. Sakamoto, M. Ebihara, D.E. Siekhaus, J. Toshima, ELife 5 (2016).
2016 | Journal Article | IST-REx-ID: 1476 |
Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis
J. Toshima, C. Horikomi, A. Okada, M. Hatori, M. Nagano, A. Masuda, W. Yamamoto, D.E. Siekhaus, J. Toshima, Journal of Cell Science 129 (2016) 367–379.
View
| Files available
| DOI
J. Toshima, C. Horikomi, A. Okada, M. Hatori, M. Nagano, A. Masuda, W. Yamamoto, D.E. Siekhaus, J. Toshima, Journal of Cell Science 129 (2016) 367–379.
2016 | Journal Article | IST-REx-ID: 1477 |
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
2016 | Journal Article | IST-REx-ID: 1478 |
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
View
| Files available
| DOI
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
2016 | Journal Article | IST-REx-ID: 1479 |
A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
View
| Files available
| DOI
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
2016 | Journal Article | IST-REx-ID: 1480 |
Exponential varieties
M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London Mathematical Society 112 (2016) 27–56.
View
| DOI
| Download Preprint (ext.)
M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London Mathematical Society 112 (2016) 27–56.
2016 | Journal Article | IST-REx-ID: 1482 |
Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization
M. Adibi, S. Yoshida, D. Weijers, C. Fleck, PLoS One 11 (2016).
View
| Files available
| DOI
M. Adibi, S. Yoshida, D. Weijers, C. Fleck, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1484 |
Environmental and endogenous control of cortical microtubule orientation
X. Chen, S. Wu, Z. Liu, J. Friml, Trends in Cell Biology 26 (2016) 409–419.
View
| Files available
| DOI
X. Chen, S. Wu, Z. Liu, J. Friml, Trends in Cell Biology 26 (2016) 409–419.
2016 | Journal Article | IST-REx-ID: 1485 |
Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis
D. De Martino, Physical Biology 13 (2016).
View
| DOI
| Download Preprint (ext.)
D. De Martino, Physical Biology 13 (2016).
2016 | Journal Article | IST-REx-ID: 1486 |
The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties
C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
View
| DOI
| Download Preprint (ext.)
C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
2016 | Journal Article | IST-REx-ID: 1487 |
Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination
N. Grion, A. Akrami, Y. Zuo, F. Stella, M. Diamond, PLoS Biology 14 (2016).
View
| Files available
| DOI
N. Grion, A. Akrami, Y. Zuo, F. Stella, M. Diamond, PLoS Biology 14 (2016).
2016 | Journal Article | IST-REx-ID: 1489 |
Local spectral statistics of Gaussian matrices with correlated entries
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
2016 | Journal Article | IST-REx-ID: 1490 |
Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels
E. Russo, A. Teijeira, K. Vaahtomeri, A. Willrodt, J. Bloch, M. Nitschké, L. Santambrogio, D. Kerjaschki, M.K. Sixt, C. Halin, Cell Reports 14 (2016) 1723–1734.
View
| Files available
| DOI
E. Russo, A. Teijeira, K. Vaahtomeri, A. Willrodt, J. Bloch, M. Nitschké, L. Santambrogio, D. Kerjaschki, M.K. Sixt, C. Halin, Cell Reports 14 (2016) 1723–1734.
2016 | Journal Article | IST-REx-ID: 1491 |
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
View
| DOI
| Download Submitted Version (ext.)
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
2016 | Journal Article | IST-REx-ID: 1492 |
Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation
P. Marhavý, J.C. Montesinos López, A. Abuzeineh, D. Van Damme, J. Vermeer, J. Duclercq, H. Rakusova, P. Marhavá, J. Friml, N. Geldner, E. Benková, Genes and Development 30 (2016) 471–483.
View
| Files available
| DOI
| PubMed | Europe PMC
P. Marhavý, J.C. Montesinos López, A. Abuzeineh, D. Van Damme, J. Vermeer, J. Duclercq, H. Rakusova, P. Marhavá, J. Friml, N. Geldner, E. Benková, Genes and Development 30 (2016) 471–483.
2016 | Journal Article | IST-REx-ID: 1493 |
A new method and a new scaling for deriving fermionic mean-field dynamics
S.P. Petrat, P. Pickl, Mathematical Physics, Analysis and Geometry 19 (2016).
View
| Files available
| DOI
S.P. Petrat, P. Pickl, Mathematical Physics, Analysis and Geometry 19 (2016).
2016 | Journal Article | IST-REx-ID: 1494
Directed percolation phase transition to sustained turbulence in Couette flow
G.M. Lemoult, L. Shi, K. Avila, S.V. Jalikop, M. Avila, B. Hof, Nature Physics 12 (2016) 254–258.
View
| DOI
G.M. Lemoult, L. Shi, K. Avila, S.V. Jalikop, M. Avila, B. Hof, Nature Physics 12 (2016) 254–258.
2016 | Journal Article | IST-REx-ID: 1496 |
Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model
P. Amaro, F. Fratini, L. Safari, J. Machado, M. Guerra, P. Indelicato, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View
| DOI
| Download Preprint (ext.)
P. Amaro, F. Fratini, L. Safari, J. Machado, M. Guerra, P. Indelicato, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
2016 | Journal Article | IST-REx-ID: 1518 |
Efficient strategies for calculating blockwise likelihoods under the coalescent
K. Lohse, M. Chmelik, S. Martin, N.H. Barton, Genetics 202 (2016) 775–786.
View
| Files available
| DOI
K. Lohse, M. Chmelik, S. Martin, N.H. Barton, Genetics 202 (2016) 775–786.
2016 | Journal Article | IST-REx-ID: 1521
Structure of bacterial respiratory complex I
J. Berrisford, R. Baradaran, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1857 (2016) 892–901.
View
| DOI
J. Berrisford, R. Baradaran, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1857 (2016) 892–901.
2016 | Journal Article | IST-REx-ID: 1522 |
The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
View
| Download Preprint (ext.)
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
2016 | Journal Article | IST-REx-ID: 1523 |
On topological minors in random simplicial complexes
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
View
| DOI
| Download Preprint (ext.)
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
2016 | Conference Paper | IST-REx-ID: 1524 |
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
View
| DOI
| Download Preprint (ext.)
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
2016 | Conference Paper | IST-REx-ID: 1526 |
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
2016 | Journal Article | IST-REx-ID: 1529 |
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
2016 | Journal Article | IST-REx-ID: 1545 |
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
View
| DOI
| Download Submitted Version (ext.)
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
2016 | Journal Article | IST-REx-ID: 1552 |
The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View
| Files available
| DOI
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
2016 | Journal Article | IST-REx-ID: 1592
Structure preserving signatures and commitments to group elements
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, M. Ohkubo, Journal of Cryptology 29 (2016) 363–421.
View
| DOI
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, M. Ohkubo, Journal of Cryptology 29 (2016) 363–421.
2016 | Journal Article | IST-REx-ID: 1597
Quantitative analysis of dendritic cell haptotaxis
J. Schwarz, M.K. Sixt, Methods in Enzymology 570 (2016) 567–581.
View
| DOI
| PubMed | Europe PMC
J. Schwarz, M.K. Sixt, Methods in Enzymology 570 (2016) 567–581.
2016 | Journal Article | IST-REx-ID: 1599 |
Polysialylation controls dendritic cell trafficking by regulating chemokine recognition
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
2016 | Journal Article | IST-REx-ID: 1608 |
Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
View
| DOI
| Download Preprint (ext.)
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
2016 | Journal Article | IST-REx-ID: 1612 |
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
View
| DOI
| Download Preprint (ext.)
A. Kazda, Algebra Universalis 75 (2016) 75–84.
2016 | Journal Article | IST-REx-ID: 1616 |
Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
View
| Files available
| DOI
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
2016 | Journal Article | IST-REx-ID: 1617 |
On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
View
| DOI
| Download Submitted Version (ext.)
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
2016 | Journal Article | IST-REx-ID: 1620 |
The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
View
| DOI
| Download Submitted Version (ext.)
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
2016 | Journal Article | IST-REx-ID: 1622 |
Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
View
| DOI
| Download Submitted Version (ext.)
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
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 | Journal Article | IST-REx-ID: 1008
An orthogonal permease–inducer–repressor feedback loop shows bistability
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
View
| DOI
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
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.