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.
4523 Publications
2017 | Research Data Reference | IST-REx-ID: 9707 |

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” Dryad, 2017. https://doi.org/10.5061/dryad.pk16b.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Source Data for Figures and Tables.” Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.s018.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 13160 |

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_26.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950 |

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 683 |

Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,” Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.SoCG.2017.49.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 12193 |

Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” Nature Genetics. Springer Science and Business Media LLC, 2017. https://doi.org/10.1038/s41588-017-0008-5.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 1155 |

Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291 |

Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 561 |

Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” Biology Letters. The Royal Society, 2017. https://doi.org/10.1098/rsbl.2017.0646.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 818 |

Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 732 |

Pull, Christopher, and Sylvia Cremer. “Co-Founding Ant Queens Prevent Disease by Performing Prophylactic Undertaking Behaviour.” BMC Evolutionary Biology. BioMed Central, 2017. https://doi.org/10.1186/s12862-017-1062-4.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 666 |

Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.” Cell Systems. Cell Press, 2017. https://doi.org/10.1016/j.cels.2017.03.001.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 734 |

Kennedy, Patrick, Gemma Baron, Bitao Qiu, Dalial Freitak, Heikki Helantera, Edmund Hunt, Fabio Manfredini, et al. “Deconstructing Superorganisms and Societies to Address Big Questions in Biology.” Trends in Ecology and Evolution. Cell Press, 2017. https://doi.org/10.1016/j.tree.2017.08.004.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |

Jesse, Fabienne. “The Lac Operon in the Wild.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_857.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |

Hahn, David. “Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |

Rybar, Michal. “(The Exact Security of) Message Authentication Codes.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 6196 |

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.” IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017. https://doi.org/10.13154/TOSC.V2016.I2.145-161.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |

Hahn, David. “Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:73.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |

Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |

Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |

Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |

Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 718 |

Edelsbrunner, Herbert, Anton Nikitenko, and Matthias Reitzner. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.” Advances in Applied Probability. Cambridge University Press, 2017. https://doi.org/10.1017/apr.2017.20.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 749 |

Chen, Chong, Rachel Satterfield, Samuel Young, and Peter M Jonas. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2017.10.122.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 559 |

Abusalah, Hamza M, Joel F Alwen, Bram Cohen, Danylo Khilko, Krzysztof Z Pietrzak, and Leonid Reyzin. “Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space,” 10625:357–79. Springer, 2017. https://doi.org/10.1007/978-3-319-70697-9_13.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 741 |

Moser, Thomas, and Robert Seiringer. “Stability of a Fermionic N+1 Particle System with Point Interactions.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-017-2980-0.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 550 |

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-ECP97.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 647 |

Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |

Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_34.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1144 |

Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/16-ECP38.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 486 |

Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics. ACM, 2017. https://doi.org/10.1145/3130800.3130890.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 840 |

Vukušić, Lada, Josip Kukucka, Hannes Watzinger, and Georgios Katsaros. “Fast Hole Tunneling Times in Germanium Hut Wires Probed by Single-Shot Reflectometry.” Nano Letters. American Chemical Society, 2017. https://doi.org/10.1021/acs.nanolett.7b02627.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 911 |

Royer, Amélie, Alexander Kolesnikov, and Christoph Lampert. “Probabilistic Image Colorization,” 85.1-85.12. BMVA Press, 2017. https://doi.org/10.5244/c.31.85.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 637 |

Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.” edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63688-7_5.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9842 |

Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.” Mendeley Data, 2017. https://doi.org/10.17632/nw68fxzjpm.1.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 14206 |

Locatello, Francesco, Michael Tschannen, Gunnar Rätsch, and Martin Jaggi. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” In Advances in Neural Information Processing Systems, 2017.
View
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 14205 |

Locatello, Francesco, Rajiv Khanna, Michael Tschannen, and Martin Jaggi. “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.” In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, 54:860–68. ML Research Press, 2017.
View
| Download Preprint (ext.)
| arXiv
2017 | Thesis | IST-REx-ID: 202 |

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |

Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |

Vicoso, Beatriz. “Data for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:78.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |

Vicoso, Beatriz. “Code for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:79 .
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |

