K. Chatterjee and Y. Velner, “The complexity of mean-payoff pushdown games,” Journal of the ACM, vol. 64, no. 5. ACM, p. 34, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” Journal of Computer and System Sciences, vol. 88. Academic Press, pp. 236–259, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/717
DOI: 10.1016/j.jcss.2017.04.005

J. Humplik and G. Tkadik, “Probabilistic models for neural populations that naturally capture global coupling and criticality,” PLoS Computational Biology, vol. 13, no. 9. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

O. H. Ajanki, T. H. Krüger, and L. Erdös, “Singularities of solutions to quadratic vector equations on the complex upper half plane,” Communications on Pure and Applied Mathematics, vol. 70, no. 9. Wiley-Blackwell, pp. 1672–1705, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

E. Morris et al., “Shaping 3D root system architecture,” Current Biology, vol. 27, no. 17. Cell Press, pp. 9–0, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/722
DOI: 10.1016/j.cub.2017.06.043
PMID: 28898665

R. Harpaz, G. Tkadik, and E. Schneidman, “Discrete modes of social information processing predict individual behavior of fish in a group,” PNAS, vol. 114, no. 38. National Academy of Sciences, pp. 10149–10154, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, and B. Trauzettel, “Noninteracting central site model localization and logarithmic entanglement growth,” Physical Review B, vol. 96, no. 10. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

L. Schafzahl et al., “Singlet oxygen during cycling of the aprotic sodium-O2 battery,” Angewandte Chemie International Edition, vol. 56, no. 49. Wiley, pp. 15728–15732, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7289
DOI: 10.1002/anie.201709351

P. W. Zach, S. A. Freunberger, I. Klimant, and S. M. Borisov, “Electron-deficient near-infrared Pt(II) and Pd(II) benzoporphyrins with dual phosphorescence and unusually efficient thermally activated delayed fluorescence: First demonstration of simultaneous oxygen and temperature sensing with a single emitter,” ACS Applied Materials &; Interfaces, vol. 9, no. 43. ACS, pp. 38008–38023, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7290
DOI: 10.1021/acsami.7b10669

N. Mahne, O. Fontaine, M. O. Thotiyl, M. Wilkening, and S. A. Freunberger, “Mechanism and performance of lithium–oxygen batteries – a perspective,” Chemical Science, vol. 8, no. 10. RSC, pp. 6716–6729, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7292
DOI: 10.1039/c7sc02519j

A. Smole, D. Lainsdek, U. Bezeljak, S. Horvat, and R. Jerala, “A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation,” Molecular Therapy, vol. 25, no. 1. Elsevier, pp. 102–119, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7360
DOI: 10.1016/j.ymthe.2016.10.005
PMID: 28129106

F. C. Garton et al., “Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort,” Molecular Genetics &; Genomic Medicine, vol. 5, no. 4. Wiley, pp. 418–428, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7733
DOI: 10.1002/mgg3.302

J. P. Sethna et al., “Deformation of crystals: Connections with statistical physics,” Annual Review of Materials Research, vol. 47. Annual Reviews, pp. 217–246, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7755
DOI: 10.1146/annurev-matsci-070115-032036

D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, and P. Uznaski, “Robust detection in leak-prone population protocols,” presented at the DNA Computing and Molecular Programming, 2017, vol. 10467 LNCS, pp. 155–171.
LibreCat: https://research-explorer.ista.ac.at/record/788
DOI: 10.1007/978-3-319-66799-7_11
arXiv: 1706.09937

D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, and R. Gelashvili, “Time-space trade-offs in population protocols,” presented at the SODA: Symposium on Discrete Algorithms, 2017, pp. 2560–2579.
LibreCat: https://research-explorer.ista.ac.at/record/787
DOI: doi.org/10.1137/1.9781611974782.169

R. Fulek, J. Kyndl, and D. Pálvölgyi, “Unified Hanani Tutte theorem,” Electronic Journal of Combinatorics, vol. 24, no. 3. International Press, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

L. Schafzahl et al., “Singulett-Sauerstoff in der aprotischen Natrium-O2-Batterie,” Angewandte Chemie, vol. 129, no. 49. Wiley, pp. 15934–15938, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7981
DOI: 10.1002/ange.201709351

S. Yee Liew, W. Thielemans, S. A. Freunberger, and S. Spirk, “Polysaccharides in supercapacitors,” in Polysaccharide Based Supercapacitors, S. Yee Liew, W. Thielemans, S. A. Freunberger, and S. Spirk, Eds. Springer Nature, 2017, pp. 15–53.
LibreCat: https://research-explorer.ista.ac.at/record/7980
DOI: 10.1007/978-3-319-50754-5_2

S. A. Freunberger, “True performance metrics in beyond-intercalation batteries,” Nature Energy, vol. 2, no. 7. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7982
DOI: 10.1038/nenergy.2017.91
arXiv: 2002.00712

N. Mahne et al., “Singlet oxygen generation as a major cause for parasitic reactions during cycling of aprotic lithium–oxygen batteries,” Nature Energy, vol. 2, no. 5. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7986
DOI: 10.1038/nenergy.2017.36
arXiv: 1711.10340

R. P. Costa, Z. Padamsey, J. A. D’Amour, N. J. Emptage, R. C. Froemke, and T. P. Vogels, “Synaptic transmission optimization predicts expression loci of long-term plasticity,” Neuron, vol. 96, no. 1. Elsevier, p. 177–189.e7, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8016
DOI: 10.1016/j.neuron.2017.09.021
PMID: 28957667

H. C. Barron, T. P. Vogels, T. E. Behrens, and M. Ramaswami, “Inhibitory engrams in perception and memory,” Proceedings of the National Academy of Sciences, vol. 114, no. 26. Proceedings of the National Academy of Sciences, pp. 6666–6674, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8018
DOI: 10.1073/pnas.1701812114
PMID: 28611219

W. F. Podlaski, A. Seeholzer, L. N. Groschner, G. Miesenböck, R. Ranjan, and T. P. Vogels, “Mapping the function of neuronal ion channels in model and experiment,” eLife, vol. 6. eLife Sciences Publications, Ltd, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8075
DOI: 10.7554/elife.22152
PMID: 28267430

M. Andrae and M. Villányi, “Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, vol. 70, no. 2. VÖB, pp. 274–280, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

R. P. Costa, Y. M. Assael, B. Shillingford, N. de Freitas, and T. P. Vogels, “Cortical microcircuits as gated-recurrent neural networks,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017, vol. 30, pp. 272–283.
LibreCat: https://research-explorer.ista.ac.at/record/8129
arXiv: 1711.02448

B. Turoová, F. K. Schur, W. Wan, and J. Briggs, “Efficient 3D-CTF correction for cryo-electron tomography using NovaCTF improves subtomogram averaging resolution to 3.4Å,” Journal of Structural Biology, vol. 199, no. 3. Academic Press, pp. 187–195, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/817
DOI: 10.1016/j.jsb.2017.07.007

K. M. Ilieva et al., “Functionally active Fc mutant antibodies recognizing cancer antigens generated rapidly at high yields,” Frontiers in Immunology, vol. 8. Frontiers, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8237
DOI: 10.3389/fimmu.2017.01112

E. Jensen-Jarolim et al., “AllergoOncology - the impact of allergy in oncology: EAACI position paper,” Allergy, vol. 72, no. 6. Wiley, pp. 866–887, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8236
DOI: 10.1111/all.13119

F. Roth-Walter et al., “Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Fox+ cells: Mouse model for passive respiratory exposure,” Scientific Reports, vol. 7. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8239
DOI: 10.1038/srep45067

J. Singer, T. W. Grunt, E. Jensen-Jarolim, and J. Singer, “Long term storage in liquid nitrogen leads to only minor phenotypic and gene expression changes in the mammary carcinoma model cell line ,” Oncotarget, vol. 8. Impact Journals, pp. 35076–35087, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8240
DOI: 10.18632/oncotarget.16623

J. Singer et al., “Development of a radiolabeled caninized anti-EGFR antibody for comparative oncology trials,” Oncotarget, vol. 8. Impact Journals, pp. 83128–83141, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8235
DOI: 10.18632/oncotarget.20914

B. Petritsch, “Metadata for research data in practice,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare, vol. 70, no. 2. VÖB, pp. 200–207, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

E. Syta et al., “Scalable bias-resistant distributed randomness,” in 2017 IEEE Symposium on Security and Privacy, San Jose, CA, United States, 2017, pp. 444–460.
LibreCat: https://research-explorer.ista.ac.at/record/8306
DOI: 10.1109/SP.2017.45

K. Nikitin et al., “CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds,” in Proceedings of the 26th USENIX Conference on Security Symposium, Vancouver, Canada, 2017, pp. 1271–1287.
LibreCat: https://research-explorer.ista.ac.at/record/8301

C. Gaillochet et al., “Control of plant cell fate transitions by transcriptional and hormonal signals,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9190
DOI: 10.7554/elife.30135
PMID: 29058667

T. Menke et al., “Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device,” Review of Scientific Instruments, vol. 88, no. 9. American Institute of Physics, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/93
DOI: 10.1063/1.5000973
PMID: 28964202
arXiv: 1703.06470

E. Rosenthal, B. Chapman, A. P. Higginbotham, J. Kerckhoff, and K. Lehnert, “Breaking Lorentz reciprocity with frequency conversion and delay,” APS Physics, Physical Review Letters, vol. 119, no. 14. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/94
DOI: 10.1103/PhysRevLett.119.147703
arXiv: 1705.09548

D. B. Lyons and D. Zilberman, “DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9445
DOI: 10.7554/elife.30674
PMID: 29140247

A. S. Bandeira, A. Ferber, and M. A. Kwan, “Resilience for the Littlewood-Offord problem,” Electronic Notes in Discrete Mathematics, vol. 61. Elsevier, pp. 93–99, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9574
DOI: 10.1016/j.endm.2017.06.025
arXiv: 1609.08136

M. Krivelevich, M. A. Kwan, and B. Sudakov, “Bounded-degree spanning trees in randomly perturbed graphs,” SIAM Journal on Discrete Mathematics, vol. 31, no. 1. Society for Industrial &; Applied Mathematics, pp. 155–171, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9590
DOI: 10.1137/15m1032910
arXiv: 1507.07960

A. S. Bandeira, A. Ferber, and M. A. Kwan, “Resilience for the Littlewood–Offord problem,” Advances in Mathematics, vol. 319. Elsevier, pp. 292–312, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9588
DOI: 10.1016/j.aim.2017.08.031
arXiv: 1609.08136

C. Greenhill, M. Isaev, M. A. Kwan, and B. D. McKay, “The average number of spanning trees in sparse graphs with given degrees,” European Journal of Combinatorics, vol. 63. Elsevier, pp. 6–25, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9589
DOI: 10.1016/j.ejc.2017.02.003
arXiv: 1606.01586

G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

N. Nikolic et al., “Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations,” PLoS Genetics, vol. 13, no. 12. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

M. Pleska and C. C. Guet, “Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification.” The Royal Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

G. Huang, V. Kaloshin, and A. Sorrentino, “On the marked length spectrum of generic strictly convex billiard tables,” Duke Mathematical Journal, vol. 167, no. 1. Duke University Press, pp. 175–209, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8423
DOI: 10.1215/00127094-2017-0038
arXiv: 1603.08838

J. De Simoi, V. Kaloshin, and Q. Wei, “Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle,” Annals of Mathematics, vol. 186, no. 1. Annals of Mathematics, pp. 277–314, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/8427
DOI: 10.4007/annals.2017.186.1.7
arXiv: 1606.00230

P. Zuidema, G. Torri, C. J. Muller, and A. Chandra, “A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1283–1305, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9137
DOI: 10.1007/s10712-017-9447-x

C. E. Holloway et al., “Observing convective aggregation,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1199–1236, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9138
DOI: 10.1007/s10712-017-9419-1

O. Richet, C. J. Muller, and J.-M. Chomaz, “Impact of a mean current on the internal tide energy dissipation at the critical latitude,” Journal of Physical Oceanography, vol. 47, no. 6. American Meteorological Society, pp. 1457–1472, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9152
DOI: 10.1175/jpo-d-16-0197.1

D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

B. Cheng, G. A. Tribello, and M. Ceriotti, “The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit,” The Journal of Chemical Physics, vol. 147, no. 10. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9660
DOI: 10.1063/1.4997180
PMID: 28915742
arXiv: 1703.06062

B. Cheng and M. Ceriotti, “Bridging the gap between atomistic and macroscopic models of homogeneous nucleation,” The Journal of Chemical Physics, vol. 146, no. 3. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9661
DOI: 10.1063/1.4973883
PMID: 28109231
arXiv: 1610.01322

P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

E. S. MILES, I. C. WILLIS, N. S. ARNOLD, J. STEINER, and F. Pellicciotti, “Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013,” Journal of Glaciology, vol. 63, no. 237. Cambridge University Press, pp. 88–105, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12612
DOI: 10.1017/jog.2016.120

