Sun, Rémy, and Christoph Lampert. KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications. Vol. 11269, Springer Nature, 2019, pp. 244–59, doi:10.1007/978-3-030-12939-2_18.
LibreCat: https://research-explorer.ista.ac.at/record/6482
DOI: 10.1007/978-3-030-12939-2_18
arXiv: 1804.04171

Dostalík, Mark, et al. “On Diffusive Variants of Some Classical Viscoelastic Rate-Type Models.”10.1063/1.5109493__AIP Conference Proceedings, vol. 2107, 020002, AIP Publishing, 2019, doi:10.1063/1.5109493.
LibreCat: https://research-explorer.ista.ac.at/record/6642
DOI: 10.1063/1.5109493
WoS: 000479303100002
arXiv: 1902.07983

Jaksic, Vojkan, and Robert Seiringer. “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018.”10.1063/1.5138135__Journal of Mathematical Physics, vol. 60, no. 12, 123504, AIP Publishing, 2019, doi:10.1063/1.5138135.
LibreCat: https://research-explorer.ista.ac.at/record/7226
DOI: 10.1063/1.5138135
WoS: 000505529800002

Huber, D., et al. “In-Medium Bound States of Two Bosonic Impurities in a One-Dimensional Fermi Gas.”10.1103/physrevresearch.1.033177__Physical Review Research, vol. 1, no. 3, 033177, American Physical Society, 2019, doi:10.1103/physrevresearch.1.033177.
LibreCat: https://research-explorer.ista.ac.at/record/7190
DOI: 10.1103/physrevresearch.1.033177
arXiv: 1908.02483

Choi, Soonwon, et al. “Emergent SU(2) Dynamics and Perfect Quantum Many-Body Scars.”10.1103/PhysRevLett.122.220603__Physical Review Letters, vol. 122, no. 22, 220603, American Physical Society, 2019, doi:10.1103/PhysRevLett.122.220603.
LibreCat: https://research-explorer.ista.ac.at/record/6575
DOI: 10.1103/PhysRevLett.122.220603
WoS: 000470885800005
arXiv: 1812.05561

Mentink, Johann H., et al. “Quantum Many-Body Dynamics of the Einstein-de Haas Effect.”10.1103/PhysRevB.99.064428__Physical Review B, vol. 99, no. 6, 064428, American Physical Society, 2019, doi:10.1103/PhysRevB.99.064428.
LibreCat: https://research-explorer.ista.ac.at/record/6092
DOI: 10.1103/PhysRevB.99.064428
WoS: 000459223400004
arXiv: 1802.01638

Carballo-Pacheco, Martín, et al. “Receptor Crosstalk Improves Concentration Sensing of Multiple Ligands.”10.1103/PhysRevE.99.022423__Physical Review E, vol. 99, no. 2, 022423, American Physical Society, 2019, doi:10.1103/PhysRevE.99.022423.
LibreCat: https://research-explorer.ista.ac.at/record/6090
DOI: 10.1103/PhysRevE.99.022423
WoS: 000459916500007

Hubert, Colin, et al. “Attractive Dipolar Coupling between Stacked Exciton Fluids.”10.1103/PhysRevX.9.021026__Physical Review X, vol. 9, no. 2, 021026, American Physical Society, 2019, doi:10.1103/PhysRevX.9.021026.
LibreCat: https://research-explorer.ista.ac.at/record/6786
DOI: 10.1103/PhysRevX.9.021026
WoS: 000467402900001
arXiv: 1807.11238

Orell, Tuure, et al. “Probing the Many-Body Localization Phase Transition with Superconducting Circuits.”10.1103/physrevb.100.134504__Physical Review B, vol. 100, no. 13, 134504, American Physical Society, 2019, doi:10.1103/physrevb.100.134504.
LibreCat: https://research-explorer.ista.ac.at/record/7013
DOI: 10.1103/physrevb.100.134504
WoS: 000489036500004
arXiv: 1907.04043

Brighi, Pietro, et al. “Effect of Anomalous Diffusion of Fluctuating Cooper Pairs on the Density of States of Superconducting NbN Thin Films.”10.1103/PhysRevB.100.174518__Physical Review B, vol. 100, no. 17, 174518, American Physical Society, 2019, doi:10.1103/PhysRevB.100.174518.
LibreCat: https://research-explorer.ista.ac.at/record/7200
DOI: 10.1103/PhysRevB.100.174518
WoS: 000498845700006
arXiv: 1907.13579

Suri, Balachandra, et al. “Heteroclinic and Homoclinic Connections in a Kolmogorov-like Flow.”10.1103/physreve.100.013112__Physical Review E, vol. 100, no. 1, 013112, American Physical Society, 2019, doi:10.1103/physreve.100.013112.
LibreCat: https://research-explorer.ista.ac.at/record/6779
DOI: 10.1103/physreve.100.013112
WoS: 000477911800012
arXiv: 1907.05860

Lewin, Mathieu, et al. “Floating Wigner Crystal with No Boundary Charge Fluctuations.”10.1103/physrevb.100.035127__Physical Review B, vol. 100, no. 3, 035127, American Physical Society, 2019, doi:10.1103/physrevb.100.035127.
LibreCat: https://research-explorer.ista.ac.at/record/7015
DOI: 10.1103/physrevb.100.035127
WoS: 000477888200001
arXiv: 1905.09138

Anselmetti, G. L. R., et al. “End-to-End Correlated Subgap States in Hybrid Nanowires.”10.1103/physrevb.100.205412__Physical Review B, vol. 100, no. 20, 205412, American Physical Society, 2019, doi:10.1103/physrevb.100.205412.
LibreCat: https://research-explorer.ista.ac.at/record/7145
DOI: 10.1103/physrevb.100.205412
WoS: 000495967500006
arXiv: 1908.05549

Goremykina, Anna, et al. “Analytically Solvable Renormalization Group for the Many-Body Localization Transition.”10.1103/physrevlett.122.040601__Physical Review Letters, vol. 122, no. 4, 040601, American Physical Society, 2019, doi:10.1103/physrevlett.122.040601.
LibreCat: https://research-explorer.ista.ac.at/record/5906
DOI: 10.1103/physrevlett.122.040601
WoS: 000456783700001
arXiv: 1807.04285

Karle, Volker, et al. “Coupled Superfluidity of Binary Bose Mixtures in Two Dimensions.”10.1103/PhysRevA.99.063627__Physical Review A, vol. 99, no. 6, 063627, American Physical Society, 2019, doi:10.1103/PhysRevA.99.063627.
LibreCat: https://research-explorer.ista.ac.at/record/6632
DOI: 10.1103/PhysRevA.99.063627
WoS: 000473133600007
arXiv: 1903.06759

Koch, Christiane P., et al. “Quantum Control of Molecular Rotation.”10.1103/revmodphys.91.035005__Reviews of Modern Physics, vol. 91, no. 3, 035005, American Physical Society, 2019, doi:10.1103/revmodphys.91.035005.
LibreCat: https://research-explorer.ista.ac.at/record/7396
DOI: 10.1103/revmodphys.91.035005
WoS: 000486661700001
arXiv: 1810.11338

Hledik, Michal, et al. “A Tight Upper Bound on Mutual Information.”10.1109/ITW44776.2019.8989292__IEEE Information Theory Workshop, ITW 2019, 8989292, IEEE, 2019, doi:10.1109/ITW44776.2019.8989292.
LibreCat: https://research-explorer.ista.ac.at/record/7606
DOI: 10.1109/ITW44776.2019.8989292
WoS: 000540384500015
arXiv: 1812.01475

Censor-Hillel, Keren, et al. “Fast Approximate Shortest Paths in the Congested Clique.”10.1145/3293611.3331633__Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83, doi:10.1145/3293611.3331633.
LibreCat: https://research-explorer.ista.ac.at/record/6933
DOI: 10.1145/3293611.3331633
WoS: 000570442000011
arXiv: 1903.05956

Lukacisin, Martin. Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory. IST Austria, 2019, doi:10.15479/AT:ISTA:6392.
LibreCat: https://research-explorer.ista.ac.at/record/6392
DOI: 10.15479/AT:ISTA:6392

Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6435.
LibreCat: https://research-explorer.ista.ac.at/record/6435
DOI: 10.15479/AT:ISTA:6435

Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . Institute of Science and Technology Austria, 2019, doi:10.15479/at:ista:th1075.
LibreCat: https://research-explorer.ista.ac.at/record/6269
DOI: 10.15479/at:ista:th1075

Kim, Olena, et al. “Functional Analysis of the Docked Vesicle Pool in Hippocampal Mossy Fiber Terminals by Electron Microscopy.”10.25006/ia.7.s1-a3.27__Intrinsic Activity, vol. 7, no. Suppl. 1, .27, Austrian Pharmacological Society, 2019, doi:10.25006/ia.7.s1-a3.27.
LibreCat: https://research-explorer.ista.ac.at/record/11222
DOI: 10.25006/ia.7.s1-a3.27

Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6947.
LibreCat: https://research-explorer.ista.ac.at/record/6947
DOI: 10.15479/AT:ISTA:6947

Marhavá, Petra, et al. “Re-Activation of Stem Cell Pathways for Pattern Restoration in Plant Wound Healing.”10.1016/j.cell.2019.04.015__Cell, vol. 177, no. 4, Elsevier, 2019, p. 957–969.e13, doi:10.1016/j.cell.2019.04.015.
LibreCat: https://research-explorer.ista.ac.at/record/6351
DOI: 10.1016/j.cell.2019.04.015
WoS: 000466843000015
PMID: 31051107

Hörmayer, Lukas, and Jií Friml. “Targeted Cell Ablation-Based Insights into Wound Healing and Restorative Patterning.”10.1016/j.pbi.2019.08.006__Current Opinion in Plant Biology, vol. 52, Elsevier, 2019, pp. 124–30, doi:10.1016/j.pbi.2019.08.006.
LibreCat: https://research-explorer.ista.ac.at/record/6943
DOI: 10.1016/j.pbi.2019.08.006
WoS: 000502890600017
PMID: 31585333

Tabata, Shigekazu, et al. “Electron Microscopic Detection of Single Membrane Proteins by a Specific Chemical Labeling.”10.1016/j.isci.2019.11.025__IScience, vol. 22, no. 12, Elsevier, 2019, pp. 256–68, doi:10.1016/j.isci.2019.11.025.
LibreCat: https://research-explorer.ista.ac.at/record/7391
DOI: 10.1016/j.isci.2019.11.025
WoS: :000504652000020
PMID: 31786521

Kampjut, Domen, and Leonid A. Sazanov. “Structure and Mechanism of Mitochondrial Proton-Translocating Transhydrogenase.”10.1038/s41586-019-1519-2__Nature, vol. 573, no. 7773, Springer Nature, 2019, pp. 291–295, doi:10.1038/s41586-019-1519-2.
LibreCat: https://research-explorer.ista.ac.at/record/6848
DOI: 10.1038/s41586-019-1519-2
WoS: 000485415400061
PMID: 31462775

Boccara, Charlotte N., et al. “The Entorhinal Cognitive Map Is Attracted to Goals.”10.1126/science.aav4837__Science, vol. 363, no. 6434, American Association for the Advancement of Science, 2019, pp. 1443–47, doi:10.1126/science.aav4837.
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission. Institute of Science and Technology Austria, 2019, doi:10.15479/at:ista:7132.
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 10.15479/at:ista:7132

Castro, João Pl, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.”10.7554/eLife.42014__ELife, vol. 8, e42014, eLife Sciences Publications, 2019, doi:10.7554/eLife.42014.
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

