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