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.

4154 Publications


2018 | Journal Article | IST-REx-ID: 307 | OA
Redchenko, Elena, Alexander Makarov, and Vladimir Yudson. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.043812.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 308 | OA
Ratheesh, Aparna, Julia Biebl, Michael Smutny, Jana Veselá, Ekaterina Papusheva, Gabriel Krens, Walter Kaufmann, Attila György, Alessandra M Casano, and Daria E Siekhaus. “Drosophila TNF Modulates Tissue Tension in the Embryo to Facilitate Macrophage Invasive Migration.” Developmental Cell. Elsevier, 2018. https://doi.org/10.1016/j.devcel.2018.04.002.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | 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: 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 | 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: 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: 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 | 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
 

2018 | Journal Article | IST-REx-ID: 536 | OA
Alistarh, Dan-Adrian, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-017-0315-1.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 54
Nunes Pinheiro, Diana C, and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.09.014.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 542 | OA
Kelemen, Réka K, and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.117.300513.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 543 | OA
Chalk, Matthew J, Olivier Marre, and Gašper Tkačik. “Toward a Unified Theory of Efficient, Predictive, and Sparse Coding.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1711114115.
View | DOI | Download Submitted Version (ext.)
 

2018 | Technical Report | IST-REx-ID: 5457 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.
View | Files available
 

2018 | Journal Article | IST-REx-ID: 546
Sacco, Roberto, Emanuele Cacci, and Gaia Novarino. “Neural Stem Cells in Neuropsychiatric Disorders.” Current Opinion in Neurobiology. Elsevier, 2018. https://doi.org/10.1016/j.conb.2017.12.005.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 55 | OA
Pull, Christopher, Sina Metzler, Elisabeth Naderlinger, and Sylvia Cremer. “Protection against the Lethal Side Effects of Social Immunity in Ants.” Current Biology. Cell Press, 2018. https://doi.org/10.1016/j.cub.2018.08.063.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 554 | OA
Napiórkowski, Marcin M, Robin Reuvers, and Jan Solovej. “The Bogoliubov Free Energy Functional II: The Dilute Limit.” Communications in Mathematical Physics. Springer, 2018. https://doi.org/10.1007/s00220-017-3064-x.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 555 | OA
Richter, Ralf, Natalia S. Baranova, Anthony Day, and Jessica Kwok. “Glycosaminoglycans in Extracellular Matrix Organisation: Are Concepts from Soft Matter Physics Key to Understanding the Formation of Perineuronal Nets?” Current Opinion in Structural Biology. Elsevier, 2018. https://doi.org/10.1016/j.sbi.2017.12.002.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 556 | OA
Betea, Dan, Jeremie Bouttier, Peter Nejjar, and Mirjana Vuletic. “The Free Boundary Schur Process and Applications I.” Annales Henri Poincare. Fakultät für Mathematik Universität Wien, 2018. https://doi.org/10.1007/s00023-018-0723-1.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5569 | OA
Bergmiller, Tobias, and Nela Nikolic. “Time-Lapse Microscopy Data.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:74.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5573 | OA
Alhaija, Hassan, Anita Sellent, Daniel Kondermann, and Carsten Rother. “Graph Matching Problems for GraphFlow – 6D Large Displacement Scene Flow.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:82.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574 | OA
Villányi, Márton. “Data Check IOP Scopus vs. Publisher.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:86.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575 | OA
Villányi, Márton. “Data Check RSC Scopus vs. FWF.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:87.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5576 | OA
Villányi, Márton. “Data Check T&F Scopus vs. FWF.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:88.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5577 | OA
Villányi, Márton. “Emerald Austrian Publications 2013-2017.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:89.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5578 | OA
Villányi, Márton. “IOP Austrian Publications 2012-2015.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:90.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5579 | OA
Villányi, Márton. “RSC Austrian Publications 2013-2017.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:91.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5580 | OA
Villányi, Márton. “SAGE Austrian Publications 2013-2017.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:92.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5581 | OA
Villányi, Márton. “Springer Austrian Publications 2013-2016.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:93.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5582 | OA
Villányi, Márton. “Taylor&Francis Austrian Publications 2013-2017.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:94.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5583 | OA
Ellis, Thomas. “Data and Python Scripts Supporting Python Package FAPS.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:95.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Deny, Stephane, Olivier Marre, Vicente Botella-Soler, Georg S Martius, and Gašper Tkačik. “Nonlinear Decoding of a Complex Movie from the Mammalian Retina.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:98.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5586 | OA
Vicoso, Beatriz. “Input Files and Scripts from ‘Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites’ by Picard M.A.L., et Al (2018).” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:109.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5587 | OA
De Martino, Daniele, and Gašper Tkačik. “Supporting Materials ‘STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH.’” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:62.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5588 | OA
Hauschild, Robert. “Fluorescence Lifetime Analysis of FLIM X16 TCSPC Data.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:0113.
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 562 | OA
Dimitrov, Dimitar, Laurent Guillaud, Kohgaku Eguchi, and Tomoyuki Takahashi. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.” In Neurotrophic Factors, edited by Stephen D. Skaper, 1727:201–15. Springer, 2018. https://doi.org/10.1007/978-1-4939-7571-6_15.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 563 | OA
Ringbauer, Harald, Alexander Kolesnikov, David Field, and Nicholas H Barton. “Estimating Barriers to Gene Flow from Distorted Isolation-by-Distance Patterns.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.117.300638.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 565 | OA
Charlesworth, Brian, and Nicholas H Barton. “The Spread of an Inversion with Migration and Selection.” Genetics. Genetics , 2018. https://doi.org/10.1534/genetics.117.300426.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 566 | OA
Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics, 2018. https://doi.org/10.1214/17-AAP1302.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5672 | OA
REVERSAT, Anne, and Michael K Sixt. “IgM’s Exit Route.” Journal of Experimental Medicine. Rockefeller University Press, 2018. https://doi.org/10.1084/jem.20181934.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5673 | OA
Glanc, Matous, Matyas Fendrych, and Jiří Friml. “Mechanistic Framework for Cell-Intrinsic Re-Establishment of PIN2 Polarity after Cell Division.” Nature Plants. Palgrave Macmillan Ltd., 2018. https://doi.org/10.1038/s41477-018-0318-3.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5676 | OA
Carvalho, Lara, Pedro Patricio, Susana Ponte, Carl-Philipp J Heisenberg, Luis Almeida, André S. Nunes, Nuno A.M. Araújo, and Antonio Jacinto. “Occluding Junctions as Novel Regulators of Tissue Mechanics during Wound Repair.” Journal of Cell Biology. Rockefeller University Press, 2018. https://doi.org/10.1083/jcb.201804048.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5677 | OA
Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation. Now Publishers Inc, 2018. https://doi.org/10.1561/1000000053.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu, 11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Working Paper | IST-REx-ID: 5686 | OA
Danowski, Patrick. An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018. https://doi.org/10.5281/zenodo.1244154.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5751 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin A. Nowak. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.” Communications Biology. Springer Nature, 2018. https://doi.org/10.1038/s42003-018-0078-7.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5757 | OA
Fraisse, Christelle. “Supplementary Files for ‘Pleiotropy Modulates the Efficacy of Selection in Drosophila Melanogaster.’” IST Austria, 2018. https://doi.org/10.15479/at:ista:/5757.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5767 | OA
Gotlieb, Kenneth, Chiu-Yun Lin, Maksym Serbyn, Wentao Zhang, Christopher L. Smallwood, Christopher Jozwiak, Hiroshi Eisaki, Zahid Hussain, Ashvin Vishwanath, and Alessandra Lanzara. “Revealing Hidden Spin-Momentum Locking in a High-Temperature Cuprate Superconductor.” Science. American Association for the Advancement of Science, 2018. https://doi.org/10.1126/science.aao0980.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 5770 | OA
Qu, Kun, Bärbel Glass, Michal Doležal, Florian KM Schur, Brice Murciano, Alan Rein, Michaela Rumlová, Tomáš Ruml, Hans-Georg Kräusslich, and John A. G. Briggs. “Structure and Architecture of Immature and Mature Murine Leukemia Virus Capsids.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1811580115.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5780 | OA
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5787 | OA
Hannezo, Edouard B, and Benjamin D. Simons. “Statistical Theory of Branching Morphogenesis.” Development Growth and Differentiation. Wiley, 2018. https://doi.org/10.1111/dgd.12570.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5788 | OA
Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,” 11316:21–36. Springer, 2018. https://doi.org/10.1007/978-3-030-04612-5_2.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5791 | OA
Fulek, Radoslav, and Csaba D. Tóth. “Crossing Minimization in Perturbed Drawings,” 11282:229–41. Springer, 2018. https://doi.org/10.1007/978-3-030-04414-5_16.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5794 | OA
Yakaboylu, Enderalp, Mikhail Shkolnikov, and Mikhail Lemeshko. “Quantum Groups as Hidden Symmetries of Quantum Impurities.” Physical Review Letters. American Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.121.255302.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 58 | OA
Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal Arrangements.” SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M110407X.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5830 | OA
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5858 | OA
Hross, Sabrina, Fabian J. Theis, Michael K Sixt, and Jan Hasenauer. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal Society Interface. Royal Society Publishing, 2018. https://doi.org/10.1098/rsif.2018.0600.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5859 | OA
Corominas-Murtra, Bernat, Martí Sànchez Fibla, Sergi Valverde, and Ricard Solé. “Chromatic Transitions in the Emergence of Syntax Networks.” Royal Society Open Science. Royal Society Publishing, 2018. https://doi.org/10.1098/rsos.181286.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5860 | OA
Corominas-Murtra, Bernat, Luís F. Seoane, and Ricard Solé. “Zipf’s Law, Unbounded Complexity and Open-Ended Evolution.” Journal of the Royal Society Interface. Royal Society Publishing, 2018. https://doi.org/10.1098/rsif.2018.0395.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5861 | OA
Alanko, Jonna H, and Michael K Sixt. “The Cell Sets the Tone.” ELife. eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.37888.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5888 | OA
Tarlungeanu, Dora-Clara, and Gaia Novarino. “Genomics in Neurodevelopmental Disorders: An Avenue to Personalized Medicine.” Experimental & Molecular Medicine. Springer Nature, 2018. https://doi.org/10.1038/s12276-018-0129-7.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, Krishnendu Chatterjee, and Barbara Jobstmann. “Graph Games and Reactive Synthesis.” In Handbook of Model Checking, edited by Thomas A Henzinger, Edmund M. Clarke, Helmut Veith, and Roderick Bloem, 1st ed., 921–62. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_27.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 5959 | OA
Bakhirkin, Alexey, Thomas Ferrere, Thomas A Henzinger, and Deian Nickovicl. “Keynote: The First-Order Logic of Signals.” In 2018 International Conference on Embedded Software, 1–10. IEEE, 2018. https://doi.org/10.1109/emsoft.2018.8537203.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5960 | OA
Rohou, Simon, Peter Franek, Clément Aubry, and Luc Jaulin. “Proving the Existence of Loops in Robot Trajectories.” The International Journal of Robotics Research. SAGE Publications, 2018. https://doi.org/10.1177/0278364918808367.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications