Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.”https://doi.org/10.1002/hipo.23076__Hippocampus. Wiley, 2019.https://doi.org/10.1002/hipo.23076 .
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.”https://doi.org/10.15479/AT:ISTA:6825__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6825 .
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

Allini, Elie Noumon, Maciej Skórski, Oto Petura, Florent Bernard, Marek Laban, and Viktor Fischer. “Evaluation and Monitoring of Free Running Oscillators Serving as Source of Randomness.”https://doi.org/10.13154/tches.v2018.i3.214-242__IACR Transactions on Cryptographic Hardware and Embedded Systems. International Association for Cryptologic Research, 2018.https://doi.org/10.13154/tches.v2018.i3.214-242 .
LibreCat: https://research-explorer.ista.ac.at/record/10286
DOI: 10.13154/tches.v2018.i3.214-242

Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Alexander Svozil. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.”https://doi.org/10.29007/5z5k__In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 57:233–53. EasyChair, 2018.https://doi.org/10.29007/5z5k .
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

Leopold, Nikolai K, and Peter Pickl. “Mean-Field Limits of Particles in Interaction with Quantised Radiation Fields,”https://doi.org/10.1007/978-3-030-01602-9_9__270:185–214. Springer, 2018.https://doi.org/10.1007/978-3-030-01602-9_9 .
LibreCat: https://research-explorer.ista.ac.at/record/11
DOI: 10.1007/978-3-030-01602-9_9
arXiv: 1806.10843

Flandoli, Franco, Francesco Russo, and Giovanni A Zanco. “Infinite-Dimensional Calculus under Weak Spatial Regularity of the Processes.”https://doi.org/10.1007/s10959-016-0724-2__Journal of Theoretical Probability. Springer, 2018.https://doi.org/10.1007/s10959-016-0724-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Fulek, Radoslav, and Jan Kyndl. “Hanani-Tutte for Approximating Maps of Graphs,”https://doi.org/10.4230/LIPIcs.SoCG.2018.39__Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.39 .
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Smallest Enclosing Spheres and Chernoff Points in Bregman Geometry,”https://doi.org/10.4230/LIPIcs.SoCG.2018.35__99:35:1-35:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.35 .
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum Entropy Approach and Its Application to Inference Problems in Biology.”https://doi.org/10.1016/j.heliyon.2018.e00596__Heliyon. Elsevier, 2018.https://doi.org/10.1016/j.heliyon.2018.e00596 .
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

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 .
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Zagórski, Marcin P, and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.”https://doi.org/10.1007/978-1-4939-8772-6_4__In Morphogen Gradients , 1863:47–63. MIMB. Springer Nature, 2018.https://doi.org/10.1007/978-1-4939-8772-6_4 .
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Misun, Patrick, Axel Birchler, Moritz Lang, Andreas Hierlemann, and Olivier Frey. “Fabrication and Operation of Microfluidic Hanging Drop Networks.”https://doi.org/10.1007/978-1-4939-7792-5_15__Methods in Molecular Biology. Springer, 2018.https://doi.org/10.1007/978-1-4939-7792-5_15 .
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotný. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,”https://doi.org/10.1145/3158122__Vol. 2. ACM, 2018.https://doi.org/10.1145/3158122 .
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh, Hoang, Inge Verstraeten, and Danny Geelen. “In Vitro Assay for Induction of Adventitious Rooting on Intact Arabidopsis Hypocotyls.”https://doi.org/10.1007/978-1-4939-7747-5_7__In Root Development , 1761:95–102. Springer Nature, 2018.https://doi.org/10.1007/978-1-4939-7747-5_7 .
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Karampelias, Michael, Ricardo Tejos, Jií Friml, and Steffen Vanneste. “Optimized Whole Mount in Situ Immunolocalization for Arabidopsis Thaliana  Root Meristems and Lateral Root Primordia.”https://doi.org/10.1007/978-1-4939-7747-5_10__In Root Development. Methods and Protocols, edited by Daniela Ristova and Elke Barbez, 1761:131–43. MIMB. Springer, 2018.https://doi.org/10.1007/978-1-4939-7747-5_10 .
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Novarino, Gaia. “Zika-Associated Microcephaly: Reduce the Stress and Race for the Treatment.”https://doi.org/10.1126/scitranslmed.aar7514__Science Translational Medicine. American Association for the Advancement of Science, 2018.https://doi.org/10.1126/scitranslmed.aar7514 .
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

