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.
9087 Publications
2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer Nature, 2018, doi:10.1007/978-3-319-10575-8.
View
| DOI
2018 | Book Chapter | IST-REx-ID: 37 | 
Zagórski, Marcin P., and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.” Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63, doi:10.1007/978-1-4939-8772-6_4.
[Submitted Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 305
Misun, Patrick, et al. “Fabrication and Operation of Microfluidic Hanging Drop Networks.” Methods in Molecular Biology, vol. 1771, Springer, 2018, pp. 183–202, doi:10.1007/978-1-4939-7792-5_15.
View
| DOI
2018 | Conference Paper | IST-REx-ID: 325 |
Agrawal, Sheshansh, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 394 |
Mahmood, Fahad, et al. “Observation of Exciton-Exciton Interaction Mediated Valley Depolarization in Monolayer MoSe2.” Nano Letters, vol. 18, no. 1, American Chemical Society, 2018, pp. 223–28, doi:10.1021/acs.nanolett.7b03953.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Book Chapter | IST-REx-ID: 408
Trinh, Hoang, et al. “In Vitro Assay for Induction of Adventitious Rooting on Intact Arabidopsis Hypocotyls.” Root Development , vol. 1761, Springer Nature, 2018, pp. 95–102, doi:10.1007/978-1-4939-7747-5_7.
View
| DOI
| PubMed | Europe PMC
2018 | Book Chapter | IST-REx-ID: 411
Karampelias, Michael, et al. “Optimized Whole Mount in Situ Immunolocalization for Arabidopsis Thaliana Root Meristems and Lateral Root Primordia.” Root Development. Methods and Protocols, edited by Daniela Ristova and Elke Barbez, vol. 1761, Springer, 2018, pp. 131–43, doi:10.1007/978-1-4939-7747-5_10.
View
| DOI
2018 | Journal Article | IST-REx-ID: 456
Novarino, Gaia. “Zika-Associated Microcephaly: Reduce the Stress and Race for the Treatment.” Science Translational Medicine, vol. 10, no. 423, eaar7514, American Association for the Advancement of Science, 2018, doi:10.1126/scitranslmed.aar7514.
View
| DOI
2018 | Journal Article | IST-REx-ID: 53 |
Petritsch, Barbara, and Jana Porsche. “IST PubRep and IST DataRep: The Institutional Repositories at IST Austria.” VÖB Mitteilungen, vol. 71, no. 1, Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018, pp. 199–206, doi:10.31263/voebm.v71i1.1993.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 536 |
Alistarh, Dan-Adrian, et al. “Communication-Efficient Randomized Consensus.” Distributed Computing, vol. 31, no. 6, Springer, 2018, pp. 489–501, doi:10.1007/s00446-017-0315-1.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 554 |
Napiórkowski, Marcin M., et al. “The Bogoliubov Free Energy Functional II: The Dilute Limit.” Communications in Mathematical Physics, vol. 360, no. 1, Springer, 2018, pp. 347–403, doi:10.1007/s00220-017-3064-x.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Book Chapter | IST-REx-ID: 562 |
Dimitrov, Dimitar, et al. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.” Neurotrophic Factors, edited by Stephen D. Skaper, vol. 1727, Springer, 2018, pp. 201–15, doi:10.1007/978-1-4939-7571-6_15.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Model Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View
| DOI
2018 | Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View
| DOI
2018 | Book Chapter | IST-REx-ID: 61 |
Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).” Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 6111 |
McLachlan, Ian G., et al. “A Neuronal MAP Kinase Constrains Growth of a Caenorhabditis Elegans Sensory Dendrite throughout the Life of the Organism.” PLOS Genetics, vol. 14, no. 6, e1007435, Public Library of Science, 2018, doi:10.1371/journal.pgen.1007435.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 6109 |
Laurent, Patrick, et al. “Genetic Dissection of Neuropeptide Cell Biology at High and Low Activity in a Defined Sensory Neuron.” Proceedings of the National Academy of Sciences, vol. 115, no. 29, National Academy of Sciences, 2018, pp. E6890–99, doi:10.1073/pnas.1714610115.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 6164
Koshti, Girish, et al. “Sphere Construction on the FCC Grid Interpreted as Layered Hexagonal Grids in 3D.” 19th International Workshop, vol. 11255, Springer, 2018, pp. 82–96, doi:10.1007/978-3-030-05288-1_7.
View
| DOI
2018 | Journal Article | IST-REx-ID: 6354 |
Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6368 |
Higginbotham, Andrew P., et al. “Harnessing Electro-Optic Correlations in an Efficient Mechanical Converter.” Nature Physics, vol. 14, no. 10, Springer Nature, 2018, pp. 1038–42, doi:10.1038/s41567-018-0210-0.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 6369 |
Rosenthal, Eric I., et al. “Topological Phase Transition Measured in a Dissipative Metamaterial.” Physical Review B, vol. 97, no. 22, 220301, American Physical Society (APS), 2018, doi:10.1103/physrevb.97.220301.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Poster | IST-REx-ID: 6459 |
Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018, doi:10.5281/zenodo.1410279.
[Published Version]
View
| Files available
| DOI
2018 | Book Chapter | IST-REx-ID: 6525
Hausel, Tamás, et al. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.” Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218, doi:10.1093/oso/9780198802013.003.0009.
View
| DOI
2018 | Conference Paper | IST-REx-ID: 6664 |
Hashemi, Seyyed Ali, et al. “Decoding Reed-Muller and Polar Codes by Successive Factor Graph Permutations.” 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing, IEEE, 2018, pp. 1–5, doi:10.1109/istc.2018.8625281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 6674
Hashemi, Seyyed Ali, et al. “Decoder Partitioning: Towards Practical List Decoding of Polar Codes.” IEEE Transactions on Communications, vol. 66, no. 9, IEEE, 2018, pp. 3749–59, doi:10.1109/tcomm.2018.2832207.
View
| DOI
2018 | Conference Paper | IST-REx-ID: 6728 |
Doan, Nghia, et al. “On the Decoding of Polar Codes on Permuted Factor Graphs.” 2018 IEEE Global Communications Conference , IEEE, 2018, doi:10.1109/glocom.2018.8647308.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 6678 |
Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.” IEEE Transactions on Information Theory, vol. 64, no. 5, IEEE, 2018, pp. 3371–93, doi:10.1109/tit.2018.2789885.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 690 |
Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.” Probability Theory and Related Fields, vol. 171, no. 1–2, 543–616, Springer, 2018, doi:10.1007/s00440-017-0787-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 6675 |
Mondelli, Marco, et al. “A New Coding Paradigm for the Primitive Relay Channel.” 2018 IEEE International Symposium on Information Theory, IEEE, 2018, pp. 351–55, doi:10.1109/isit.2018.8437479.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 703 |
Shekhovtsov, Alexander, et al. “Maximum Persistency via Iterative Relaxed Inference with Graphical Models.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7, IEEE, 2018, pp. 1668–82, doi:10.1109/TPAMI.2017.2730884.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 7063 |
Martino, Edoardo, et al. “Sr2Pt8−xAs: A Layered Incommensurately Modulated Metal with Saturated Resistivity.” IUCrJ, vol. 5, no. 4, International Union of Crystallography (IUCr), 2018, pp. 470–77, doi:10.1107/s2052252518007303.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7062 |
Ramshaw, B. J., et al. “Quantum Limit Transport and Destruction of the Weyl Nodes in TaAs.” Nature Communications, vol. 9, no. 1, 2217, Springer Nature, 2018, doi:10.1038/s41467-018-04542-9.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7059 |
Modic, Kimberly A., et al. “Resonant Torsion Magnetometry in Anisotropic Quantum Materials.” Nature Communications, vol. 9, no. 1, Springer Nature, 2018, p. 3975, doi:10.1038/s41467-018-06412-w.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7058 |
Modic, Kimberly A., et al. “Chiral Spin Order in Some Purported Kitaev Spin-Liquid Compounds.” Physical Review B, vol. 98, no. 20, 205110, APS, 2018, doi:10.1103/physrevb.98.205110.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 7060
Giraldo-Gallo, P., et al. “Scale-Invariant Magnetoresistance in a Cuprate Superconductor.” Science, vol. 361, no. 6401, AAAS, 2018, pp. 479–81, doi:10.1126/science.aan3178.
View
| DOI
2018 | Conference Paper | IST-REx-ID: 7116 |
Grubic, Demjan, et al. “Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study.” Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–56, doi:10.5441/002/EDBT.2018.14.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7126 |
Cubero, Ryan J., et al. “Minimum Description Length Codes Are Critical.” Entropy, vol. 20, no. 10, 755, MDPI, 2018, doi:10.3390/e20100755.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7277 |
Mahne, Nika, et al. “Electrochemical Oxidation of Lithium Carbonate Generates Singlet Oxygen.” Angewandte Chemie International Edition, vol. 57, no. 19, Wiley, 2018, pp. 5529–33, doi:10.1002/anie.201802277.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7271
Costanzo, Tommaso, et al. “Quasi-Monodisperse Transition-Metal-Doped BaTiO3 (M = Cr, Mn, Fe, Co) Colloidal Nanocrystals with Multiferroic Properties.” ACS Applied Nano Materials, vol. 1, no. 9, ACS, 2018, pp. 4863–74, doi:10.1021/acsanm.8b01036.
View
| DOI
2018 | Journal Article | IST-REx-ID: 7287 |
Schafzahl, Bettina, et al. “Quantifying Total Superoxide, Peroxide, and Carbonaceous Compounds in Metal–O2 Batteries and the Solid Electrolyte Interphase.” ACS Energy Letters, vol. 3, no. 1, ACS, 2018, pp. 170–76, doi:10.1021/acsenergylett.7b01111.
[Submitted Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7285 |
Burian, Max, et al. “Inter-Backbone Charge Transfer as Prerequisite for Long-Range Conductivity in Perylene Bisimide Hydrogels.” ACS Nano, vol. 12, no. 6, ACS, 2018, pp. 5800–06, doi:10.1021/acsnano.8b01689.
[Submitted Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 7286
Schafzahl, Lukas, et al. “Long-Chain Li and Na Alkyl Carbonates as Solid Electrolyte Interphase Components: Structure, Ion Transport, and Mechanical Properties.” Chemistry of Materials, vol. 30, no. 10, ACS, 2018, pp. 3338–45, doi:10.1021/acs.chemmater.8b00750.
View
| DOI
2018 | Conference Paper | IST-REx-ID: 7407 |
Pietrzak, Krzysztof Z. “Proofs of Catalytic Space.” 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), vol. 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25, doi:10.4230/LIPICS.ITCS.2019.59.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 7458
Viehland, Dwight, et al. “Tutorial: Product Properties in Multiferroic Nanocomposites.” Journal of Applied Physics, vol. 124, no. 6, 061101, AIP, 2018, doi:10.1063/1.5038726.
View
| DOI
2018 | Journal Article | IST-REx-ID: 7717 |
Zhang, Qian, et al. “Genotype Effects Contribute to Variation in Longitudinal Methylome Patterns in Older People.” Genome Medicine, vol. 10, no. 1, 75, Springer Nature, 2018, doi:10.1186/s13073-018-0585-7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 7718
Tucci, Serena, et al. “Evolutionary History and Adaptation of a Human Pygmy Population of Flores Island, Indonesia.” Science, vol. 361, no. 6401, American Association for the Advancement of Science, 2018, pp. 511–16, doi:10.1126/science.aar8486.
View
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 7712 |
Yap, Chloe X., et al. “Dissection of Genetic Variation and Evidence for Pleiotropy in Male Pattern Baldness.” Nature Communications, vol. 9, 5407, Springer Nature, 2018, doi:10.1038/s41467-018-07862-y.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 7716 |
Maier, Robert M., et al. “Improving Genetic Prediction by Leveraging Genetic Correlations among Human Diseases and Traits.” Nature Communications, vol. 9, 989, Springer Nature, 2018, doi:10.1038/s41467-017-02769-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 7715
Yengo, Loic, et al. “Imprint of Assortative Mating on the Human Genome.” Nature Human Behaviour, vol. 2, no. 12, Springer Nature, 2018, pp. 948–54, doi:10.1038/s41562-018-0476-3.
View
| DOI
2018 | Journal Article | IST-REx-ID: 7714 |
Zhu, Zhihong, et al. “Causal Associations between Risk Factors and Common Diseases Inferred from GWAS Summary Data.” Nature Communications, vol. 9, 224, Springer Nature, 2018, doi:10.1038/s41467-017-02317-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)