Fulek, Radoslav, Jan Kyndl, and Dömötör Pálvölgyi. “Unified Hanani Tutte Theorem.”https://doi.org/10.37236/6663__Electronic Journal of Combinatorics. International Press, 2017.https://doi.org/10.37236/6663 .
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Fink, Johannes M. “Photonenblockade Aufgelöst.”https://doi.org/10.1002/piuz.201770305__Physik in Unserer Zeit. Wiley, 2017.https://doi.org/10.1002/piuz.201770305 .
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.”https://doi.org/10.31263/voebm.v70i2.1898__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1898 .
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Petritsch, Barbara. “Metadata for Research Data in Practice.”https://doi.org/10.31263/voebm.v70i2.1678__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1678 .
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Lyons, David B, and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.”https://doi.org/10.7554/elife.30674__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/elife.30674 .
LibreCat: https://research-explorer.ista.ac.at/record/9445
DOI: 10.7554/elife.30674
PMID: 29140247

Clifton, Ben, Jason Whitfield, Inmaculada Sanchez-Romero, Michel Herde, Christian Henneberger, Harald L Janovjak, and Colin Jackson. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.”https://doi.org/10.1007/978-1-4939-6940-1_5__In Synthetic Protein Switches, edited by Viktor Stein, 1596:71–87. Synthetic Protein Switches. Springer, 2017.https://doi.org/10.1007/978-1-4939-6940-1_5 .
LibreCat: https://research-explorer.ista.ac.at/record/957
DOI: 10.1007/978-1-4939-6940-1_5

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPIcs.MFCS.2017.37__Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 .
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Data from: Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.5061/dryad.1f1rc__Dryad, 2017.https://doi.org/10.5061/dryad.1f1rc .
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”https://doi.org/10.1371/journal.pgen.1007122__PLoS Genetics. Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122 .
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.6084/m9.figshare.5633917.v1__The Royal Society, 2017.https://doi.org/10.6084/m9.figshare.5633917.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Mathematical Model.”https://doi.org/10.1371/journal.pgen.1007122.s017__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s017 .
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Modelling and Simulation Details.”https://doi.org/10.1371/journal.pcbi.1005609.s001__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Extensions of the Model.”https://doi.org/10.1371/journal.pcbi.1005609.s002__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Supplementary Methods.”https://doi.org/10.1371/journal.pgen.1007122.s016__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s016 .
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”https://doi.org/10.1371/journal.pcbi.1005582__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582 .
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Heuristic Prediction for Multiple Stresses.”https://doi.org/10.1371/journal.pcbi.1005609.s003__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Resistance Frequencies for Different Combination Strategies.”https://doi.org/10.1371/journal.pcbi.1005609.s004__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s004 .
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Supplementary Appendix.”https://doi.org/10.1371/journal.pcbi.1005582.s001__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.”https://doi.org/10.1145/3092703.3098225__In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 376–79. ACM, 2017.https://doi.org/10.1145/3092703.3098225 .
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.”https://doi.org/10.1186/s13059-017-1230-2__Genome Biology. Springer Nature, 2017.https://doi.org/10.1186/s13059-017-1230-2 .
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

Mitchell, Joshua, William Zhang, Michel Herde, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.”https://doi.org/10.1007/978-1-4939-6940-1_6__In Synthetic Protein Switches, edited by Viktor Stein, 1596:89–99. Synthetic Protein Switches. Springer, 2017.https://doi.org/10.1007/978-1-4939-6940-1_6 .
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”https://doi.org/10.5061/dryad.pk16b__Dryad, 2017.https://doi.org/10.5061/dryad.pk16b .
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Source Data for Figures and Tables.”https://doi.org/10.1371/journal.pgen.1007122.s018__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s018 .
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHP – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12905

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”https://doi.org/10.1007/978-3-662-54577-5_26__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 .
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.21__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 .
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,”https://doi.org/10.4230/LIPIcs.SoCG.2017.49__Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 .
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.”https://doi.org/10.15479/AT:ISTA:TH_730__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:TH_730 .
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291

Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.1098/rsbl.2017.0646__Biology Letters. The Royal Society, 2017.https://doi.org/10.1098/rsbl.2017.0646 .
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.”https://doi.org/10.15479/AT:ISTA:th_862__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_862 .
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”https://doi.org/10.1016/j.cels.2017.03.001__Cell Systems. Cell Press, 2017.https://doi.org/10.1016/j.cels.2017.03.001 .
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 10.1016/j.cels.2017.03.001

Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.”https://doi.org/10.15479/AT:ISTA:th_854__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_854 .
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 10.15479/AT:ISTA:th_854

Jesse, Fabienne. “The Lac Operon in the Wild.”https://doi.org/10.15479/AT:ISTA:th_857__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_857 .
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 10.15479/AT:ISTA:th_857

Rybar, Michal. “(The Exact Security of) Message Authentication Codes.”https://doi.org/10.15479/AT:ISTA:th_828__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_828 .
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.”https://doi.org/10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017.https://doi.org/10.13154/TOSC.V2016.I2.145-161 .
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.”https://doi.org/10.15479/AT:ISTA:th_858__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_858 .
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 10.15479/AT:ISTA:th_858

Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .”https://doi.org/10.15479/AT:ISTA:th_842__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_842 .
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 10.15479/AT:ISTA:th_842

Rolinek, Michal. “Complexity of Constraint Satisfaction.”https://doi.org/10.15479/AT:ISTA:th_815__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_815 .
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

Edelsbrunner, Herbert, Anton Nikitenko, and Matthias Reitzner. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.”https://doi.org/10.1017/apr.2017.20__Advances in Applied Probability. Cambridge University Press, 2017.https://doi.org/10.1017/apr.2017.20 .
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

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,”https://doi.org/10.1007/978-3-319-70697-9_13__10625:357–79. Springer, 2017.https://doi.org/10.1007/978-3-319-70697-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.”https://doi.org/10.1214/17-ECP97__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/17-ECP97 .
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,”https://doi.org/10.1007/978-3-319-65765-3_7__10419:116–32. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_7 .
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,”https://doi.org/10.1007/978-3-662-54577-5_34__10205:589–606. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_34 .
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.”https://doi.org/10.1214/16-ECP38__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-ECP38 .
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.”https://doi.org/10.1145/3130800.3130890__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3130800.3130890 .
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.”https://doi.org/10.1007/978-3-319-63688-7_5__edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017.https://doi.org/10.1007/978-3-319-63688-7_5 .
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.”https://doi.org/10.17632/nw68fxzjpm.1__Mendeley Data, 2017.https://doi.org/10.17632/nw68fxzjpm.1 .
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

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.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

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.
LibreCat: https://research-explorer.ista.ac.at/record/14205
arXiv: 1702.06457

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.”https://doi.org/10.15479/AT:ISTA:th_916__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_916 .
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 10.15479/AT:ISTA:th_916

Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .”https://doi.org/10.15479/AT:ISTA:th_873__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_873 .
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 10.15479/AT:ISTA:th_873

Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1127

Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.”https://doi.org/10.1111/sjos.12251__Scandinavian Journal of Statistics. Wiley-Blackwell, 2017.https://doi.org/10.1111/sjos.12251 .
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.”https://doi.org/10.1007/s00440-015-0692-y__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-015-0692-y .
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.”https://doi.org/10.1016/j.jsc.2016.03.008__Journal of Symbolic Computation. Academic Press, 2017.https://doi.org/10.1016/j.jsc.2016.03.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