Hofmann, Andrea C., et al. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.”10.48550/arXiv.1910.05841__ArXiv, 1910.05841, doi: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, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.”10.7554/elife.41801__ELife, vol. 8, e41801, eLife Sciences Publications, 2019, doi: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. Institute of Science and Technology Austria, 2019, doi: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. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6363.
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.”10.1145/3360555__Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , vol. 3, 129, ACM, 2019, doi:10.1145/3360555.
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.”10.1145/3290366__Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 10.1145/3290366

Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.”10.1109/BLOC.2019.8751326__IEEE International Conference on Blockchain and Cryptocurrency, 8751326, IEEE, 2019, doi: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, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.”10.1145/3297280.3297319__Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part 7772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.”10.1145/3314221.3314581__PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–20, doi: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, et al. “The Treewidth of Smart Contracts.”10.1145/3297280.3297322__Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part 7772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.”10.1145/3363525__ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.”10.1145/3339984__ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.”10.1115/1.4043494__Journal of Fluids Engineering, vol. 141, no. 11, 111105, ASME, 2019, doi: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, et al. “Relaminarising Pipe Flow by Wall Movement.”10.1017/jfm.2019.191__Journal of Fluid Mechanics, vol. 867, Cambridge University Press, 2019, pp. 934–48, doi: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., et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.”10.1104/pp.19.00201__Plant Physiology, vol. 180, no. 2, ASPB, 2019, pp. 1152–65, doi: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, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.”10.1016/j.cell.2019.04.030__Cell, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi: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, et al. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.”10.1016/j.cell.2019.10.006__Cell, vol. 179, no. 4, Cell Press, 2019, p. 937–952.e18, doi: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. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6891.
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 10.15479/AT:ISTA:6891

Renkawitz, Jörg, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.”10.1038/s41586-019-1087-5__Nature, vol. 568, Springer Nature, 2019, pp. 546–50, doi: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

Kopf, Aglaja, and Michael K. Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.”10.1016/j.cell.2019.08.047__Cell, vol. 179, no. 1, Elsevier, 2019, pp. 51–53, doi:10.1016/j.cell.2019.08.047.
LibreCat: https://research-explorer.ista.ac.at/record/6877
DOI: 10.1016/j.cell.2019.08.047
WoS: 000486618500011
PMID: 31539498

Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell Grid.”10.1016/j.neuron.2019.08.021__Neuron, vol. 103, no. 5, Elsevier, 2019, pp. 750–52, doi: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, et al. “Reorientation of Cortical Microtubule Arrays in the Hypocotyl of Arabidopsis Thaliana Is Induced by the Cell Growth Process and Independent of Auxin Signaling.”10.3390/ijms20133337__International Journal of Molecular Sciences, vol. 20, no. 13, 3337, MDPI, 2019, doi:10.3390/ijms20133337.
LibreCat: https://research-explorer.ista.ac.at/record/6627
DOI: 10.3390/ijms20133337
WoS: 000477041100221
PMID: 31284661

Hafner, Christian, et al. “X-CAD: Optimizing CAD Models with Extended Finite Elements.”10.1145/3355089.3356576__ACM Transactions on Graphics, vol. 38, no. 6, 157, ACM, 2019, doi: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. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6371.
LibreCat: https://research-explorer.ista.ac.at/record/6371
DOI: 10.15479/AT:ISTA:6371

Agrawal, Nishchal, et al. “Transition to Turbulence in Particle Laden Flows.”10.1103/PhysRevLett.122.114502__Physical Review Letters, vol. 122, no. 11, 114502, American Physical Society, 2019, doi: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. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6849.
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

Käfer, Karola, et al. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.”10.1002/hipo.23076__Hippocampus, vol. 29, no. 9, Wiley, 2019, pp. 802–16, doi: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. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6825.
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