E. S. Miles et al., “Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal,” Frontiers in Earth Science, vol. 5. Frontiers Media, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12610
DOI: 10.3389/feart.2017.00069

A. AYALA, F. Pellicciotti, N. PELEG, and P. BURLANDO, “Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile,” Journal of Glaciology, vol. 63, no. 241. Cambridge University Press, pp. 803–822, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12609
DOI: 10.1017/jog.2017.46

T. E. SHAW, B. W. BROCK, Á. AYALA, N. RUTTER, and F. Pellicciotti, “Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations,” Journal of Glaciology, vol. 63, no. 242. Cambridge University Press, pp. 973–988, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12608
DOI: 10.1017/jog.2017.65

A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in AHP – Austrian HPC Meeting 2017, Grundlsee, Austria, 2017, p. 28.
LibreCat: https://research-explorer.ista.ac.at/record/12905

J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

T. Udayabhaskararao et al., “Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices,” Science, vol. 358, no. 6362. American Association for the Advancement of Science, pp. 514–518, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13381
DOI: 10.1126/science.aan6046
PMID: 29074773

J. H. van Esch, R. Klajn, and S. Otto, “Chemical systems out of equilibrium,” Chemical Society Reviews, vol. 46, no. 18. Royal Society of Chemistry, pp. 5474–5475, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13382
DOI: 10.1039/c7cs90088k
PMID: 28884760

E. Zapartas et al., “Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction,” Astronomy &; Astrophysics, vol. 601, no. A&;A. EDP Sciences, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13477
DOI: 10.1051/0004-6361/201629685
arXiv: 1701.07032

Y. L. L. Götberg, S. E. de Mink, and J. H. Groh, “Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity,” Astronomy &; Astrophysics, vol. 608. EDP Sciences, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/13476
DOI: 10.1051/0004-6361/201730472
arXiv: 1701.07439

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14031
DOI: 10.1103/physrevlett.119.203201
PMID: 29219334
arXiv: 1710.04474

D. R. Baykusheva, S. Brennecke, M. Lein, and H. J. Wörner, “Signatures of electronic structure in bicircular high-harmonic spectroscopy,” Physical Review Letters, vol. 119, no. 20. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14004
DOI: 10.1103/physrevlett.119.203201
arXiv: 1710.04474

S. G. Walt et al., “Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering,” Nature Communications, vol. 8. Springer Nature, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14005
DOI: 10.1038/ncomms15651
PMID: 28643771

D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14007
DOI: 10.1088/1361-6455/aa62b5
arXiv: 1611.09352

G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291

M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment,” Cell Systems, vol. 4, no. 4. Cell Press, pp. 393–403, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 10.1016/j.cels.2017.03.001

A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 10.15479/AT:ISTA:th_854

F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 10.15479/AT:ISTA:th_857

M. Rybar, “(The exact security of) Message authentication codes,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact security of PMAC,” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2. Ruhr University Bochum, pp. 145–161, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

H. Xu, “Reactivation of the hippocampal cognitive map in goal-directed spatial tasks,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 10.15479/AT:ISTA:th_858

M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 10.15479/AT:ISTA:th_842

M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

H. Edelsbrunner, A. Nikitenko, and M. Reitzner, “Expected sizes of poisson Delaunay mosaics and their discrete Morse functions,” Advances in Applied Probability, vol. 49, no. 3. Cambridge University Press, pp. 745–767, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

H. M. Abusalah, J. F. Alwen, B. Cohen, D. Khilko, K. Z. Pietrzak, and L. Reyzin, “Beyond Hellman’s time-memory trade-offs with applications to proofs of space,” presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China, 2017, vol. 10625, pp. 357–379.
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

J. Alt, “Singularities of the density of states of random Gram matrices,” Electronic Communications in Probability, vol. 22. Institute of Mathematical Statistics, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

O. Elek et al., “Scattering-aware texture reproduction for 3D printing,” ACM Transactions on Graphics, vol. 36, no. 6. ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
LibreCat: https://research-explorer.ista.ac.at/record/14205
arXiv: 1702.06457

M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 10.15479/AT:ISTA:th_916

A. Nikitenko, “Discrete Morse theory for random complexes ,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 10.15479/AT:ISTA:th_873

T. Prat, “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

A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004