Svoreová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.04.006 .
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.”https://doi.org/10.1111/cgf.12941__Computer Graphics Forum. Wiley-Blackwell, 2017.https://doi.org/10.1111/cgf.12941 .
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

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.”https://doi.org/10.1007/s10703-016-0256-5__Formal Methods in System Design. Springer, 2017.https://doi.org/10.1007/s10703-016-0256-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.”https://doi.org/10.1007/s00236-016-0278-x__Acta Informatica. Springer, 2017.https://doi.org/10.1007/s00236-016-0278-x .
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.”https://doi.org/10.1007/s00453-016-0212-1__Algorithmica. Springer, 2017.https://doi.org/10.1007/s00453-016-0212-1 .
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.”https://doi.org/10.1007/s00440-016-0740-2__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-016-0740-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1016/j.jcss.2016.09.009__Journal of Computer and System Sciences. Elsevier, 2017.https://doi.org/10.1016/j.jcss.2016.09.009 .
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

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.”https://doi.org/10.1111/ejn.13418__European Journal of Neuroscience. Wiley-Blackwell, 2017.https://doi.org/10.1111/ejn.13418 .
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.”https://doi.org/10.1016/bs.mcb.2016.03.036__In Cytokinesis, edited by Arnaudhttps://doi.org/10.1016/bs.mcb.2016.03.036__Echard, 137:355–70. Academic Press, 2017.https://doi.org/10.1016/bs.mcb.2016.03.036 .
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.”https://doi.org/10.1007/s11005-016-0915-x__Letters in Mathematical Physics. Springer, 2017.https://doi.org/10.1007/s11005-016-0915-x .
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007

Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.”https://doi.org/10.1007/s00220-016-2805-6__Communications in Mathematical Physics. Springer, 2017.https://doi.org/10.1007/s00220-016-2805-6 .
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.”https://doi.org/10.1016/j.nahs.2016.09.001__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.09.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1196
DOI: 10.1016/j.nahs.2016.09.001
WoS: 000390637000011

Barton, Nicholas H. “How Does Epistasis Influence the Response to Selection?”https://doi.org/10.1038/hdy.2016.109__Heredity. Nature Publishing Group, 2017.https://doi.org/10.1038/hdy.2016.109 .
LibreCat: https://research-explorer.ista.ac.at/record/1199
DOI: 10.1038/hdy.2016.109
WoS: 000392229100011

Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.”https://doi.org/10.1111/rssb.12217__Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017.https://doi.org/10.1111/rssb.12217 .
LibreCat: https://research-explorer.ista.ac.at/record/1208
DOI: 10.1111/rssb.12217
WoS: 000411712300012

Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,”https://doi.org/10.4230/LIPIcs.STACS.2017.57__Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.STACS.2017.57 .
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.”https://doi.org/10.1109/EuroSP.2017.47__IEEE, 2017.https://doi.org/10.1109/EuroSP.2017.47 .
LibreCat: https://research-explorer.ista.ac.at/record/1176
DOI: 10.1109/EuroSP.2017.47
WoS: 000424197300011

Kiltz, Eike, Krzysztof Z Pietrzak, Daniele Venturi, David Cash, and Abhishek Jain. “Efficient Authentication from Hard Learning Problems.”https://doi.org/10.1007/s00145-016-9247-3__Journal of Cryptology. Springer, 2017.https://doi.org/10.1007/s00145-016-9247-3 .
LibreCat: https://research-explorer.ista.ac.at/record/1187
DOI: 10.1007/s00145-016-9247-3
WoS: 000410788600007

Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs,”https://doi.org/10.1137/1.9781611974782.20__307–26. SIAM, 2017.https://doi.org/10.1137/1.9781611974782.20 .
LibreCat: https://research-explorer.ista.ac.at/record/1192
DOI: 10.1137/1.9781611974782.20
WoS: 000426965800020

Akopyan, Arseniy, Imre Bárány, and Sinai Robins. “Algebraic Vertices of Non-Convex Polyhedra.”https://doi.org/10.1016/j.aim.2016.12.026__Advances in Mathematics. Academic Press, 2017.https://doi.org/10.1016/j.aim.2016.12.026 .
LibreCat: https://research-explorer.ista.ac.at/record/1180
DOI: 10.1016/j.aim.2016.12.026
WoS: 000409292900015

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.”https://doi.org/10.1104/pp.16.00943__Plant Physiology. American Society of Plant Biologists, 2017.https://doi.org/10.1104/pp.16.00943 .
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086

Novak, Sebastian, and Richard Kollár. “Spatial Gene Frequency Waves under Genotype Dependent Dispersal.”https://doi.org/10.1534/genetics.116.193946__Genetics. Genetics Society of America, 2017.https://doi.org/10.1534/genetics.116.193946 .
LibreCat: https://research-explorer.ista.ac.at/record/1169
DOI: 10.1534/genetics.116.193946
WoS: 000393677300025

Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.”https://doi.org/10.1038/srep40012__Scientific Reports. Nature Publishing Group, 2017.https://doi.org/10.1038/srep40012 .
LibreCat: https://research-explorer.ista.ac.at/record/1160
DOI: 10.1038/srep40012
WoS: 000391269700001

Spaek, 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.”https://doi.org/10.1103/PhysRevB.95.024506__Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2017.https://doi.org/10.1103/PhysRevB.95.024506 .
LibreCat: https://research-explorer.ista.ac.at/record/1162
DOI: 10.1103/PhysRevB.95.024506
WoS: 000391852800006

Gajda-Zagorska, Ewa P, Robert Schaefer, Maciej Smoka, David Pardo, and Julen Alvarez Aramberri. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.”https://doi.org/10.1016/j.jocs.2016.06.007__Journal of Computational Science. Elsevier, 2017.https://doi.org/10.1016/j.jocs.2016.06.007 .
LibreCat: https://research-explorer.ista.ac.at/record/1152
DOI: 10.1016/j.jocs.2016.06.007
WoS: 000393528700009

Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.”https://doi.org/10.1007/s10260-016-0375-6__Statistical Methods and Applications. Springer, 2017.https://doi.org/10.1007/s10260-016-0375-6 .
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

Wysokiski, Marcin, and Jan Kaczmarczyk. “Unconventional Superconductivity in Generalized Hubbard Model Role of Electron–Hole Symmetry Breaking Terms.”https://doi.org/10.1088/1361-648X/aa532f__Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2017.https://doi.org/10.1088/1361-648X/aa532f .
LibreCat: https://research-explorer.ista.ac.at/record/1163
DOI: 10.1088/1361-648X/aa532f
WoS: 000393955500001

Edelsbrunner, Herbert, Alexey Glazyrin, Oleg Musin, and Anton Nikitenko. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.”https://doi.org/10.1007/s00493-016-3308-y__Combinatorica. Springer, 2017.https://doi.org/10.1007/s00493-016-3308-y .
LibreCat: https://research-explorer.ista.ac.at/record/1173
DOI: 10.1007/s00493-016-3308-y
WoS: 000418056000005

Müller, Jan, and Michael K Sixt. “Cell Migration: Making the Waves.”https://doi.org/10.1016/j.cub.2016.11.035__Current Biology. Cell Press, 2017.https://doi.org/10.1016/j.cub.2016.11.035 .
LibreCat: https://research-explorer.ista.ac.at/record/1161
DOI: 10.1016/j.cub.2016.11.035
WoS: 000391902500010

Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,”https://doi.org/10.1007/978-3-662-54580-5_10__10206:169–87. Springer, 2017.https://doi.org/10.1007/978-3-662-54580-5_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

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.”https://doi.org/10.1016/j.neuron.2016.12.018__Neuron. Elsevier, 2017.https://doi.org/10.1016/j.neuron.2016.12.018 .
LibreCat: https://research-explorer.ista.ac.at/record/1118
DOI: 10.1016/j.neuron.2016.12.018
WoS: 000396428200010

Chen, Chong, itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast C+ Sensor at a Central Inhibitory Synapse.”https://doi.org/10.1016/j.celrep.2016.12.067__Cell Reports. Cell Press, 2017.https://doi.org/10.1016/j.celrep.2016.12.067 .
LibreCat: https://research-explorer.ista.ac.at/record/1117
DOI: 10.1016/j.celrep.2016.12.067
WoS: 000396470600013

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.”https://doi.org/10.1126/science.aag2787__Science. American Association for the Advancement of Science, 2017.https://doi.org/10.1126/science.aag2787 .
LibreCat: https://research-explorer.ista.ac.at/record/1132
DOI: 10.1126/science.aag2787
WoS: 000391743700044

Li, Xiang, Robert Seiringer, and Mikhail Lemeshko. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.”https://doi.org/10.1103/PhysRevA.95.033608__Physical Review A. American Physical Society, 2017.https://doi.org/10.1103/PhysRevA.95.033608 .
LibreCat: https://research-explorer.ista.ac.at/record/1120
DOI: 10.1103/PhysRevA.95.033608
WoS: 000395981900009

Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.”https://doi.org/10.1103/PhysRevLett.118.085302__Physical Review Letters. American Physical Society, 2017.https://doi.org/10.1103/PhysRevLett.118.085302 .
LibreCat: https://research-explorer.ista.ac.at/record/1133
DOI: 10.1103/PhysRevLett.118.085302
WoS: 000394667600003

Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.”https://doi.org/10.1103/PhysRevLett.118.095301__Physical Review Letters. American Physical Society, 2017.https://doi.org/10.1103/PhysRevLett.118.095301 .
LibreCat: https://research-explorer.ista.ac.at/record/1119
DOI: 10.1103/PhysRevLett.118.095301
WoS: 000404769200006

Kuhn, Benjamin, Tomasz Nodzyski, 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.”https://doi.org/10.1038/srep41906__Scientific Reports. Nature Publishing Group, 2017.https://doi.org/10.1038/srep41906 .
LibreCat: https://research-explorer.ista.ac.at/record/1110
DOI: 10.1038/srep41906
WoS: 000393367600001

Deny, Stephane, Ulisse Ferrari, Emilie Mace, Pierre Yger, Romain Caplette, Serge Picaud, Gasper Tkadik, and Olivier Marre. “Multiplexed Computations in Retinal Ganglion Cells of a Single Type.”https://doi.org/10.1038/s41467-017-02159-y__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/s41467-017-02159-y .
LibreCat: https://research-explorer.ista.ac.at/record/1104
DOI: 10.1038/s41467-017-02159-y
WoS: 000417241200004

Fink, Johannes M, András Dombi, András Vukics, Andreas Wallraff, and Peter Domokos. “Observation of the Photon Blockade Breakdown Phase Transition.”https://doi.org/10.1103/PhysRevX.7.011012__Physical Review X. American Physical Society, 2017.https://doi.org/10.1103/PhysRevX.7.011012 .
LibreCat: https://research-explorer.ista.ac.at/record/1114
DOI: 10.1103/PhysRevX.7.011012
WoS: 000397450500001

Heredia, Jorge, Barbora Trubenova, Dirk Sudholt, and Tiago Paixao. “Selection Limits to Adaptive Walks on Correlated Landscapes.”https://doi.org/10.1534/genetics.116.189340__Genetics. Genetics Society of America, 2017.https://doi.org/10.1534/genetics.116.189340 .
LibreCat: https://research-explorer.ista.ac.at/record/1111
DOI: 10.1534/genetics.116.189340
WoS: 000394144900025
PMID: 27881471

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.”https://doi.org/10.1103/PhysRevLett.118.203203__Physical Review Letters. American Physical Society, 2017.https://doi.org/10.1103/PhysRevLett.118.203203 .
LibreCat: https://research-explorer.ista.ac.at/record/1109
DOI: 10.1103/PhysRevLett.118.203203
WoS: 000401664000005

Song, Baofang, Dwight Barkley, Björn Hof, and Marc Avila. “Speed and Structure of Turbulent Fronts in Pipe Flow.”https://doi.org/10.1017/jfm.2017.14__Journal of Fluid Mechanics. Cambridge University Press, 2017.https://doi.org/10.1017/jfm.2017.14 .
LibreCat: https://research-explorer.ista.ac.at/record/1087
DOI: 10.1017/jfm.2017.14
WoS: 000394376400044

Fallat, Shaun, Steffen Lauritzen, Kayvan Sadeghi, Caroline Uhler, Nanny Wermuth, and Piotr Zwiernik. “Total Positivity in Markov Structures.”https://doi.org/10.1214/16-AOS1478__Annals of Statistics. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-AOS1478 .
LibreCat: https://research-explorer.ista.ac.at/record/1089
DOI: 10.1214/16-AOS1478
WoS: 000404395900008

Reiter, Johannes, Alvin Makohon Moore, Jeffrey Gerold, Ivana Boei, Krishnendu Chatterjee, Christine Iacobuzio Donahue, Bert Vogelstein, and Martin Nowak. “Reconstructing Metastatic Seeding Patterns of Human Cancers.”https://doi.org/10.1038/ncomms14114__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/ncomms14114 .
LibreCat: https://research-explorer.ista.ac.at/record/1080
DOI: 10.1038/ncomms14114
WoS: 000393096600001

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.”https://doi.org/10.1038/ncomms14251__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/ncomms14251 .
LibreCat: https://research-explorer.ista.ac.at/record/1085
DOI: 10.1038/ncomms14251
WoS: 000392953700001