Allini, Elie Noumon, et al. “Evaluation and Monitoring of Free Running Oscillators Serving as Source of Randomness.”10.13154/tches.v2018.i3.214-242__IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2018, no. 3, International Association for Cryptologic Research, 2018, pp. 214–42, doi: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, et al. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.”10.29007/5z5k__22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 57, EasyChair, 2018, pp. 233–53, doi: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. Vol. 270, Springer, 2018, pp. 185–214, doi: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, et al. “Infinite-Dimensional Calculus under Weak Spatial Regularity of the Processes.”10.1007/s10959-016-0724-2__Journal of Theoretical Probability, vol. 31, no. 2, Springer, 2018, pp. 789–826, doi: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. Vol. 99, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.39.
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner, Herbert, et al. Smallest Enclosing Spheres and Chernoff Points in Bregman Geometry. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13, doi: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.”10.1016/j.heliyon.2018.e00596__Heliyon, vol. 4, no. 4, e00596, Elsevier, 2018, doi: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., et al. Handbook of Model Checking. 1st ed., Springer Nature, 2018, doi: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.”10.1007/978-1-4939-8772-6_4__Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63, doi: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, et al. “Fabrication and Operation of Microfluidic Hanging Drop Networks.”10.1007/978-1-4939-7792-5_15__Methods in Molecular Biology, vol. 1771, Springer, 2018, pp. 183–202, doi: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, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh, Hoang, et al. “In Vitro Assay for Induction of Adventitious Rooting on Intact Arabidopsis Hypocotyls.”10.1007/978-1-4939-7747-5_7__Root Development , vol. 1761, Springer Nature, 2018, pp. 95–102, doi: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, et al. “Optimized Whole Mount in Situ Immunolocalization for Arabidopsis Thaliana  Root Meristems and Lateral Root Primordia.”10.1007/978-1-4939-7747-5_10__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.
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.”10.1126/scitranslmed.aar7514__Science Translational Medicine, vol. 10, no. 423, eaar7514, American Association for the Advancement of Science, 2018, doi: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.”10.31263/voebm.v71i1.1993__VÖB Mitteilungen, vol. 71, no. 1, Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018, pp. 199–206, doi:10.31263/voebm.v71i1.1993.
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh, Dan-Adrian, et al. “Communication-Efficient Randomized Consensus.”10.1007/s00446-017-0315-1__Distributed Computing, vol. 31, no. 6, Springer, 2018, pp. 489–501, doi: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., et al. “The Bogoliubov Free Energy Functional II: The Dilute Limit.”10.1007/s00220-017-3064-x__Communications in Mathematical Physics, vol. 360, no. 1, Springer, 2018, pp. 347–403, doi: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, et al. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.”10.1007/978-1-4939-7571-6_15__Neurotrophic Factors, edited by Stephen D. Skaper, vol. 1727, Springer, 2018, pp. 201–15, doi: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, 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

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

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

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

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

Grubic, Demjan, et al. “Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study.”10.5441/002/EDBT.2018.14__Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–56, doi: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.”10.4230/LIPICS.ITCS.2019.59__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.
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

Alistarh, Dan-Adrian, et al. “ThreadScan: Automatic and Scalable Memory Reclamation.”10.1145/3201897__ACM Transactions on Parallel Computing, vol. 4, no. 4, 18, Association for Computing Machinery, 2018, doi:10.1145/3201897.
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

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

Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.”10.1101/494088__BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/494088.
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee, Krishnendu, et al. “Computing Average Response Time.”10.1007/978-3-319-95246-8_9__Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi: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.”10.20388/omp2018.00s1.001__Opera Medica et Physiologica, vol. 4, no. , Lobachevsky State University of Nizhny Novgorod, 2018, p. 11, doi:10.20388/omp2018.00s1.001.
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi: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.”10.1371/journal.pbio.2005372__PLoS Biology, vol. 16, no. 6, e2005372, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005372.
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Frost, Jennifer M., et al. “FACT Complex Is Required for DNA Demethylation at Heterochromatin during Reproduction in Arabidopsis.”10.1073/pnas.1713333115__Proceedings of the National Academy of Sciences, vol. 115, no. 20, National Academy of Sciences, 2018, pp. 20–29, doi:10.1073/pnas.1713333115.
LibreCat: https://research-explorer.ista.ac.at/record/9471
DOI: 10.1073/pnas.1713333115
PMID: 29712855

Fulek, Radoslav, and Jan Kyndl. The 2-Genus of Kuratowski Minors. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi: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. Vol. 10692, Springer, 2018, pp. 160–66, doi: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, et al. Data from: Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes. Dryad, 2018, doi:10.5061/dryad.72cg113.
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Kazda, Alexandr, et al. “Absorption and Directed Jónsson Terms.”10.1007/978-3-319-74772-9_7__Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, edited by J Czelakowski, vol. 16, Springer Nature, 2018, pp. 203–20, doi: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, et al. Shellability Is NP-Complete. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16, doi: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, et al. On the Treewidth of Triangulated 3-Manifolds. Vol. 99, 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi: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