Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5743 Publications


2017 | Journal Article | IST-REx-ID: 7986 | OA
Mahne, Nika, Bettina Schafzahl, Christian Leypold, Mario Leypold, Sandra Grumm, Anita Leitgeb, Gernot A. Strohmeier, et al. “Singlet Oxygen Generation as a Major Cause for Parasitic Reactions during Cycling of Aprotic Lithium–Oxygen Batteries.” Nature Energy. Springer Nature, 2017. https://doi.org/10.1038/nenergy.2017.36.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8016 | OA
Costa, Rui Ponte, Zahid Padamsey, James A. D’Amour, Nigel J. Emptage, Robert C. Froemke, and Tim P Vogels. “Synaptic Transmission Optimization Predicts Expression Loci of Long-Term Plasticity.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2017.09.021.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8018 | OA
Barron, Helen C., Tim P Vogels, Timothy E. Behrens, and Mani Ramaswami. “Inhibitory Engrams in Perception and Memory.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1701812114.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8075 | OA
Podlaski, William F, Alexander Seeholzer, Lukas N Groschner, Gero Miesenböck, Rajnish Ranjan, and Tim P Vogels. “Mapping the Function of Neuronal Ion Channels in Model and Experiment.” ELife. eLife Sciences Publications, Ltd, 2017. https://doi.org/10.7554/elife.22152.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017. https://doi.org/10.31263/voebm.v70i2.1898.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 8129 | OA
Costa, Rui Ponte, Yannis M. Assael, Brendan Shillingford, Nando de Freitas, and Tim P Vogels. “Cortical Microcircuits as Gated-Recurrent Neural Networks.” In Advances in Neural Information Processing Systems, 30:272–83. Neural Information Processing Systems Foundation, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 817 | OA
Turoňová, Beata, Florian KM Schur, William Wan, and John Briggs. “Efficient 3D-CTF Correction for Cryo-Electron Tomography Using NovaCTF Improves Subtomogram Averaging Resolution to 3.4Å.” Journal of Structural Biology. Academic Press, 2017. https://doi.org/10.1016/j.jsb.2017.07.007.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8237 | OA
Ilieva, Kristina M., Judit Singer, Daniela Y. Achkova, Tihomir S. Dodev, Silvia Mele, Silvia Crescioli, Heather J. Bax, et al. “Functionally Active Fc Mutant Antibodies Recognizing Cancer Antigens Generated Rapidly at High Yields.” Frontiers in Immunology. Frontiers, 2017. https://doi.org/10.3389/fimmu.2017.01112.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8236 | OA
Jensen-Jarolim E, Bax HJ, Bianchini R, Capron M, Corrigan C, Castells M, Dombrowicz D, Daniels-Wells TR, Singer J, Fiebiger E, Gatault S, Gould HJ, Janda J, Josephs DH, Karagiannis P, Levi-Schaffer F, Meshcheryakova A, Mechtcheriakova D, Mekori Y, Mungenast F, Nigro EA, Penichet ML, Redegeld F, Saul L, Singer J, Spicer JF, Siccardi AG, Spillner E, Turner MC, Untersmayr E, Vangelista L, Karagiannis SN. 2017. AllergoOncology - the impact of allergy in oncology: EAACI position paper. Allergy. 72(6), 866–887.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8239 | OA
Roth-Walter, Franziska, Cornelia Bergmayr, Sarah Meitz, Stefan Buchleitner, Caroline Stremnitzer, Judit Singer, Anna Moskovskich, et al. “Janus-Faced Acrolein Prevents Allergy but Accelerates Tumor Growth by Promoting Immunoregulatory Foxp3+ Cells: Mouse Model for Passive Respiratory Exposure.” Scientific Reports. Springer Nature, 2017. https://doi.org/10.1038/srep45067.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8240 | OA
Singer, Judit, Thomas W. Grunt, Erika Jensen-Jarolim, and Josef Singer. “Long Term Storage in Liquid Nitrogen Leads to Only Minor Phenotypic and Gene Expression Changes in the Mammary Carcinoma Model Cell Line BT474.” Oncotarget. Impact Journals, 2017. https://doi.org/10.18632/oncotarget.16623.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8235 | OA
Singer, Judit, Neydher Berroterán-Infante, Christina Rami-Mark, Monika Dumanic, Miroslawa Matz, Michael Willmann, Fritz Andreae, et al. “Development of a Radiolabeled Caninized Anti-EGFR Antibody for Comparative Oncology Trials.” Oncotarget. Impact Journals, 2017. https://doi.org/10.18632/oncotarget.20914.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 825 | OA
Petritsch, Barbara. “Metadata for Research Data in Practice.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. VÖB, 2017. https://doi.org/10.31263/voebm.v70i2.1678.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 8306 | OA
Syta, E., P. Jovanovic, Eleftherios Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M. J. Fischer, and B. Ford. “Scalable Bias-Resistant Distributed Randomness.” In 2017 IEEE Symposium on Security and Privacy, 444–60. IEEE, 2017. https://doi.org/10.1109/SP.2017.45.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 8301 | OA
Nikitin, Kirill, Eleftherios Kokoris Kogias, Philipp Jovanovic, Linus Gasser, Nicolas Gailly, Ismail Khoffi, Justin Cappos, and Bryan Ford. “CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds.” In Proceedings of the 26th USENIX Conference on Security Symposium, 1271–1287. USENIX Association, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9190 | OA
Gaillochet, Christophe, Thomas Stiehl, Christian Wenzl, Juan-José Ripoll, Lindsay J Bailey-Steinitz, Lanxin Li, Anne Pfeiffer, et al. “Control of Plant Cell Fate Transitions by Transcriptional and Hormonal Signals.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/elife.30135.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 93 | OA
Menke, Tim, Peter Burns, Andrew P Higginbotham, N S Kampel, Robert Peterson, Katarina Cicak, Raymond Simmonds, Cindy Regal, and Konrad Lehnert. “Reconfigurable Re-Entrant Cavity for Wireless Coupling to an Electro-Optomechanical Device.” Review of Scientific Instruments. American Institute of Physics, 2017. https://doi.org/10.1063/1.5000973.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 94 | OA
Rosenthal, Eric, Benjamin Chapman, Andrew P Higginbotham, Joseph Kerckhoff, and Konrad Lehnert. “Breaking Lorentz Reciprocity with Frequency Conversion and Delay.” APS Physics, Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.119.147703.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons, David B, and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/elife.30674.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 9574 | OA
Bandeira, Afonso S., Asaf Ferber, and Matthew Alan Kwan. “Resilience for the Littlewood-Offord Problem.” Electronic Notes in Discrete Mathematics. Elsevier, 2017. https://doi.org/10.1016/j.endm.2017.06.025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
Krivelevich, Michael, Matthew Alan Kwan, and Benny Sudakov. “Bounded-Degree Spanning Trees in Randomly Perturbed Graphs.” SIAM Journal on Discrete Mathematics. Society for Industrial & Applied Mathematics, 2017. https://doi.org/10.1137/15m1032910.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
Bandeira, Afonso S., Asaf Ferber, and Matthew Alan Kwan. “Resilience for the Littlewood–Offord Problem.” Advances in Mathematics. Elsevier, 2017. https://doi.org/10.1016/j.aim.2017.08.031.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
Greenhill, Catherine, Mikhail Isaev, Matthew Alan Kwan, and Brendan D. McKay. “The Average Number of Spanning Trees in Sparse Graphs with given Degrees.” European Journal of Combinatorics. Elsevier, 2017. https://doi.org/10.1016/j.ejc.2017.02.003.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,” Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.37.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gašper Tkačik, and Michael Berry. “Data from: Error-Robust Modes of the Retinal Population Code.” Dryad, 2017. https://doi.org/10.5061/dryad.1f1rc.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 541 | OA
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.” PLoS Genetics. Public Library of Science, 2017. https://doi.org/10.1371/journal.pgen.1007122.
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
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.” The Royal Society, 2017. https://doi.org/10.6084/m9.figshare.5633917.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005582.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8423 | OA
Huang, Guan, Vadim Kaloshin, and Alfonso Sorrentino. “On the Marked Length Spectrum of Generic Strictly Convex Billiard Tables.” Duke Mathematical Journal. Duke University Press, 2017. https://doi.org/10.1215/00127094-2017-0038.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8427 | OA
De Simoi, Jacopo, Vadim Kaloshin, and Qiaoling Wei. “Dynamical Spectral Rigidity among Z2-Symmetric Strictly Convex Domains Close to a Circle.” Annals of Mathematics. Annals of Mathematics, 2017. https://doi.org/10.4007/annals.2017.186.1.7.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9137 | OA
Zuidema, Paquita, Giuseppe Torri, Caroline J Muller, and Arunchandra Chandra. “A Survey of Precipitation-Induced Atmospheric Cold Pools over Oceans and Their Interactions with the Larger-Scale Environment.” Surveys in Geophysics. Springer Nature, 2017. https://doi.org/10.1007/s10712-017-9447-x.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9138 | OA
Holloway, Christopher E., Allison A. Wing, Sandrine Bony, Caroline J Muller, Hirohiko Masunaga, Tristan S. L’Ecuyer, David D. Turner, and Paquita Zuidema. “Observing Convective Aggregation.” Surveys in Geophysics. Springer Nature, 2017. https://doi.org/10.1007/s10712-017-9419-1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9152 | OA
Richet, O., Caroline 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. American Meteorological Society, 2017. https://doi.org/10.1175/jpo-d-16-0197.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.” Genome Biology. Springer Nature, 2017. https://doi.org/10.1186/s13059-017-1230-2.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 9660 | OA
Cheng, Bingqing, Gareth A. Tribello, and Michele Ceriotti. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.” The Journal of Chemical Physics. AIP Publishing, 2017. https://doi.org/10.1063/1.4997180.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.” The Journal of Chemical Physics. AIP Publishing, 2017. https://doi.org/10.1063/1.4973883.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12612 | OA
MILES, EVAN S., IAN C. WILLIS, NEIL S. ARNOLD, JAKOB STEINER, and Francesca Pellicciotti. “Spatial, Seasonal and Interannual Variability of Supraglacial Ponds in the Langtang Valley of Nepal, 1999–2013.” Journal of Glaciology. Cambridge University Press, 2017. https://doi.org/10.1017/jog.2016.120.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12610 | OA
Miles, Evan S., Jakob Steiner, Ian Willis, Pascal Buri, Walter W. Immerzeel, Anna Chesnokova, and Francesca Pellicciotti. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.” Frontiers in Earth Science. Frontiers Media, 2017. https://doi.org/10.3389/feart.2017.00069.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12609 | OA
AYALA, A., Francesca 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. Cambridge University Press, 2017. https://doi.org/10.1017/jog.2017.46.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 12608 | OA
SHAW, THOMAS E., BEN W. BROCK, ÁLVARO AYALA, NICK RUTTER, and Francesca 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. Cambridge University Press, 2017. https://doi.org/10.1017/jog.2017.65.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Conference Abstract | IST-REx-ID: 12905 | OA
Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHPC17 – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
[Published Version] View | Files available | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 13160 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13381 | OA
Udayabhaskararao, Thumu, Thomas Altantzis, Lothar Houben, Marc Coronado-Puchau, Judith Langer, Ronit Popovitz-Biro, Luis M. Liz-Marzán, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aan6046.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13382 | OA
Esch, Jan H. van, Rafal Klajn, and Sijbren Otto. “Chemical Systems out of Equilibrium.” Chemical Society Reviews. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7cs90088k.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 13477 | OA
Zapartas, E., S. E. de Mink, R. G. Izzard, S.-C. Yoon, C. Badenes, Ylva Louise Linsdotter Götberg, A. de Koter, et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” Astronomy & Astrophysics. EDP Sciences, 2017. https://doi.org/10.1051/0004-6361/201629685.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 13476 | OA
Götberg, Ylva Louise Linsdotter, 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. EDP Sciences, 2017. https://doi.org/10.1051/0004-6361/201730472.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14031 | OA
Baykusheva, Denitsa Rangelova, Simon Brennecke, Manfred Lein, and Hans Jakob Wörner. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/physrevlett.119.203201.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 14004 | OA
Baykusheva, Denitsa Rangelova, Simon Brennecke, Manfred Lein, and Hans Jakob Wörner. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/physrevlett.119.203201.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 14005 | OA
Walt, Samuel G., Niraghatam Bhargava Ram, Marcos Atala, Nikolay I Shvetsov-Shilovski, Aaron von Conta, Denitsa Rangelova Baykusheva, Manfred Lein, and Hans Jakob Wörner. “Dynamics of Valence-Shell Electrons and Nuclei Probed by Strong-Field Holography and Rescattering.” Nature Communications. Springer Nature, 2017. https://doi.org/10.1038/ncomms15651.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14007 | OA
Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2017. https://doi.org/10.1088/1361-6455/aa62b5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 561 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 818 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
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.
[Published Version] View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 838 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6196 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 718 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 559 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
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.
[Submitted Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 14206 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 14205 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 202 | OA
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.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1198 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

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

2017 | Journal Article | IST-REx-ID: 1208 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

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

2017 | Journal Article | IST-REx-ID: 1187 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Conference Paper | IST-REx-ID: 1178 | OA
Skórski, Maciej. “Simulating Auxiliary Inputs, Revisited,” 9985:159–79. Springer, 2017. https://doi.org/10.1007/978-3-662-53641-4_7.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 1180 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

oa=1

Search

Filter Publications