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.

3826 Publications


2018 | Conference Paper | IST-REx-ID: 309 | OA
Akitaya, Hugo, Radoslav Fulek, and Csaba Tóth. “Recognizing Weak Embeddings of Graphs,” 274–92. ACM, 2018. https://doi.org/10.1137/1.9781611975031.20.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 31 | OA
Ferrari, Ulisse, Stephane Deny, Matthew J Chalk, Gašper Tkačik, Olivier Marre, and Thierry Mora. “Separating Intrinsic Interactions from Extrinsic Correlations in a Network of Sensory Neurons.” Physical Review E. American Physical Society, 2018. https://doi.org/10.1103/PhysRevE.98.042410.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 312 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M1097201.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 314 | OA
Bauer, Guntram, Nikta Fakhri, Anna Kicheva, Jané Kondev, Karsten Kruse, Hiroyuki Noji, Daniel Riveline, Timothy Saunders, Mukund Thatta, and Eric Wieschaus. “The Science of Living Matter for Tomorrow.” Cell Systems. Cell Press, 2018. https://doi.org/10.1016/j.cels.2018.04.003.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 315 | OA
Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005372.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 316 | OA
Bod’ová, Katarína, Tadeas Priklopil, David Field, Nicholas H Barton, and Melinda Pickup. “Evolutionary Pathways for the Generation of New Self-Incompatibility Haplotypes in a Non-Self Recognition System.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.300748.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 317 | OA
Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-24004-y.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 318 | OA
Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound Healing.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.02.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 32 | OA
Chen, Ting, Bartosz Kula, Balint Nagy, Ruxandra Barzan, Andrea Gall, Ingrid Ehrlich, and Maria Kukley. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” Cell Reports. Elsevier, 2018. https://doi.org/10.1016/j.celrep.2018.09.066.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 320 | OA
Hu, Hua, Fabian Roth, David H Vandael, and Peter M Jonas. “Complementary Tuning of Na+ and K+ Channel Gating Underlies Fast and Energy-Efficient Action Potentials in GABAergic Interneuron Axons.” Neuron. Elsevier, 2018. https://doi.org/10.1016/j.neuron.2018.02.024.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 321 | OA
Darrell, Trevor, Christoph Lampert, Nico Sebe, Ying Wu, and Yan Yan. “Guest Editors’ Introduction to the Special Section on Learning with Shared Information for Computer Vision and Multimedia Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2018. https://doi.org/10.1109/TPAMI.2018.2804998.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 322 | OA
Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a Root of Unity.” Journal of Algebra. World Scientific Publishing, 2018. https://doi.org/10.1016/j.jalgebra.2018.03.015.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Thesis | IST-REx-ID: 324 | OA
Chen, Chong. “Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_997.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotný. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 326 | OA
Sawada, Kazuaki, Ryosuke Kawakami, Ryuichi Shigemoto, and Tomomi Nemoto. “Super Resolution Structural Analysis of Dendritic Spines Using Three-Dimensional Structured Illumination Microscopy in Cleared Mouse Brain Slices.” European Journal of Neuroscience. Wiley, 2018. https://doi.org/10.1111/ejn.13901.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
Michailidis, Alexios, Marko Žnidarič, Mariya Medvedyeva, Dmitry Abanin, Tomaž Prosen, and Zlatko Papić. “Slow Dynamics in Translation-Invariant Quantum Lattice Models.” Physical Review B. American Physical Society, 2018. https://doi.org/10.1103/PhysRevB.97.104307.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
Choueiri, George H, Jose M Lopez Alonso, and Björn Hof. “Exceeding the Asymptotic Limit of Polymer Drag Reduction.” Physical Review Letters. American Physiological Society, 2018. https://doi.org/10.1103/PhysRevLett.120.124501.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA
Bertl, Johanna, Harald Ringbauer, and Michaël Blum. “Can Secondary Contact Following Range Expansion Be Distinguished from Barriers to Gene Flow?” PeerJ. PeerJ Inc , 2018. https://doi.org/10.7717/peerj.5325.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018. https://doi.org/10.1007/978-3-319-10575-8.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7812 | OA
Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression via Distillation and Quantization.” In 6th International Conference on Learning Representations, 2018.
View | Files available | arXiv
 

2018 | Conference Paper | IST-REx-ID: 79 | OA
Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 806
Cremer, Sylvia, Christopher Pull, and Matthias Fürst. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” Annual Review of Entomology. Annual Reviews, 2018. https://doi.org/10.1146/annurev-ento-020117-043110.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 81 | OA
Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,” 11022:53–70. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_4.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 82 | OA
Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 8437
Mas, Guillaume, Jia-Ying Guan, Elodie Crublet, Elisa Colas Debled, Christine Moriscot, Pierre Gans, Guy Schoehn, Pavel Macek, Paul Schanda, and Jerome Boisbouvier. “Structural Investigation of a Chaperonin in Action Reveals How Nucleotide Binding Regulates the Functional Cycle.” Science Advances. American Association for the Advancement of Science, 2018. https://doi.org/10.1126/sciadv.aau4196.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 85 | OA
Gilad, Eran, Trevor A Brown, Mark Oskin, and Yoav Etsion. “Snapshot Based Synchronization: A Fast Replacement for Hand-over-Hand Locking,” 11014:465–79. Springer, 2018. https://doi.org/10.1007/978-3-319-96983-1_33.
View | Files available | DOI
 

2018 | Preprint | IST-REx-ID: 8547 | OA
Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong K. Wong, Giovanni Diana, Eleni Serafeimidou, Marian Fernández-Otero, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/494088.
View | DOI | Download Preprint (ext.)
 

2018 | Book Chapter | IST-REx-ID: 86 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.” In Principles of Modeling, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. https://doi.org/10.1007/978-3-319-95246-8_9.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 8618 | OA
Gregor, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.” Scientific Reports. Springer Nature, 2018. https://doi.org/10.1038/s41598-018-19947-1.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 442 | OA
Li, Lanxin, Gabriel Krens, Matyas Fendrych, and Jiří Friml. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol. Bio-protocol, 2018. https://doi.org/10.21769/BioProtoc.2685.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 446 | OA
Frank, Rupert, Phan Nam, and Hanne Van Den Bosch. “The Ionization Conjecture in Thomas–Fermi–Dirac–von Weizsäcker Theory.” Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2018. https://doi.org/10.1002/cpa.21717.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 448 | OA
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 454 | OA
Reiter, Johannes, Christian Hilbe, David Rand, Krishnendu Chatterjee, and Martin Nowak. “Crosstalk in Concurrent Repeated Games Impedes Direct Reciprocity and Requires Stronger Levels of Forgiveness.” Nature Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-017-02721-8.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 455 | OA
Benedikter, Niels P, Jérémy Sok, and Jan Solovej. “The Dirac–Frenkel Principle for Reduced Density Matrices and the Bogoliubov–de Gennes Equations.” Annales Henri Poincare. Birkhäuser, 2018. https://doi.org/10.1007/s00023-018-0644-z.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 456
Novarino, Gaia. “Zika-Associated Microcephaly: Reduce the Stress and Race for the Treatment.” Science Translational Medicine. American Association for the Advancement of Science, 2018. https://doi.org/10.1126/scitranslmed.aar7514.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 457
Pleska, Maros, Moritz Lang, Dominik Refardt, Bruce Levin, and Calin C Guet. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.” Nature Ecology and Evolution. Springer Nature, 2018. https://doi.org/10.1038/s41559-017-0424-z.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 458 | OA
Akopyan, Arseniy, and Alexander Bobenko. “Incircular Nets and Confocal Conics.” Transactions of the American Mathematical Society. American Mathematical Society, 2018. https://doi.org/10.1090/tran/7292.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 46 | OA
Hetterich, Daniel, Norman Yao, Maksym Serbyn, Frank Pollmann, and Björn Trauzettel. “Detection and Characterization of Many-Body Localization in Central Spin Models.” Physical Review B. American Physical Society, 2018. https://doi.org/10.1103/PhysRevB.98.161122.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 462 | OA
Fan, Ligang, Lei Zhao, Wei Hu, Weina Li, Ondřej Novák, Miroslav Strnad, Sibu Simon, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and Auxin-Mediated Development.” Plant, Cell and Environment. Wiley-Blackwell, 2018. https://doi.org/10.1111/pce.13153.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 47
Abualia, Rashed, Eva Benková, and Benoît Lacombe. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.” Advances in Botanical Research. Elsevier, 2018. https://doi.org/10.1016/bs.abr.2018.09.007.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49 | OA
Watzinger, Hannes. “Ge Hut Wires - from Growth to Hole Spin Resonance.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1033.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 503
Tomasek, Kathrin, Tobias Bergmiller, and Calin C Guet. “Lack of Cations in Flow Cytometry Buffers Affect Fluorescence Signals by Reducing Membrane Stability and Viability of Escherichia Coli Strains.” Journal of Biotechnology. Elsevier, 2018. https://doi.org/10.1016/j.jbiotec.2018.01.008.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 519 | OA
Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions in Ferrofluidic Taylor-Couette Flow.” Journal of Magnetism and Magnetic Materials. Elsevier, 2018. https://doi.org/10.1016/j.jmmm.2017.12.073.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52 | OA
Moser, Thomas. “Point Interactions in Systems of Fermions.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1043.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 53 | OA
Petritsch, Barbara, and Jana Porsche. “IST PubRep and IST DataRep: The Institutional Repositories at IST Austria.” VÖB Mitteilungen. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018. https://doi.org/10.31263/voebm.v71i1.1993.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 530 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications. Elsevier, 2018. https://doi.org/10.1016/j.comgeo.2017.06.014.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications