Hofmann, Andrea C, Daniel Jirovec, Maxim Borovkov, Ivan Prieto Gonzalez, Andrea Ballabio, Jacopo Frigerio, Daniel Chrastina, Giovanni Isella, and Georgios Katsaros. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.”https://doi.org/10.48550/arXiv.1910.05841__ArXiv, n.d.https://doi.org/10.48550/arXiv.1910.05841 .
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
arXiv: 1910.05841

Valosková, Katarina, Julia Bicher, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.”https://doi.org/10.7554/elife.41801__ELife. eLife Sciences Publications, 2019.https://doi.org/10.7554/elife.41801 .
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.”https://doi.org/10.15479/AT:ISTA:6546__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6546 .
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 10.15479/AT:ISTA:6546

Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.”https://doi.org/10.15479/AT:ISTA:6363__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6363 .
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.”https://doi.org/10.1145/3360555__In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019.https://doi.org/10.1145/3360555 .
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.”https://doi.org/10.1145/3290366__Proceedings of the ACM on Programming Languages. ACM, 2019.https://doi.org/10.1145/3290366 .
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 10.1145/3290366

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.”https://doi.org/10.1109/BLOC.2019.8751326__In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019.https://doi.org/10.1109/BLOC.2019.8751326 .
LibreCat: https://research-explorer.ista.ac.at/record/6056
DOI: 10.1109/BLOC.2019.8751326
arXiv: 1902.07986

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.”https://doi.org/10.1145/3297280.3297319__In Proceedings of the 34th ACM Symposium on Applied Computing, Part 7772:374–81. ACM, 2019.https://doi.org/10.1145/3297280.3297319 .
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.”https://doi.org/10.1145/3314221.3314581__In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019.https://doi.org/10.1145/3314221.3314581 .
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.”https://doi.org/10.1145/3297280.3297322__In Proceedings of the 34th ACM Symposium on Applied Computing, Part 7772:400–408. ACM, n.d.https://doi.org/10.1145/3297280.3297322 .
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.”https://doi.org/10.1145/3363525__ACM Transactions on Programming Languages and Systems. ACM, 2019.https://doi.org/10.1145/3363525 .
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.”https://doi.org/10.1145/3339984__ACM Transactions on Programming Languages and Systems. ACM, 2019.https://doi.org/10.1145/3339984 .
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.”https://doi.org/10.1115/1.4043494__Journal of Fluids Engineering. ASME, 2019.https://doi.org/10.1115/1.4043494 .
LibreCat: https://research-explorer.ista.ac.at/record/6486
DOI: 10.1115/1.4043494
WoS: 000487748600005
arXiv: 1809.07625

Scarselli, Davide, Jakob Kühnen, and Björn Hof. “Relaminarising Pipe Flow by Wall Movement.”https://doi.org/10.1017/jfm.2019.191__Journal of Fluid Mechanics. Cambridge University Press, 2019.https://doi.org/10.1017/jfm.2019.191 .
LibreCat: https://research-explorer.ista.ac.at/record/6228
DOI: 10.1017/jfm.2019.191
WoS: 000462606100001
arXiv: 1807.05357

Oochi, A, Jakub Hajny, K Fukui, Y Nakao, Michelle C Gallei, M Quareshy, K Takahashi, et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.”https://doi.org/10.1104/pp.19.00201__Plant Physiology. ASPB, 2019.https://doi.org/10.1104/pp.19.00201 .
LibreCat: https://research-explorer.ista.ac.at/record/6260
DOI: 10.1104/pp.19.00201
WoS: 000470086100045
PMID: 30936248

Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.”https://doi.org/10.1016/j.cell.2019.04.030__Cell. Elsevier, 2019.https://doi.org/10.1016/j.cell.2019.04.030 .
LibreCat: https://research-explorer.ista.ac.at/record/6508
DOI: 10.1016/j.cell.2019.04.030
WoS: 000469415100013
PMID: 31080065

Schwayer, Cornelia, Shayan Shamipour, Kornelija Pranjic-Ferscha, Alexandra Schauer, M Balda, M Tada, K Matter, and Carl-Philipp J Heisenberg. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.”https://doi.org/10.1016/j.cell.2019.10.006__Cell. Cell Press, 2019.https://doi.org/10.1016/j.cell.2019.10.006 .
LibreCat: https://research-explorer.ista.ac.at/record/7001
DOI: 10.1016/j.cell.2019.10.006
WoS: 000493898000012
PMID: 31675500

Kopf, Aglaja. “The Implication of Cytoskeletal Dynamics on Leukocyte Migration.”https://doi.org/10.15479/AT:ISTA:6891__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6891 .
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 10.15479/AT:ISTA:6891