Petritsch, Barbara, and Jana Porsche. “IST PubRep and IST DataRep: The Institutional Repositories at IST Austria.”https://doi.org/10.31263/voebm.v71i1.1993__VÖB Mitteilungen. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018.https://doi.org/10.31263/voebm.v71i1.1993 .
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh, Dan-Adrian, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.”https://doi.org/10.1007/s00446-017-0315-1__Distributed Computing. Springer, 2018.https://doi.org/10.1007/s00446-017-0315-1 .
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

Napiórkowski, Marcin M, Robin Reuvers, and Jan Solovej. “The Bogoliubov Free Energy Functional II: The Dilute Limit.”https://doi.org/10.1007/s00220-017-3064-x__Communications in Mathematical Physics. Springer, 2018.https://doi.org/10.1007/s00220-017-3064-x .
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

Dimitrov, Dimitar, Laurent Guillaud, Kohgaku Eguchi, and Tomoyuki Takahashi. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.”https://doi.org/10.1007/978-1-4939-7571-6_15__In Neurotrophic Factors, edited by Stephen D. Skaper, 1727:201–15. Springer, 2018.https://doi.org/10.1007/978-1-4939-7571-6_15 .
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

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

Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.”https://doi.org/10.1007/978-3-319-10575-8_1__In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018.https://doi.org/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

Fan, Shuxia, Michael Lorenz, Steffen Massberg, and Florian R Gärtner. “Platelet Migration and Bacterial Trapping Assay under Flow.”https://doi.org/10.21769/bioprotoc.3018__Bio-Protocol. Bio-Protocol, 2018.https://doi.org/10.21769/bioprotoc.3018 .
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

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

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

Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.”https://doi.org/10.1007/s00440-017-0787-8__Probability Theory and Related Fields. Springer, 2018.https://doi.org/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

Shekhovtsov, Alexander, Paul Swoboda, and Bogdan Savchynskyy. “Maximum Persistency via Iterative Relaxed Inference with Graphical Models.”https://doi.org/10.1109/TPAMI.2017.2730884__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2018.https://doi.org/10.1109/TPAMI.2017.2730884 .
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

Grubic, Demjan, Leo Tam, Dan-Adrian Alistarh, and Ce Zhang. “Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study.”https://doi.org/10.5441/002/EDBT.2018.14__In Proceedings of the 21st International Conference on Extending Database Technology, 145–56. OpenProceedings, 2018.https://doi.org/10.5441/002/EDBT.2018.14 .
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Pietrzak, Krzysztof Z. “Proofs of Catalytic Space.”https://doi.org/10.4230/LIPICS.ITCS.2019.59__In 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), 124:59:1-59:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPICS.ITCS.2019.59 .
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

Alistarh, Dan-Adrian, William Leiserson, Alexander Matveev, and Nir Shavit. “ThreadScan: Automatic and Scalable Memory Reclamation.”https://doi.org/10.1145/3201897__ACM Transactions on Parallel Computing. Association for Computing Machinery, 2018.https://doi.org/10.1145/3201897 .
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression via Distillation and Quantization.” In 6th International Conference on Learning Representations, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/7812
arXiv: 1802.05668

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.”https://doi.org/10.1101/494088__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/494088 .
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.”https://doi.org/10.1007/978-3-319-95246-8_9__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 .
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.”https://doi.org/10.20388/omp2018.00s1.001__Opera Medica et Physiologica. Lobachevsky State University of Nizhny Novgorod, 2018.https://doi.org/10.20388/omp2018.00s1.001 .
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPICS.MFCS.2018.23__Vol. 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPICS.MFCS.2018.23 .
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.”https://doi.org/10.1371/journal.pbio.2005372__PLoS Biology. Public Library of Science, 2018.https://doi.org/10.1371/journal.pbio.2005372 .
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Fulek, Radoslav, and Jan Kyndl. “The 2-Genus of Kuratowski Minors,”https://doi.org/10.4230/LIPIcs.SoCG.2018.40__99:40.1-40.14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.40 .
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound,”https://doi.org/10.1007/978-3-319-73915-1_14__10692:160–66. Springer, 2018.https://doi.org/10.1007/978-3-319-73915-1_14 .
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Faria, Rui, Pragya Chaube, Hernán E. Morales, Tomas Larsson, Alan R. Lemmon, Emily M. Lemmon, Marina Rafajlovi, et al. “Data from: Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.”https://doi.org/10.5061/dryad.72cg113__Dryad, 2018.https://doi.org/10.5061/dryad.72cg113 .
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5457

Kazda, Alexandr, Marcin Kozik, Ralph McKenzie, and Matthew Moore. “Absorption and Directed Jónsson Terms.”https://doi.org/10.1007/978-3-319-74772-9_7__In Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, edited by J Czelakowski, 16:203–20. OCTR. Cham: Springer Nature, 2018.https://doi.org/10.1007/978-3-319-74772-9_7 .
LibreCat: https://research-explorer.ista.ac.at/record/10864
DOI: 10.1007/978-3-319-74772-9_7
arXiv: 1502.01072

Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete,”https://doi.org/10.4230/LIPIcs.SoCG.2018.41__99:41:1-41:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.41 .
LibreCat: https://research-explorer.ista.ac.at/record/184
DOI: 10.4230/LIPIcs.SoCG.2018.41

Huszár, Kristóf, Jonathan Spreer, and Uli Wagner. “On the Treewidth of Triangulated 3-Manifolds,”https://doi.org/10.4230/LIPIcs.SoCG.2018.46__Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.46 .
LibreCat: https://research-explorer.ista.ac.at/record/285
DOI: 10.4230/LIPIcs.SoCG.2018.46
arXiv: 1712.00434

Garriga, Edgar, Paolo di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.”https://doi.org/10.5281/ZENODO.2025846__Zenodo, 2018.https://doi.org/10.5281/ZENODO.2025846 .
LibreCat: https://research-explorer.ista.ac.at/record/13059
DOI: 10.5281/ZENODO.2025846

Watzinger, Hannes. “Ge Hut Wires - from Growth to Hole Spin Resonance.”https://doi.org/10.15479/AT:ISTA:th_1033__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1033 .
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Iglesias Ham, Mabel. “Multiple Covers with Balls.”https://doi.org/10.15479/AT:ISTA:th_1026__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1026 .
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Zimin, Alexander. “Learning from Dependent Data.”https://doi.org/10.15479/AT:ISTA:TH1048__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH1048 .
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.”https://doi.org/10.15479/AT:ISTA:TH_1046__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH_1046 .
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Kolesnikov, Alexander. “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images.”https://doi.org/10.15479/AT:ISTA:th_1021__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1021 .
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

Filakovský, Marek, Peter Franek, Uli Wagner, and Stephan Y Zhechev. “Computing Simplicial Representatives of Homotopy Group Elements.”https://doi.org/10.1007/s41468-018-0021-5__Journal of Applied and Computational Topology. Springer, 2018.https://doi.org/10.1007/s41468-018-0021-5 .
LibreCat: https://research-explorer.ista.ac.at/record/6774
DOI: 10.1007/s41468-018-0021-5