Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.”10.1007/978-3-319-10575-8_27__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.
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Clarke, Edmund, et al. “Introduction to Model Checking.”10.1007/978-3-319-10575-8_1__Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).”10.1007/978-3-319-72456-0_7__Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7.
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

McLachlan, Ian G., et al. “A Neuronal MAP Kinase Constrains Growth of a Caenorhabditis Elegans Sensory Dendrite throughout the Life of the Organism.”10.1371/journal.pgen.1007435__PLOS Genetics, vol. 14, no. 6, e1007435, Public Library of Science, 2018, doi:10.1371/journal.pgen.1007435.
LibreCat: https://research-explorer.ista.ac.at/record/6111
DOI: 10.1371/journal.pgen.1007435
PMID: 29879119

Laurent, Patrick, et al. “Genetic Dissection of Neuropeptide Cell Biology at High and Low Activity in a Defined Sensory Neuron.”10.1073/pnas.1714610115__Proceedings of the National Academy of Sciences, vol. 115, no. 29, National Academy of Sciences, 2018, pp. 90–99, doi:10.1073/pnas.1714610115.
LibreCat: https://research-explorer.ista.ac.at/record/6109
DOI: 10.1073/pnas.1714610115
PMID: 29959203

Koshti, Girish, et al. “Sphere Construction on the FCC Grid Interpreted as Layered Hexagonal Grids in 3D.”10.1007/978-3-030-05288-1_7__19th International Workshop, vol. 11255, Springer, 2018, pp. 82–96, doi:10.1007/978-3-030-05288-1_7.
LibreCat: https://research-explorer.ista.ac.at/record/6164
DOI: 10.1007/978-3-030-05288-1_7

Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.”10.21769/bioprotoc.3018__Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018.
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

Higginbotham, Andrew P., et al. “Harnessing Electro-Optic Correlations in an Efficient Mechanical Converter.”10.1038/s41567-018-0210-0__Nature Physics, vol. 14, no. 10, Springer Nature, 2018, pp. 1038–42, doi:10.1038/s41567-018-0210-0.
LibreCat: https://research-explorer.ista.ac.at/record/6368
DOI: 10.1038/s41567-018-0210-0
arXiv: 1712.06535

Rosenthal, Eric I., et al. “Topological Phase Transition Measured in a Dissipative Metamaterial.”10.1103/physrevb.97.220301__Physical Review B, vol. 97, no. 22, 220301, American Physical Society (APS), 2018, doi:10.1103/physrevb.97.220301.
LibreCat: https://research-explorer.ista.ac.at/record/6369
DOI: 10.1103/physrevb.97.220301
arXiv: 1802.02243

Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018, doi:10.5281/zenodo.1410279.
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Hausel, Tamás, et al. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.”10.1093/oso/9780198802013.003.0009__Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218, doi:10.1093/oso/9780198802013.003.0009.
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009

Hashemi, Seyyed Ali, et al. “Decoding Reed-Muller and Polar Codes by Successive Factor Graph Permutations.”10.1109/istc.2018.8625281__2018 IEEE 10th International Symposium on Turbo Codes &; Iterative Information Processing, IEEE, 2018, pp. 1–5, doi:10.1109/istc.2018.8625281.
LibreCat: https://research-explorer.ista.ac.at/record/6664
DOI: 10.1109/istc.2018.8625281
arXiv: 1807.03912

Hashemi, Seyyed Ali, et al. “Decoder Partitioning: Towards Practical List Decoding of Polar Codes.”10.1109/tcomm.2018.2832207__IEEE Transactions on Communications, vol. 66, no. 9, IEEE, 2018, pp. 3749–59, doi:10.1109/tcomm.2018.2832207.
LibreCat: https://research-explorer.ista.ac.at/record/6674
DOI: 10.1109/tcomm.2018.2832207

Doan, Nghia, et al. “On the Decoding of Polar Codes on Permuted Factor Graphs.”10.1109/glocom.2018.8647308__2018 IEEE Global Communications Conference , IEEE, 2018, doi:10.1109/glocom.2018.8647308.
LibreCat: https://research-explorer.ista.ac.at/record/6728
DOI: 10.1109/glocom.2018.8647308
arXiv: 1806.11195

Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.”10.1109/tit.2018.2789885__IEEE Transactions on Information Theory, vol. 64, no. 5, IEEE, 2018, pp. 3371–93, doi:10.1109/tit.2018.2789885.
LibreCat: https://research-explorer.ista.ac.at/record/6678
DOI: 10.1109/tit.2018.2789885
arXiv: 1406.7373

Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.”10.1007/s00440-017-0787-8__Probability Theory and Related Fields, vol. 171, no. 1–2, 543–616, Springer, 2018, doi:10.1007/s00440-017-0787-8.
LibreCat: https://research-explorer.ista.ac.at/record/690
DOI: 10.1007/s00440-017-0787-8
arXiv: 1605.08767

Mondelli, Marco, et al. “A New Coding Paradigm for the Primitive Relay Channel.”10.1109/isit.2018.8437479__2018 IEEE International Symposium on Information Theory, IEEE, 2018, pp. 351–55, doi:10.1109/isit.2018.8437479.
LibreCat: https://research-explorer.ista.ac.at/record/6675
DOI: 10.1109/isit.2018.8437479
arXiv: 1801.03153

Shekhovtsov, Alexander, et al. “Maximum Persistency via Iterative Relaxed Inference with Graphical Models.”10.1109/TPAMI.2017.2730884__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7, IEEE, 2018, pp. 1668–82, doi:10.1109/TPAMI.2017.2730884.
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

Martino, Edoardo, et al. “Sr2Pt8xAs: A Layered Incommensurately Modulated Metal with Saturated Resistivity.”10.1107/s2052252518007303__IUCrJ, vol. 5, no. 4, International Union of Crystallography (IUCr), 2018, pp. 470–77, doi:10.1107/s2052252518007303.
LibreCat: https://research-explorer.ista.ac.at/record/7063
DOI: 10.1107/s2052252518007303

Ramshaw, B. J., et al. “Quantum Limit Transport and Destruction of the Weyl Nodes in TaAs.”10.1038/s41467-018-04542-9__Nature Communications, vol. 9, no. 1, 2217, Springer Nature, 2018, doi:10.1038/s41467-018-04542-9.
LibreCat: https://research-explorer.ista.ac.at/record/7062
DOI: 10.1038/s41467-018-04542-9