Renkawitz, Jörg, Aglaja Kopf, Julian A Stopp, Ingrid de Vries, Meghan K. Driscoll, Jack Merrin, Robert Hauschild, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.”https://doi.org/10.1038/s41586-019-1087-5__Nature. Springer Nature, 2019.https://doi.org/10.1038/s41586-019-1087-5 .
LibreCat: https://research-explorer.ista.ac.at/record/6328
DOI: 10.1038/s41586-019-1087-5
WoS: 000465594200050
PMID: 30944468

Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell Grid.”https://doi.org/10.1016/j.neuron.2019.08.021__Neuron. Elsevier, 2019.https://doi.org/10.1016/j.neuron.2019.08.021 .
LibreCat: https://research-explorer.ista.ac.at/record/6830
DOI: 10.1016/j.neuron.2019.08.021
WoS: 000484400200002
PMID: 31487522

Adamowski, Maciek, Lanxin Li, and Jií Friml. “Reorientation of Cortical Microtubule Arrays in the Hypocotyl of Arabidopsis Thaliana Is Induced by the Cell Growth Process and Independent of Auxin Signaling.”https://doi.org/10.3390/ijms20133337__International Journal of Molecular Sciences. MDPI, 2019.https://doi.org/10.3390/ijms20133337 .
LibreCat: https://research-explorer.ista.ac.at/record/6627
DOI: 10.3390/ijms20133337
WoS: 000477041100221
PMID: 31284661

Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger, Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite Elements.”https://doi.org/10.1145/3355089.3356576__ACM Transactions on Graphics. ACM, 2019.https://doi.org/10.1145/3355089.3356576 .
LibreCat: https://research-explorer.ista.ac.at/record/7117
DOI: 10.1145/3355089.3356576
WoS: 000498397300007

Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation.”https://doi.org/10.15479/AT:ISTA:6371__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6371 .
LibreCat: https://research-explorer.ista.ac.at/record/6371
DOI: 10.15479/AT:ISTA:6371

Agrawal, Nishchal, George H Choueiri, and Björn Hof. “Transition to Turbulence in Particle Laden Flows.”https://doi.org/10.1103/PhysRevLett.122.114502__Physical Review Letters. American Physical Society, 2019.https://doi.org/10.1103/PhysRevLett.122.114502 .
LibreCat: https://research-explorer.ista.ac.at/record/6189
DOI: 10.1103/PhysRevLett.122.114502
WoS: 000461922000006
arXiv: 1809.06358

Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.”https://doi.org/10.15479/AT:ISTA:6849__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6849 .
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

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

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

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

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

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

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

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

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,”https://doi.org/10.4230/LIPIcs.CONCUR.2018.21__Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.CONCUR.2018.21 .
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

Edelsbrunner, Herbert, and Georg F Osang. “The Multi-Cover Persistence of Euclidean Balls,”https://doi.org/10.4230/LIPIcs.SoCG.2018.34__Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.34 .
LibreCat: https://research-explorer.ista.ac.at/record/187
DOI: 10.4230/LIPIcs.SoCG.2018.34

Akopyan, Arseniy. “-Webs Generated by Confocal Conics and Circles.”https://doi.org/10.1007/s10711-017-0265-6__Geometriae Dedicata. Springer, 2018.https://doi.org/10.1007/s10711-017-0265-6 .
LibreCat: https://research-explorer.ista.ac.at/record/692
DOI: 10.1007/s10711-017-0265-6
WoS: 000431418800004

Watzinger, Hannes, Josip Kukucka, Lada Vukusi, Fei Gao, Ting Wang, Friedrich Schäffler, Jian Zhang, and Georgios Katsaros. “A Germanium Hole Spin Qubit.”https://doi.org/10.1038/s41467-018-06418-4__Nature Communications. Nature Publishing Group, 2018.https://doi.org/10.1038/s41467-018-06418-4 .
LibreCat: https://research-explorer.ista.ac.at/record/77
DOI: 10.1038/s41467-018-06418-4
WoS: 000445560800010