Pull, Christopher. “Disease Defence in Garden Ants.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127 |

Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
View
| Files available
2017 | Research Data | IST-REx-ID: 5559 |

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . “Strong Amplifiers of Natural Selection.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:51.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 665
Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multidrug Efflux Pump AcrAB TolC Underlies Long Lived Phenotypic Heterogeneity.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aaf4762.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |

Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity.” IST Austria, 2017. https://doi.org/doi:10.15479/AT:ISTA:53.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 2016 |

Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics. Wiley-Blackwell, 2017. https://doi.org/10.1111/sjos.12251.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1528 |

Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-015-0692-y.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1433 |

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.” Journal of Symbolic Computation. Academic Press, 2017. https://doi.org/10.1016/j.jsc.2016.03.008.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1407 |

Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.04.006.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1367 |

Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum. Wiley-Blackwell, 2017. https://doi.org/10.1111/cgf.12941.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1338 |

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1351 |

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1336 |

Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica. Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1337 |

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-016-0740-2.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1294 |

Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1228 |

Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience. Wiley-Blackwell, 2017. https://doi.org/10.1111/ejn.13418.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” In Cytokinesis, edited by Arnaud Echard, 137:355–70. Academic Press, 2017. https://doi.org/10.1016/bs.mcb.2016.03.036.
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1198 |

Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s11005-016-0915-x.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1207 |

Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.09.001.
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1199 |

Barton, Nicholas H. “How Does Epistasis Influence the Response to Selection?” Heredity. Nature Publishing Group, 2017. https://doi.org/10.1038/hdy.2016.109.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1208 |

Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017. https://doi.org/10.1111/rssb.12217.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1174 |

Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,” Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.STACS.2017.57.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1194 |

Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1176 |

Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. https://doi.org/10.1109/EuroSP.2017.47.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1187 |

Kiltz, Eike, Krzysztof Z Pietrzak, Daniele Venturi, David Cash, and Abhishek Jain. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology. Springer, 2017. https://doi.org/10.1007/s00145-016-9247-3.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1192 |

Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs,” 307–26. SIAM, 2017. https://doi.org/10.1137/1.9781611974782.20.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1180 |

Akopyan, Arseniy, Imre Bárány, and Sinai Robins. “Algebraic Vertices of Non-Convex Polyhedra.” Advances in Mathematics. Academic Press, 2017. https://doi.org/10.1016/j.aim.2016.12.026.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1159 |

Steenackers, Ward, Petr Klíma, Mussa Quareshy, Igor Cesarino, Robert Kumpf, Sander Corneillie, Pedro Araújo, et al. “Cis-Cinnamic Acid Is a Novel Natural Auxin Efflux Inhibitor That Promotes Lateral Root Formation.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.00943.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1169 |

Novak, Sebastian, and Richard Kollár. “Spatial Gene Frequency Waves under Genotype Dependent Dispersal.” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.116.193946.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1160 |

Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep40012.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1162 |

Spałek, Jozef, Michał Zegrodnik, and Jan Kaczmarczyk. “Universal Properties of High Temperature Superconductors from Real Space Pairing T-J-U Model and Its Quantitative Comparison with Experiment.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2017. https://doi.org/10.1103/PhysRevB.95.024506.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1152 |

Gajda-Zagorska, Ewa P, Robert Schaefer, Maciej Smołka, David Pardo, and Julen Alvarez Aramberri. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” Journal of Computational Science. Elsevier, 2017. https://doi.org/10.1016/j.jocs.2016.06.007.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1168 |

Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications. Springer, 2017. https://doi.org/10.1007/s10260-016-0375-6.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1163
Wysokiński, Marcin, and Jan Kaczmarczyk. “Unconventional Superconductivity in Generalized Hubbard Model Role of Electron–Hole Symmetry Breaking Terms.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2017. https://doi.org/10.1088/1361-648X/aa532f.
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1173 |

Edelsbrunner, Herbert, Alexey Glazyrin, Oleg Musin, and Anton Nikitenko. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.” Combinatorica. Springer, 2017. https://doi.org/10.1007/s00493-016-3308-y.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1161
Müller, Jan, and Michael K Sixt. “Cell Migration: Making the Waves.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2016.11.035.
View
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1116 |

Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,” 10206:169–87. Springer, 2017. https://doi.org/10.1007/978-3-662-54580-5_10.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1118 |

Gan, Jian, Shih-Ming Weng, Alejandro Pernia-Andrade, Jozsef L Csicsvari, and Peter M Jonas. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2016.12.018.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1117 |

Chen, Chong, itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2016.12.067.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1132 |

O’Neill, Joseph, Charlotte N. Boccara, Federico Stella, Philipp Schönenberger, and Jozsef L Csicsvari. “Superficial Layers of the Medial Entorhinal Cortex Replay Independently of the Hippocampus.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aag2787.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1120 |

Li, Xiang, Robert Seiringer, and Mikhail Lemeshko. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” Physical Review A. American Physical Society, 2017. https://doi.org/10.1103/PhysRevA.95.033608.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1133 |

Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.085302.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1119 |

Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.095301.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1110 |

Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta, Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep41906.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1104 |

Deny, Stephane, Ulisse Ferrari, Emilie Mace, Pierre Yger, Romain Caplette, Serge Picaud, Gašper Tkačik, and Olivier Marre. “Multiplexed Computations in Retinal Ganglion Cells of a Single Type.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-02159-y.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1114 |

Fink, Johannes M, András Dombi, András Vukics, Andreas Wallraff, and Peter Domokos. “Observation of the Photon Blockade Breakdown Phase Transition.” Physical Review X. American Physical Society, 2017. https://doi.org/10.1103/PhysRevX.7.011012.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1111 |

Heredia, Jorge, Barbora Trubenova, Dirk Sudholt, and Tiago Paixao. “Selection Limits to Adaptive Walks on Correlated Landscapes.” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.116.189340.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1109 |

Shepperson, Benjamin, Anders Søndergaard, Lars Christiansen, Jan Kaczmarczyk, Robert Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Laser-Induced Rotation of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.203203.
View
| DOI
| Download Preprint (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1087 |

Song, Baofang, Dwight Barkley, Björn Hof, and Marc Avila. “Speed and Structure of Turbulent Fronts in Pipe Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.14.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1108 |

Zimin, Alexander, and Christoph Lampert. “Learning Theory for Conditional Risk Minimization,” 54:213–22. JMLR, Inc. and Microtome Publishing, 2017.
View
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1089 |

Fallat, Shaun, Steffen Lauritzen, Kayvan Sadeghi, Caroline Uhler, Nanny Wermuth, and Piotr Zwiernik. “Total Positivity in Markov Structures.” Annals of Statistics. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/16-AOS1478.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1080 |

Reiter, Johannes, Alvin Makohon Moore, Jeffrey Gerold, Ivana Božić, Krishnendu Chatterjee, Christine Iacobuzio Donahue, Bert Vogelstein, and Martin Nowak. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms14114.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1078 |

Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Journal of Visualized Experiments JoVE. Journal of Visualized Experiments, 2017. https://doi.org/10.3791/55044.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1085 |

Wright, Alison, Iulia Darolti, Natasha Bloch, Vicencio Oostra, Benjamin Sandkam, Séverine Buechel, Niclas Kolm, Felix Breden, Beatriz Vicoso, and Judith Mank. “Convergent Recombination Suppression Suggests Role of Sexual Selection in Guppy Sex Chromosome Formation.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms14251.
View
| Files available
| DOI
| WoS
2017 | Research Data | IST-REx-ID: 5565 |

Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:66.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1084
Fang, Chong, Anna A Nagy-Staron, Martin Grafe, Ralf Heermann, Kirsten Jung, Susanne Gebhard, and Thorsten Mascher. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology. Wiley-Blackwell, 2017. https://doi.org/10.1111/mmi.13597.
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1079 |

Nam, Phan, and Hanne Van Den Bosch. “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker Theory with Small Nuclear Charges.” Mathematical Physics, Analysis and Geometry. Springer, 2017. https://doi.org/10.1007/s11040-017-9238-0.
View
| DOI
| Download Submitted Version (ext.)
| WoS