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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

Kopf, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.”https://doi.org/10.1016/j.cell.2019.08.047__Cell. Elsevier, 2019.https://doi.org/10.1016/j.cell.2019.08.047 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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, 2019.https://doi.org/10.1145/3297280.3297322 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018.https://doi.org/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 .

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 .

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 .

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 .

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 .

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 .

Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression via Distillation and Quantization.” In 6th International Conference on Learning Representations, 2018.

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,”https://doi.org/10.1145/3209108.3209194__Part 8033:394–403. IEEE, 2018.https://doi.org/10.1145/3209108.3209194 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .