Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4241 Publications
2016 | Journal Article | IST-REx-ID: 1323 |

Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses
N. Vyleta, C. Borges Merjane, P.M. Jonas, ELife 5 (2016).
View
| Files available
| DOI
N. Vyleta, C. Borges Merjane, P.M. Jonas, ELife 5 (2016).
2016 | Conference Paper | IST-REx-ID: 1325 |

Stability in graphs and games
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View
| Files available
| DOI
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1320
Scale-invariant systems realize nonlinear differential operators
M. Lang, E. Sontag, in:, IEEE, 2016.
View
| Files available
| DOI
M. Lang, E. Sontag, in:, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1324
Indefinite-horizon reachability in Goal-DEC-POMDPs
K. Chatterjee, M. Chmelik, in:, Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, AAAI Press, 2016, pp. 88–96.
View
| Download None (ext.)
K. Chatterjee, M. Chmelik, in:, Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, AAAI Press, 2016, pp. 88–96.
2016 | Journal Article | IST-REx-ID: 1329 |

De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata
A.K. Huylmans, A. López Ezquerra, J. Parsch, M. Cordellier, Genome Biology and Evolution 8 (2016) 3120–3139.
View
| Files available
| DOI
A.K. Huylmans, A. López Ezquerra, J. Parsch, M. Cordellier, Genome Biology and Evolution 8 (2016) 3120–3139.
2016 | Conference Paper | IST-REx-ID: 1327 |

Stochastic shortest path with energy constraints in POMDPs
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
View
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
2016 | Conference Paper | IST-REx-ID: 1326 |

Optimizing the expected mean payoff in Energy Markov Decision Processes
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
View
| DOI
| Download Preprint (ext.)
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
2016 | Journal Article | IST-REx-ID: 1330 |

Billiards in convex bodies with acute angles
A. Akopyan, A. Balitskiy, Israel Journal of Mathematics 216 (2016) 833–845.
View
| DOI
| Download Preprint (ext.)
A. Akopyan, A. Balitskiy, Israel Journal of Mathematics 216 (2016) 833–845.
2016 | Journal Article | IST-REx-ID: 1334 |

Activity dependent plasticity of hippocampal place maps
P. Schönenberger, J. O’Neill, J.L. Csicsvari, Nature Communications 7 (2016).
View
| Files available
| DOI
P. Schönenberger, J. O’Neill, J.L. Csicsvari, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 1331 |

Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress
P. Zwack, I. De Clercq, T. Howton, H.T. Hallmark, A. Hurny, E. Keshishian, A. Parish, E. Benková, M.S. Mukhtar, F. Van Breusegem, A. Rashotte, Plant Physiology 172 (2016) 1249–1258.
View
| DOI
| Download Published Version (ext.)
P. Zwack, I. De Clercq, T. Howton, H.T. Hallmark, A. Hurny, E. Keshishian, A. Parish, E. Benková, M.S. Mukhtar, F. Van Breusegem, A. Rashotte, Plant Physiology 172 (2016) 1249–1258.
2016 | Journal Article | IST-REx-ID: 1333 |

Humans choose representatives who enforce cooperation in social dilemmas through extortion
M. Milinski, C. Hilbe, D. Semmann, R. Sommerfeld, J. Marotzke, Nature Communications 7 (2016).
View
| Files available
| DOI
M. Milinski, C. Hilbe, D. Semmann, R. Sommerfeld, J. Marotzke, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 1332 |

Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments
R.P. Chait, A. Palmer, I. Yelin, R. Kishony, Nature Communications 7 (2016).
View
| Files available
| DOI
R.P. Chait, A. Palmer, I. Yelin, R. Kishony, Nature Communications 7 (2016).
2016 | Conference Paper | IST-REx-ID: 1335 |

Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
2016 | Journal Article | IST-REx-ID: 1344 |

TIR1 AFB Aux IAA auxin perception mediates rapid cell wall acidification and growth of Arabidopsis hypocotyls
M. Fendrych, J. Leung, J. Friml, ELife 5 (2016).
View
| Files available
| DOI
M. Fendrych, J. Leung, J. Friml, ELife 5 (2016).
2016 | Journal Article | IST-REx-ID: 1343 |

Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model
J. Kaczmarczyk, H. Weimer, M. Lemeshko, New Journal of Physics 18 (2016).
View
| Files available
| DOI
J. Kaczmarczyk, H. Weimer, M. Lemeshko, New Journal of Physics 18 (2016).
2016 | Conference Paper | IST-REx-ID: 1340 |

The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
View
| DOI
| Download Preprint (ext.)
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
2016 | Journal Article | IST-REx-ID: 1345 |