Qin, Xiang, Edouard B Hannezo, Thomas Mangeat, Chang Liu, Pralay Majumder, Jjiaying Liu, Valerie Choesmel Cadamuro, et al. “A Biochemical Network Controlling Basal Myosin Oscillation.”https://doi.org/10.1038/s41467-018-03574-5__Nature Communications. Nature Publishing Group, 2018.https://doi.org/10.1038/s41467-018-03574-5 .
LibreCat: https://research-explorer.ista.ac.at/record/401
DOI: 10.1038/s41467-018-03574-5
WoS: 000428165400009

Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound Healing.”https://doi.org/10.1016/j.devcel.2018.02.009__Developmental Cell. Cell Press, 2018.https://doi.org/10.1016/j.devcel.2018.02.009 .
LibreCat: https://research-explorer.ista.ac.at/record/318
DOI: 10.1016/j.devcel.2018.02.009
WoS: 000426150700002
PMID: 29486189

Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Quantitative Brain Lesion Characterization and Electrode Localization.”https://doi.org/10.1038/s41598-018-23247-z__Scientific Reports. Nature Publishing Group, 2018.https://doi.org/10.1038/s41598-018-23247-z .
LibreCat: https://research-explorer.ista.ac.at/record/410
DOI: 10.1038/s41598-018-23247-z
WoS: 000428234100005

Dokládal, Ladislav, Eva Benková, David Honys, Nikoleta Dupláková, Lan Lee, Stanton Gelvin, and Eva Sýkorová. “An Armadillo-Domain Protein Participates in a Telomerase Interaction Network.”https://doi.org/10.1007/s11103-018-0747-4__Plant Molecular Biology. Springer, 2018.https://doi.org/10.1007/s11103-018-0747-4 .
LibreCat: https://research-explorer.ista.ac.at/record/277
DOI: 10.1007/s11103-018-0747-4
WoS: 000438981700009

Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.”https://doi.org/10.1007/978-3-319-89963-3_18__edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018.https://doi.org/10.1007/978-3-319-89963-3_18 .
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Konrad, Matthias, Christopher Pull, Sina Metzler, Katharina Seif, Elisabeth Naderlinger, Anna V Grasse, and Sylvia Cremer. “Ants Avoid Superinfections by Performing Risk-Adjusted Sanitary Care.”https://doi.org/10.1073/pnas.1713501115__PNAS. National Academy of Sciences, 2018.https://doi.org/10.1073/pnas.1713501115 .
LibreCat: https://research-explorer.ista.ac.at/record/413
DOI: 10.1073/pnas.1713501115
WoS: 000427245400069
PMID: 29463746

Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anyonic Statistics of Quantum Impurities in Two Dimensions.”https://doi.org/10.1103/PhysRevB.98.045402__Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2018.https://doi.org/10.1103/PhysRevB.98.045402 .
LibreCat: https://research-explorer.ista.ac.at/record/195
DOI: 10.1103/PhysRevB.98.045402
WoS: 000436939100007
arXiv: 1712.00308

Abbas, Mohamad, García J Hernández, Stephan Pollmann, Sophia L Samodelov, Martina Kolb, Jií Friml, Ulrich Z Hammes, Matias D Zurbriggen, Miguel Blázquez, and David Alabadí. “Auxin Methylation Is Required for Differential Growth in Arabidopsis.”https://doi.org/10.1073/pnas.1806565115__PNAS. National Academy of Sciences, 2018.https://doi.org/10.1073/pnas.1806565115 .
LibreCat: https://research-explorer.ista.ac.at/record/203
DOI: 10.1073/pnas.1806565115
WoS: 000436245000096

Napiórkowski, Marcin M, Robin Reuvers, and Jan Solovej. “Calculation of the Critical Temperature of a Dilute Bose Gas in the Bogoliubov Approximation.”https://doi.org/10.1209/0295-5075/121/10007__EPL. IOP Publishing Ltd., 2018.https://doi.org/10.1209/0295-5075/121/10007 .
LibreCat: https://research-explorer.ista.ac.at/record/399
DOI: 10.1209/0295-5075/121/10007
WoS: 000460003000003
arXiv: 1706.01822

Zhang, Luosha, Xiong Shi, Yutao Zhang, Jiajing Wang, Jingwei Yang, Takashi Ishida, Wenqian Jiang, et al. “CL Peptide-Induced Stomatal Closure Is Mediated by Abscisic Acid, Hydrogen Peroxide, and Nitric Oxide in Arabidopsis Thaliana.”https://doi.org/10.1111/pce.13475__Plant Cell and Environment. Wiley, 2018.https://doi.org/10.1111/pce.13475 .
LibreCat: https://research-explorer.ista.ac.at/record/5830
DOI: 10.1111/pce.13475
WoS: 000459014800021
PMID: 30378140

Lilja, Anna, Veronica Rodilla, Mathilde Huyghe, Edouard B Hannezo, Camille Landragin, Olivier Renaud, Olivier Leroy, Steffen Rulands, Benjamin Simons, and Silvia Fré. “Clonal Analysis of Notc-Expressing Cells Reveals the Existence of Unipotent Stem Cells That Retain Long-Term Plasticity in the Embryonic Mammary Gland.”https://doi.org/10.1038/s41556-018-0108-1__Nature Cell Biology. Nature Publishing Group, 2018.https://doi.org/10.1038/s41556-018-0108-1 .
LibreCat: https://research-explorer.ista.ac.at/record/288
DOI: 10.1038/s41556-018-0108-1
WoS: 000433237300003
PMID: 29784917

Auzinger, Thomas, Wolfgang Heidrich, and Bernd Bickel. “Computational Design of Nanostructural Color for Additive Manufacturing.”https://doi.org/10.1145/3197517.3201376__ACM Transactions on Graphics. ACM, 2018.https://doi.org/10.1145/3197517.3201376 .
LibreCat: https://research-explorer.ista.ac.at/record/304
DOI: 10.1145/3197517.3201376
WoS: 000448185000120

Nakashima, Kazutaka, Thomas Auzinger, Emmanuel Iarussi, Ran Zhang, Takeo Igarashi, and Bernd Bickel. “CoreCavity: Interactive Shell Decomposition for Fabrication with Two-Piece Rigid Molds.”https://doi.org/10.1145/3197517.3201341__ACM Transaction on Graphics. ACM, 2018.https://doi.org/10.1145/3197517.3201341 .
LibreCat: https://research-explorer.ista.ac.at/record/12
DOI: 10.1145/3197517.3201341
WoS: 000448185000096

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.”https://doi.org/10.1038/s41467-017-02721-8__Nature Communications. Nature Publishing Group, 2018.https://doi.org/10.1038/s41467-017-02721-8 .
LibreCat: https://research-explorer.ista.ac.at/record/454
DOI: 10.1038/s41467-017-02721-8
WoS: 000424318200001

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.”https://doi.org/10.1016/j.neuron.2018.02.024__Neuron. Elsevier, 2018.https://doi.org/10.1016/j.neuron.2018.02.024 .
LibreCat: https://research-explorer.ista.ac.at/record/320
DOI: 10.1016/j.neuron.2018.02.024
WoS: 000429192100016

Payne, Pavel, Lukas Geyrhofer, Nicholas H Barton, and Jonathan P Bollback. “CRISPR-Based Herd Immunity Can Limit Phage Epidemics in Bacterial Populations.”https://doi.org/10.7554/eLife.32035__ELife. eLife Sciences Publications, 2018.https://doi.org/10.7554/eLife.32035 .
LibreCat: https://research-explorer.ista.ac.at/record/423
DOI: 10.7554/eLife.32035
WoS: 000431035800001

Fulek, Radoslav, and Csaba D. Tóth. “Crossing Minimization in Perturbed Drawings,”https://doi.org/10.1007/978-3-030-04414-5_16__11282:229–41. Springer, 2018.https://doi.org/10.1007/978-3-030-04414-5_16 .
LibreCat: https://research-explorer.ista.ac.at/record/5791
DOI: 10.1007/978-3-030-04414-5_16
WoS: 000672802500016
arXiv: 1808.07608

Budanur, Nazmi B, and Björn Hof. “Complexity of the Laminar-Turbulent Boundary in Pipe Flow.”https://doi.org/10.1103/PhysRevFluids.3.054401__Physical Review Fluids. American Physical Society, 2018.https://doi.org/10.1103/PhysRevFluids.3.054401 .
LibreCat: https://research-explorer.ista.ac.at/record/291
DOI: 10.1103/PhysRevFluids.3.054401
WoS: 000433426200001
arXiv: 1802.01918

Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal Arrangements.”https://doi.org/10.1137/16M110407X__SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics , 2018.https://doi.org/10.1137/16M110407X .
LibreCat: https://research-explorer.ista.ac.at/record/58
DOI: 10.1137/16M110407X
WoS: 000450810500036
arXiv: 1604.00960

Payne, Pavel, Lukas Geyrhofer, Nicholas H Barton, and Jonathan P Bollback. “Data from: CRISPR-Based Herd Immunity Limits Phage Epidemics in Bacterial Populations.”https://doi.org/10.5061/dryad.42n44__Dryad, 2018.https://doi.org/10.5061/dryad.42n44 .
LibreCat: https://research-explorer.ista.ac.at/record/9840
DOI: 10.5061/dryad.42n44