Plasma membrane: Negative attraction
G. Molnar, M. Fendrych, J. Friml, Nature Plants 2 (2016).
View
| Files available
| DOI
G. Molnar, M. Fendrych, J. Friml, Nature Plants 2 (2016).
2016 | Journal Article | IST-REx-ID: 1342 |

Spatiotemporal microbial evolution on antibiotic landscapes
M. Baym, T. Lieberman, E. Kelsic, R.P. Chait, R. Gross, I. Yelin, R. Kishony, Science 353 (2016) 1147–1151.
View
| DOI
| Download Preprint (ext.)
M. Baym, T. Lieberman, E. Kelsic, R.P. Chait, R. Gross, I. Yelin, R. Kishony, Science 353 (2016) 1147–1151.
2016 | Journal Article | IST-REx-ID: 1339 |

Tunable mechanical coupling between driven microelectromechanical resonators
G. Verbiest, D. Xu, M. Goldsche, T. Khodkov, S. Barzanjeh, N. Von Den Driesch, D. Buca, C. Stampfer, Applied Physics Letter 109 (2016).
View
| DOI
| Download Preprint (ext.)
G. Verbiest, D. Xu, M. Goldsche, T. Khodkov, S. Barzanjeh, N. Von Den Driesch, D. Buca, C. Stampfer, Applied Physics Letter 109 (2016).
2016 | Conference Paper | IST-REx-ID: 1349 |

When non-elitism outperforms elitism for crossing fitness valleys
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
View
| Files available
| DOI
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
2016 | Journal Article | IST-REx-ID: 1350 |

Synaptic mechanisms of pattern completion in the hippocampal CA3 network
J. Guzmán, A. Schlögl, M. Frotscher, P.M. Jonas, Science 353 (2016) 1117–1123.
View
| Files available
| DOI
J. Guzmán, A. Schlögl, M. Frotscher, P.M. Jonas, Science 353 (2016) 1117–1123.
2016 | Journal Article | IST-REx-ID: 1347 |

Deformation of a quantum many-particle system by a rotating impurity
R. Schmidt, M. Lemeshko, Physical Review X 6 (2016).
View
| Files available
| DOI
R. Schmidt, M. Lemeshko, Physical Review X 6 (2016).
2016 | Conference Paper | IST-REx-ID: 1348 |

Bounded embeddings of graphs in the plane
R. Fulek, in:, Springer, 2016, pp. 31–42.
View
| DOI
| Download Preprint (ext.)
R. Fulek, in:, Springer, 2016, pp. 31–42.
2016 | Journal Article | IST-REx-ID: 1355 |

Quantum electromechanics on silicon nitride nanomembranes
J.M. Fink, M. Kalaee, A. Pitanti, R. Norte, L. Heinzle, M. Davanço, K. Srinivasan, O. Painter, Nature Communications 7 (2016).
View
| Files available
| DOI
J.M. Fink, M. Kalaee, A. Pitanti, R. Norte, L. Heinzle, M. Davanço, K. Srinivasan, O. Painter, Nature Communications 7 (2016).
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: 1352 |

Coexistence of nematic order and superconductivity in the Hubbard model
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View
| DOI
| Download Preprint (ext.)
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
2016 | Journal Article | IST-REx-ID: 1354 |

Superconducting cavity electromechanics on a silicon-on-insulator platform
P. Dieterle, M. Kalaee, J.M. Fink, O. Painter, Physical Review Applied 6 (2016).
View
| DOI
| Download Preprint (ext.)
P. Dieterle, M. Kalaee, J.M. Fink, O. Painter, Physical Review Applied 6 (2016).
2016 | Journal Article | IST-REx-ID: 1356 |

Sewall Wright on evolution in Mendelian populations and the “Shifting Balance”
N.H. Barton, Genetics 202 (2016) 3–4.
View
| Files available
| DOI
N.H. Barton, Genetics 202 (2016) 3–4.
2016 | Journal Article | IST-REx-ID: 1357 |

Richard Hudson and Norman Kaplan on the coalescent process
N.H. Barton, Genetics 202 (2016) 865–866.
View
| Files available
| DOI
N.H. Barton, Genetics 202 (2016) 865–866.
2016 | Journal Article | IST-REx-ID: 1353 |

Deciding absorption
L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.
View
| DOI
| Download Preprint (ext.)
L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.
2016 | Conference Paper | IST-REx-ID: 1363 |

Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C. Wojtan, in:, ACM, 2016.
View
| Files available
| DOI
M. Bojsen-Hansen, C. 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: 1361 |

Surface only liquids
F. Da, D. Hahn, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2016.
View
| Files available
| DOI
F. Da, D. Hahn, C. Batty, C. Wojtan, E. Grinspun, 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: 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 | 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 | 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: 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 | 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: 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: 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: 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: 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: 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 | 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 | 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 | 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).