Pull, Christopher, Line V Ugelvig, Florian Wiesenhofer, Anna V Grasse, Simon Tragust, Thomas Schmitt, Mark Brown, and Sylvia Cremer. “Destructive Disinfection of Infected Brood Prevents Systemic Disease Spread in Ant Colonies.”https://doi.org/10.7554/eLife.32073__ELife. eLife Sciences Publications, 2018.https://doi.org/10.7554/eLife.32073 .
LibreCat: https://research-explorer.ista.ac.at/record/616
DOI: 10.7554/eLife.32073
WoS: 000419601300001

Sznurkowska, Magdalena, Edouard B Hannezo, Roberta Azzarelli, Steffen Rulands, Sonia Nestorowa, Christopher Hindley, Jennifer Nichols, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.”https://doi.org/10.1016/j.devcel.2018.06.028__Developmental Cell. Cell Press, 2018.https://doi.org/10.1016/j.devcel.2018.06.028 .
LibreCat: https://research-explorer.ista.ac.at/record/132
DOI: 10.1016/j.devcel.2018.06.028
WoS: 000441327300012

Cucinotta, Mara, Silvia Manrique, Candela Cuesta, Eva Benková, Ondej Novák, and Lucia Colombo. “Cup-Shaped Cotyledon1 (CU) and C Regulate Cytokinin Homeostasis to Determine Ovule Number in Arabidopsis.”https://doi.org/10.1093/jxb/ery281__Journal of Experimental Botany. Oxford University Press, 2018.https://doi.org/10.1093/jxb/ery281 .
LibreCat: https://research-explorer.ista.ac.at/record/42
DOI: 10.1093/jxb/ery281
WoS: 000448163900015

Hetterich, Daniel, Norman Yao, Maksym Serbyn, Frank Pollmann, and Björn Trauzettel. “Detection and Characterization of Many-Body Localization in Central Spin Models.”https://doi.org/10.1103/PhysRevB.98.161122__Physical Review B. American Physical Society, 2018.https://doi.org/10.1103/PhysRevB.98.161122 .
LibreCat: https://research-explorer.ista.ac.at/record/46
DOI: 10.1103/PhysRevB.98.161122
WoS: 000448596500002
arXiv: 1806.08316

Ratheesh, Aparna, Julia Bicher, 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.”https://doi.org/10.1016/j.devcel.2018.04.002__Developmental Cell. Elsevier, 2018.https://doi.org/10.1016/j.devcel.2018.04.002 .
LibreCat: https://research-explorer.ista.ac.at/record/308
DOI: 10.1016/j.devcel.2018.04.002
WoS: 000432461400009
PMID: 29738712

Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction in Viscoelastic Flow.”https://doi.org/10.1103/PhysRevFluids.3.103302__Physical Review Fluids. American Physical Society, 2018.https://doi.org/10.1103/PhysRevFluids.3.103302 .
LibreCat: https://research-explorer.ista.ac.at/record/17
DOI: 10.1103/PhysRevFluids.3.103302
WoS: 000447311500001

Granados, Alejandro, Julian Pietsch, Sarah A Cepeda Humerez, Isebail Farquhar, Gasper Tkadik, and Peter Swain. “Distributed and Dynamic Intracellular Organization of Extracellular Information.”https://doi.org/10.1073/pnas.1716659115__PNAS. National Academy of Sciences, 2018.https://doi.org/10.1073/pnas.1716659115 .
LibreCat: https://research-explorer.ista.ac.at/record/281
DOI: 10.1073/pnas.1716659115
WoS: 000434114900071
PMID: 29784812

Yamamoto, Wataru, Suguru Wada, Makoto Nagano, Kaito Aoshima, Daria E Siekhaus, Junko Toshima, and Jiro Toshima. “Distinct Roles for Plasma Membrane PtdIns 4 P and PtdIns 4 5https://doi.org/10.1242/jcs.207696__during Yeast Receptor Mediated Endocytosis.”https://doi.org/10.1242/jcs.207696__Journal of Cell Science. Company of Biologists, 2018.https://doi.org/10.1242/jcs.207696 .
LibreCat: https://research-explorer.ista.ac.at/record/620
DOI: 10.1242/jcs.207696
WoS: 000424786900012
PMID: 29192062

Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.”https://doi.org/10.1145/3178126.3178132__In Proceedings of the 21st International Conference on Hybrid Systems, 177–86. ACM, 2018.https://doi.org/10.1145/3178126.3178132 .
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kudera, Petr Novotný, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,”https://doi.org/10.1145/3209108.3209191__8033:185–94. IEEE, 2018.https://doi.org/10.1145/3209108.3209191 .
LibreCat: https://research-explorer.ista.ac.at/record/143
DOI: 10.1145/3209108.3209191
WoS: 000545262800020