Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.”https://doi.org/10.1007/978-3-030-60508-7_1__In Runtime Verification, 12399:3–18. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-60508-7_1 .
LibreCat: https://research-explorer.ista.ac.at/record/8623
DOI: 10.1007/978-3-030-60508-7_1
WoS: 000728160600001

Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.”https://doi.org/10.1007/978-3-030-60440-0_26__In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-60440-0_26 .
LibreCat: https://research-explorer.ista.ac.at/record/8732
DOI: 10.1007/978-3-030-60440-0_26

Chakraborty, Suvradip, Manoj Prabhakaran, and Daniel Wichs. “Witness Maps and Applications.”https://doi.org/10.1007/978-3-030-45374-9_8__In Public-Key Cryptography, edited by A Kiayias, 12110:220–46. LNCS. Cham: Springer Nature, 2020.https://doi.org/10.1007/978-3-030-45374-9_8 .
LibreCat: https://research-explorer.ista.ac.at/record/10865
DOI: 10.1007/978-3-030-45374-9_8

Rademacher, Simone Anna Elvira. “Central Limit Theorem for Bose Gases Interacting through Singular Potentials.”https://doi.org/10.1007/s11005-020-01286-w__Letters in Mathematical Physics. Springer Nature, 2020.https://doi.org/10.1007/s11005-020-01286-w .
LibreCat: https://research-explorer.ista.ac.at/record/7611
DOI: 10.1007/s11005-020-01286-w
WoS: 000551556000006

Baskett, Carina, Lucy Schroeder, Marjorie G. Weber, and Douglas W. Schemske. “Multiple Metrics of Latitudinal Patterns in Insect Pollination and Herbivory for a Tropicaltemperate Congener Pair.”https://doi.org/10.1002/ecm.1397__Ecological Monographs. Wiley, 2020.https://doi.org/10.1002/ecm.1397 .
LibreCat: https://research-explorer.ista.ac.at/record/7236
DOI: 10.1002/ecm.1397
WoS: 000508511600001

Zhang, Yuzhou, Corinna Hartinger, Xiaojuan Wang, and Jií Friml. “Directional Auxin Fluxes in Plants by Intramolecular Domaindomain Coevolution of PIN Auxin Transporters.”https://doi.org/10.1111/nph.16629__New Phytologist. Wiley, 2020.https://doi.org/10.1111/nph.16629 .
LibreCat: https://research-explorer.ista.ac.at/record/7697
DOI: 10.1111/nph.16629
WoS: 000534092400001
PMID: 32350870

Schreck, Camille, and Chris Wojtan. “A Practical Method for Animating Anisotropic Elastoplastic Materials.”https://doi.org/10.1111/cgf.13914__Computer Graphics Forum. Wiley, 2020.https://doi.org/10.1111/cgf.13914 .
LibreCat: https://research-explorer.ista.ac.at/record/8765
DOI: 10.1111/cgf.13914
WoS: 000548709600008

Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Frederic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Freewater Reduction in Waterinsalt Electrolyte.”https://doi.org/10.1002/ange.202005378__Angewandte Chemie. Wiley, 2020.https://doi.org/10.1002/ange.202005378 .
LibreCat: https://research-explorer.ista.ac.at/record/8057
DOI: 10.1002/ange.202005378

Milutinovic, Barbara, Miriam Stock, Anna V Grasse, Elisabeth Naderlinger, Christian Hilbe, and Sylvia Cremer. “Social Immunity Modulates Competition between Coinfecting Pathogens.”https://doi.org/10.1111/ele.13458__Ecology Letters. Wiley, 2020.https://doi.org/10.1111/ele.13458 .
LibreCat: https://research-explorer.ista.ac.at/record/7343
DOI: 10.1111/ele.13458
WoS: 000507515900001

Gammerdinger, William J, Melissa A Toups, and Beatriz Vicoso. “Disagreement in FST Estimators: A Case Study from  Sex Chromosomes.”https://doi.org/10.1111/1755-0998.13210__Molecular Ecology Resources. Wiley, 2020.https://doi.org/10.1111/1755-0998.13210 .
LibreCat: https://research-explorer.ista.ac.at/record/8099
DOI: 10.1111/1755-0998.13210
WoS: 000545451200001
PMID: 32543001

Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Fréderic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Freewater Reduction in Waterinsalt Electrolyte.”https://doi.org/10.1002/anie.202005378__Angewandte Chemie International Edition. Wiley, 2020.https://doi.org/10.1002/anie.202005378 .
LibreCat: https://research-explorer.ista.ac.at/record/7847
DOI: 10.1002/anie.202005378
WoS: 000541488700001
PMID: 32390281

Rybicki, Joel, Nerea Abrego, and Otso Ovaskainen. “Habitat Fragmentation and Species Diversity in Competitive Communities.”https://doi.org/10.1111/ele.13450__Ecology Letters. Wiley, 2020.https://doi.org/10.1111/ele.13450 .
LibreCat: https://research-explorer.ista.ac.at/record/7224
DOI: 10.1111/ele.13450
WoS: 000503625200001

Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “methoxyhydroquinone from Vanillin for Aqueous Redoxflow Batteries.”https://doi.org/10.1002/anie.202008253__Angewandte Chemie International Edition. Wiley, 2020.https://doi.org/10.1002/anie.202008253 .
LibreCat: https://research-explorer.ista.ac.at/record/8329
DOI: 10.1002/anie.202008253
WoS: 000576148700001

Milutinovic, Barbara, Miriam Stock, Anna V Grasse, Elisabeth Naderlinger, Christian Hilbe, and Sylvia Cremer. “Social Immunity Modulates Competition between Coinfecting Pathogens.”https://doi.org/10.5061/DRYAD.CRJDFN318__Dryad, 2020.https://doi.org/10.5061/DRYAD.CRJDFN318 .
LibreCat: https://research-explorer.ista.ac.at/record/13060
DOI: 10.5061/DRYAD.CRJDFN318

Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Gisbert Riess, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, et al. “CCDC 1991959: Experimental Crystal Structure Determination.”https://doi.org/10.5517/ccdc.csd.cc24vsrk__CCDC, 2020.https://doi.org/10.5517/ccdc.csd.cc24vsrk .
LibreCat: https://research-explorer.ista.ac.at/record/9780
DOI: 10.5517/ccdc.csd.cc24vsrk

Martín-Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro-Ruíz, Ana Esther Moreno-Martínez, Luis De La Ossa, José Martínez-Hernández, Alain Buisson, et al. “Reduction in the Neuronal Surface of Post and Presynaptic GABA&;B&; Receptors in the Hippocampus in a Mouse Model of Alzheimer’s Disease.”https://doi.org/10.1111/bpa.12802__Brain Pathology. Wiley, 2020.https://doi.org/10.1111/bpa.12802 .
LibreCat: https://research-explorer.ista.ac.at/record/7207
DOI: 10.1111/bpa.12802
WoS: 000502270900001
PMID: 31729777

Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger K. Butlin. “Is Embryo Abortion a Post-Zygotic Barrier to Gene Flow between Littorina Ecotypes?”https://doi.org/10.1111/jeb.13570__Journal of Evolutionary Biology. Wiley, 2020.https://doi.org/10.1111/jeb.13570 .
LibreCat: https://research-explorer.ista.ac.at/record/7205
DOI: 10.1111/jeb.13570
WoS: 000500954800001
PMID: 31724256

Nunes Pinheiro, Diana C, and Carl-Philipp J Heisenberg. “Zebrafish Gastrulation: Putting Fate in Motion.”https://doi.org/10.1016/bs.ctdb.2019.10.009__In Gastrulation: From Embryonic Pattern to Form, 136:343–75. Elsevier, 2020.https://doi.org/10.1016/bs.ctdb.2019.10.009 .
LibreCat: https://research-explorer.ista.ac.at/record/7227
DOI: 10.1016/bs.ctdb.2019.10.009
WoS: 000611830600013
PMID: 31959295

Sinclair, Scott A, S. Gille, M. Pauly, and U. Krämer. “Regulation of Acetylation of Plant Cell Wall Components Is Complex and Responds to External Stimuli.”https://doi.org/10.1080/15592324.2019.1687185__Plant Signaling &; Behavior. Informa UK Limited, 2020.https://doi.org/10.1080/15592324.2019.1687185 .
LibreCat: https://research-explorer.ista.ac.at/record/7417
DOI: 10.1080/15592324.2019.1687185
WoS: 000494907500001
PMID: 31696770

Erdös, László, Torben H Krüger, and Dominik J Schröder. “Cusp Universality for Random Matrices I: Local Law and the Complex Hermitian Case.”https://doi.org/10.1007/s00220-019-03657-4__Communications in Mathematical Physics. Springer Nature, 2020.https://doi.org/10.1007/s00220-019-03657-4 .
LibreCat: https://research-explorer.ista.ac.at/record/6185
DOI: 10.1007/s00220-019-03657-4
WoS: 000529483000001
arXiv: 1809.03971

Forkert, Dominik L. “Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains.”https://doi.org/10.15479/AT:ISTA:7629__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7629 .
LibreCat: https://research-explorer.ista.ac.at/record/7629
DOI: 10.15479/AT:ISTA:7629

Szep, Eniko. “Local Adaptation in Metapopulations.”https://doi.org/10.15479/AT:ISTA:8574__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8574 .
LibreCat: https://research-explorer.ista.ac.at/record/8574
DOI: 10.15479/AT:ISTA:8574

Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.”https://doi.org/10.15479/AT:ISTA:7514__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7514 .
LibreCat: https://research-explorer.ista.ac.at/record/7514
DOI: 10.15479/AT:ISTA:7514

Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.”https://doi.org/10.15479/AT:ISTA:8353__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8353 .
LibreCat: https://research-explorer.ista.ac.at/record/8353
DOI: 10.15479/AT:ISTA:8353

Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.”https://doi.org/10.15479/AT:ISTA:8589__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8589 .
LibreCat: https://research-explorer.ista.ac.at/record/8589
DOI: 10.15479/AT:ISTA:8589

Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.”https://doi.org/10.7554/eLife.59407__ELife. eLife Sciences Publications, 2020.https://doi.org/10.7554/eLife.59407 .
LibreCat: https://research-explorer.ista.ac.at/record/8284
DOI: 10.7554/eLife.59407
WoS: 000562123600001
PMID: 32735215

Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.”https://doi.org/10.15479/AT:ISTA:8155__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8155 .
LibreCat: https://research-explorer.ista.ac.at/record/8155
DOI: 10.15479/AT:ISTA:8155

Han, Huibin, Hana Rakusova, Inge Verstraeten, Yuzhou Zhang, and Jií Friml. “SCF TI/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.”https://doi.org/10.1104/pp.20.00212__Plant Physiology. American Society of Plant Biologists, 2020.https://doi.org/10.1104/pp.20.00212 .
LibreCat: https://research-explorer.ista.ac.at/record/7643
DOI: 10.1104/pp.20.00212
WoS: 000536641800018
PMID: 32107280

Grah, Rok, Benjamin Zoller, and Gasper Tkadik. “Normative Models of Enhancer Function.”https://doi.org/10.1101/2020.04.08.029405__BioRxiv. Cold Spring Harbor Laboratory, 2020.https://doi.org/10.1101/2020.04.08.029405 .
LibreCat: https://research-explorer.ista.ac.at/record/7675
DOI: 10.1101/2020.04.08.029405

Ölsböck, Katharina. “The Hole System of Triangulated Shapes.”https://doi.org/10.15479/AT:ISTA:7460__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7460 .
LibreCat: https://research-explorer.ista.ac.at/record/7460
DOI: 10.15479/AT:ISTA:7460

Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search Problems.”https://doi.org/10.15479/AT:ISTA:7896__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7896 .
LibreCat: https://research-explorer.ista.ac.at/record/7896
DOI: 10.15479/AT:ISTA:7896

Royer, Amélie, and Christoph Lampert. “Localizing Grouped Instances for Efficient Detection in Low-Resource Scenarios.”https://doi.org/10.1109/WACV45572.2020.9093288__In IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020.https://doi.org/10.1109/WACV45572.2020.9093288 .
LibreCat: https://research-explorer.ista.ac.at/record/7936
DOI: 10.1109/WACV45572.2020.9093288
arXiv: 2004.12623

Royer, Amélie, and Christoph Lampert. “A Flexible Selection Scheme for Minimum-Effort Transfer Learning.”https://doi.org/10.1109/WACV45572.2020.9093635__In 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020.https://doi.org/10.1109/WACV45572.2020.9093635 .
LibreCat: https://research-explorer.ista.ac.at/record/7937
DOI: 10.1109/WACV45572.2020.9093635
arXiv: 2008.11995

Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8193

Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.”https://doi.org/10.1007/978-3-030-30671-7_3__In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-30671-7_3 .
LibreCat: https://research-explorer.ista.ac.at/record/8092
DOI: 10.1007/978-3-030-30671-7_3
arXiv: 1711.05139

Masárová, Zuzana. “Reconfiguration Problems.”https://doi.org/10.15479/AT:ISTA:7944__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7944 .
LibreCat: https://research-explorer.ista.ac.at/record/7944
DOI: 10.15479/AT:ISTA:7944

Li, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.”https://doi.org/10.1063/1.5144759__The Journal of Chemical Physics. AIP Publishing, 2020.https://doi.org/10.1063/1.5144759 .
LibreCat: https://research-explorer.ista.ac.at/record/8587
DOI: 10.1063/1.5144759
WoS: 000530448300001
arXiv: 1912.02658

Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.”https://doi.org/10.15479/AT:ISTA:8341__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8341 .
LibreCat: https://research-explorer.ista.ac.at/record/8341
DOI: 10.15479/AT:ISTA:8341

Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.”https://doi.org/10.1073/pnas.1921027117__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020.https://doi.org/10.1073/pnas.1921027117 .
LibreCat: https://research-explorer.ista.ac.at/record/7580
DOI: 10.1073/pnas.1921027117
WoS: 000521821800040

Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.”https://doi.org/10.15479/AT:ISTA:8032__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8032 .
LibreCat: https://research-explorer.ista.ac.at/record/8032
DOI: 10.15479/AT:ISTA:8032

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014

Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.”https://doi.org/10.1145/3385412.3385980__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385980 .
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.”https://doi.org/10.15479/AT:ISTA:8358__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8358 .
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Osang, Georg F, Mael Rouxel-Labbé, and Monique Teillaud. “Generalizing CGAL Periodic Delaunay Triangulations.”https://doi.org/10.4230/LIPIcs.ESA.2020.75__In 28th Annual European Symposium on Algorithms, Vol. 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.ESA.2020.75 .
LibreCat: https://research-explorer.ista.ac.at/record/8703
DOI: 10.4230/LIPIcs.ESA.2020.75

Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” In 8th International Conference on Learning Representations, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7481

Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.”https://doi.org/10.1137/19m126284x__SIAM Journal on Mathematical Analysis. Society for Industrial &; Applied Mathematics , 2020.https://doi.org/10.1137/19m126284x .
LibreCat: https://research-explorer.ista.ac.at/record/9781
DOI: 10.1137/19m126284x
WoS: 000546967700022
arXiv: 1904.08647 

Fischer, Julian L, and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Surface Tension.”https://doi.org/10.1007/s00205-019-01486-2__Archive for Rational Mechanics and Analysis. Springer Nature, 2020.https://doi.org/10.1007/s00205-019-01486-2 .
LibreCat: https://research-explorer.ista.ac.at/record/7489
DOI: 10.1007/s00205-019-01486-2
WoS: 000511060200001

Fischer, Julian L, Sebastian Hensel, Tim Laux, and Thilo Simon. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/10012
arXiv: 2003.05478

Peruzzo, Matilda, Andrea Trioni, Farid Hassani, Martin Zemlicka, and Johannes M Fink. “Surpassing the Resistance Quantum with a Geometric Superinductor.”https://doi.org/10.1103/PhysRevApplied.14.044055__Physical Review Applied. American Physical Society, 2020.https://doi.org/10.1103/PhysRevApplied.14.044055 .
LibreCat: https://research-explorer.ista.ac.at/record/8755
DOI: 10.1103/PhysRevApplied.14.044055
WoS: 000582797300003
arXiv: 2007.01644

Gladbach, Peter, Eva Kopfer, Jan Maas, and Lorenzo Portinale. “Homogenisation of One-Dimensional Discrete Optimal Transport.”https://doi.org/10.1016/j.matpur.2020.02.008__Journal de Mathematiques Pures et Appliquees. Elsevier, 2020.https://doi.org/10.1016/j.matpur.2020.02.008 .
LibreCat: https://research-explorer.ista.ac.at/record/7573
DOI: 10.1016/j.matpur.2020.02.008
WoS: 000539439400008
arXiv: 1905.05757

Forkert, Dominik L, Jan Maas, and Lorenzo Portinale. “Evolutionary -Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/10022
arXiv: 2008.10962

Konstantinov, Nikola H, Elias Frantar, Dan-Adrian Alistarh, and Christoph Lampert. “On the Sample Complexity of Adversarial Multi-Source PAC Learning.” In Proceedings of the 37th International Conference on Machine Learning, 119:5416–25. ML Research Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8724
arXiv: 2002.10384

Rzadkowski, Wojciech, N Defenu, S Chiacchiera, A Trombettoni, and Giacomo Bighin. “Detecting Composite Orders in Layered Models via Machine Learning.”https://doi.org/10.1088/1367-2630/abae44__New Journal of Physics. IOP Publishing, 2020.https://doi.org/10.1088/1367-2630/abae44 .
LibreCat: https://research-explorer.ista.ac.at/record/8644
DOI: 10.1088/1367-2630/abae44
WoS: 000573298000001

Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.”https://doi.org/10.1007/s00023-020-00969-3__Annales Henri Poincare. Springer Nature, 2020.https://doi.org/10.1007/s00023-020-00969-3 .
LibreCat: https://research-explorer.ista.ac.at/record/8705
DOI: 10.1007/s00023-020-00969-3
WoS: 000578111800002
arXiv: 2003.12371

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/s10009-020-00582-z__International Journal on Software Tools for Technology Transfer. Springer Nature, 2020.https://doi.org/10.1007/s10009-020-00582-z .
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

Stark, Stefan G, Joanna Ficek, Francesco Locatello, Ximena Bonilla, Stéphane Chevrier, Franziska Singer, Rudolf Aebersold, et al. “SCIM: Universal Single-Cell Matching with Unpaired Feature Sets.”https://doi.org/10.1093/bioinformatics/btaa843__Bioinformatics. Oxford University Press, 2020.https://doi.org/10.1093/bioinformatics/btaa843 .
LibreCat: https://research-explorer.ista.ac.at/record/14125
DOI: 10.1093/bioinformatics/btaa843
PMID: 33381818

Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Commentary on the Unsupervised Learning of Disentangled Representations.”https://doi.org/10.1609/aaai.v34i09.7120__In The 34th AAAI Conference on Artificial Intelligence, 34:13681–84. Association for the Advancement of Artificial Intelligence, 2020.https://doi.org/10.1609/aaai.v34i09.7120 .
LibreCat: https://research-explorer.ista.ac.at/record/14186
DOI: 10.1609/aaai.v34i09.7120
arXiv: 2007.14184

Locatello, Francesco, Ben Poole, Gunnar Rätsch, Bernhard Schölkopf, Olivier Bachem, and Michael Tschannen. “Weakly-Supervised Disentanglement without Compromises.” In Proceedings of the 37th International Conference on Machine Learning, 119:6348–6359, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/14188
arXiv: 2002.02886

Négiar, Geoffrey, Gideon Dresdner, Alicia Tsai, Laurent El Ghaoui, Francesco Locatello, Robert M. Freund, and Fabian Pedregosa. “Stochastic Frank-Wolfe for Constrained Finite-Sum Minimization.” In Proceedings of the 37th International Conference on Machine Learning, 119:7253–62, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/14187
arXiv: 2002.11860

Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” Journal of Machine Learning Research. MIT Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/14195
arXiv: 2010.14766

Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.”https://doi.org/10.1371/journal.pcbi.1007642__PLOS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007642 .
LibreCat: https://research-explorer.ista.ac.at/record/7569
DOI: 10.1371/journal.pcbi.1007642
WoS: 000526725200019

Santini, Laura, Florian Halbritter, Fabian Titz-Teixeira, Toru Suzuki, Maki Asami, Julia Ramesmayer, Xiaoyan Ma, et al. “Novel Imprints in Mouse Blastocysts Are Predominantly DNA Methylation Independent.”https://doi.org/10.1101/2020.11.03.366948__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2020.11.03.366948 .
LibreCat: https://research-explorer.ista.ac.at/record/8813
DOI: 10.1101/2020.11.03.366948
PMID: PPR234457 

Grah, Rok, and Tamar Friedlander. “Maximizing Crosstalk.”https://doi.org/10.1371/journal.pcbi.1007642.s002__Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007642.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9777
DOI: 10.1371/journal.pcbi.1007642.s002

Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.”https://doi.org/10.15479/AT:ISTA:8332__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8332 .
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Locatello, Francesco, Dirk Weissenborn, Thomas Unterthiner, Aravindh Mahendran, Georg Heigold, Jakob Uszkoreit, Alexey Dosovitskiy, and Thomas Kipf. “Object-Centric Learning with Slot Attention.” In Advances in Neural Information Processing Systems, 33:11525–38. Curran Associates, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/14326
arXiv: 2006.15055

Gladbach, Peter, Eva Kopfer, and Jan Maas. “Scaling Limits of Discrete Optimal Transport.”https://doi.org/10.1137/19M1243440__SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics, 2020.https://doi.org/10.1137/19M1243440 .
LibreCat: https://research-explorer.ista.ac.at/record/71
DOI: 10.1137/19M1243440
WoS: 000546975100017
arXiv: 1809.01092

Hikaru, Ibayashi, Chris Wojtan, Nils Thuerey, Takeo Igarashi, and Ryoichi Ando. “Simulating Liquids on Dynamically Warping Grids.”https://doi.org/10.1109/TVCG.2018.2883628__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2020.https://doi.org/10.1109/TVCG.2018.2883628 .
LibreCat: https://research-explorer.ista.ac.at/record/5681
DOI: 10.1109/TVCG.2018.2883628
WoS: 000532295600014
PMID: 30507534

Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.”https://doi.org/10.15479/AT:ISTA:8958__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8958 .
LibreCat: https://research-explorer.ista.ac.at/record/8958
DOI: 10.15479/AT:ISTA:8958

Zhang, Ran. “Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability.”https://doi.org/10.15479/AT:ISTA:8386__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8386 .
LibreCat: https://research-explorer.ista.ac.at/record/8386
DOI: 10.15479/AT:ISTA:8386

Kukucka, Josip. “Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing.”https://doi.org/10.15479/AT:ISTA:7996__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7996 .
LibreCat: https://research-explorer.ista.ac.at/record/7996
DOI: 10.15479/AT:ISTA:7996

Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”https://doi.org/10.1007/978-3-030-53291-8_21__In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53291-8_21 .
LibreCat: https://research-explorer.ista.ac.at/record/8272
DOI: 10.1007/978-3-030-53291-8_21
WoS: 000695272500021
arXiv: 2005.04018

Dos Santos Caldas, Paulo R, Philipp Radler, Christoph M Sommer, and Martin Loose. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.”https://doi.org/10.1016/bs.mcb.2020.01.006__In Methods in Cell Biology, edited by Phonghttps://doi.org/10.1016/bs.mcb.2020.01.006__Tran, 158:145–61. Elsevier, 2020.https://doi.org/10.1016/bs.mcb.2020.01.006 .
LibreCat: https://research-explorer.ista.ac.at/record/7572
DOI: 10.1016/bs.mcb.2020.01.006
WoS: 000611826500008

Baranova, Natalia S., Philipp Radler, Víctor M. Hernández-Rocamora, Carlos Alfonso, Maria D Lopez Pelegrin, Germán Rivas, Waldemar Vollmer, and Martin Loose. “Diffusion and Capture Permits Dynamic Coupling between Treadmilling FtsZ Filaments and Cell Division Proteins.”https://doi.org/10.1038/s41564-019-0657-5__Nature Microbiology. Springer Nature, 2020.https://doi.org/10.1038/s41564-019-0657-5 .
LibreCat: https://research-explorer.ista.ac.at/record/7387
DOI: 10.1038/s41564-019-0657-5
WoS: 000508584700007
PMID: 31959972

Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.”https://doi.org/10.1556/012.2020.57.2.1454__Studia Scientiarum Mathematicarum Hungarica. Akadémiai Kiadó, 2020.https://doi.org/10.1556/012.2020.57.2.1454 .
LibreCat: https://research-explorer.ista.ac.at/record/8163
DOI: 10.1556/012.2020.57.2.1454
WoS: 000570978400005

Shakiba, A., Amir Kafshdar Goharshady, M.R. Hooshmandasl, and M. Alambardar Meybodi. “A Note on Belief Structures and S-Approximation Spaces.”https://doi.org/10.29252/ijmsi.15.2.117__Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research, 2020.https://doi.org/10.29252/ijmsi.15.2.117 .
LibreCat: https://research-explorer.ista.ac.at/record/8671
DOI: 10.29252/ijmsi.15.2.117
arXiv: 1805.10672

Dareiotis, Konstantinos, and Mate Gerencser. “On the Regularisation of the Noise for the Euler-Maruyama Scheme with Irregular Drift.”https://doi.org/10.1214/20-EJP479__Electronic Journal of Probability. Institute of Mathematical Statistics, 2020.https://doi.org/10.1214/20-EJP479 .
LibreCat: https://research-explorer.ista.ac.at/record/6359
DOI: 10.1214/20-EJP479
WoS: 000550150700001
arXiv: 1812.04583

Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.”https://doi.org/10.15479/AT:ISTA:8390__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8390 .
LibreCat: https://research-explorer.ista.ac.at/record/8390
DOI: 10.15479/AT:ISTA:8390

Henderson, Paul M, Vagia Tsiminaki, and Christoph Lampert. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.”https://doi.org/10.1109/CVPR42600.2020.00752__In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 7498–7507. IEEE, 2020.https://doi.org/10.1109/CVPR42600.2020.00752 .
LibreCat: https://research-explorer.ista.ac.at/record/8186
DOI: 10.1109/CVPR42600.2020.00752
arXiv: 2004.04180

Sinclair, Scott A, and U. Krämer. “Generation of Effective Zinc-Deficient Agar-Solidified Media Allows Identification of Root Morphology Changes in Response to Zinc Limitation.”https://doi.org/10.1080/15592324.2019.1687175__Plant Signaling &; Behavior. Taylor &; Francis, 2020.https://doi.org/10.1080/15592324.2019.1687175 .
LibreCat: https://research-explorer.ista.ac.at/record/7416
DOI: 10.1080/15592324.2019.1687175
WoS: 000494909300001
PMID: 31696764

Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.”https://doi.org/10.4064/sm180411-11-2__Studia Mathematica. Instytut Matematyczny, 2020.https://doi.org/10.4064/sm180411-11-2 .
LibreCat: https://research-explorer.ista.ac.at/record/9196
DOI: 10.4064/sm180411-11-2
WoS: 000558100500002
arXiv: 1709.05202

Dick, Robert A., Chaoyi Xu, Dustin R. Morado, Vladyslav Kravchuk, Clifton L. Ricana, Terri D. Lyddon, Arianna M. Broad, et al. “Structures of Immature EIAV Gag Lattices Reveal a Conserved Role for I in Lentivirus Assembly.”https://doi.org/10.1371/journal.ppat.1008277__PLOS Pathogens. Public Library of Science, 2020.https://doi.org/10.1371/journal.ppat.1008277 .
LibreCat: https://research-explorer.ista.ac.at/record/7464
DOI: 10.1371/journal.ppat.1008277
WoS: 000510746400010
PMID: 31986188

Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.”https://doi.org/10.1371/journal.pcbi.1007494__PLoS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007494 .
LibreCat: https://research-explorer.ista.ac.at/record/7212
DOI: 10.1371/journal.pcbi.1007494
WoS: 000510916500025
arXiv: 1906.02785

Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.”https://doi.org/10.15479/AT:ISTA:7196__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7196 .
LibreCat: https://research-explorer.ista.ac.at/record/7196
DOI: 10.15479/AT:ISTA:7196

Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” In Proceedings of the 37th International Conference on Machine Learning, 119:8773–84. ML Research Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9198
arXiv: 1912.10095

Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.”https://doi.org/10.1515/cmb-2020-0100__Computational and Mathematical Biophysics. De Gruyter, 2020.https://doi.org/10.1515/cmb-2020-0100 .
LibreCat: https://research-explorer.ista.ac.at/record/9157
DOI: 10.1515/cmb-2020-0100

Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram.”https://doi.org/10.1515/cmb-2020-0101__Computational and Mathematical Biophysics. De Gruyter, 2020.https://doi.org/10.1515/cmb-2020-0101 .
LibreCat: https://research-explorer.ista.ac.at/record/9156
DOI: 10.1515/cmb-2020-0101
arXiv: 1908.06777

Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.”https://doi.org/10.1214/20-EJP536__Electronic Journal of Probability.https://doi.org/10.1214/20-EJP536__Institute of Mathematical Statistics, 2020.https://doi.org/10.1214/20-EJP536 .
LibreCat: https://research-explorer.ista.ac.at/record/8973
DOI: 10.1214/20-EJP536
WoS: 000591737500001
arXiv: 1811.01366

Browning, Timothy D, and Roger Heath Brown. “Density of Rational Points on a Quadric Bundle in 3×3.”https://doi.org/10.1215/00127094-2020-0031__Duke Mathematical Journal. Duke University Press, 2020.https://doi.org/10.1215/00127094-2020-0031 .
LibreCat: https://research-explorer.ista.ac.at/record/179
DOI: 10.1215/00127094-2020-0031
WoS: 000582676300002
arXiv: 1805.10715

Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Data and Mathematica Notebooks for Plotting Figures from Language Learning with Communication between Learners from Language Acquisition with Communication between Learners.”https://doi.org/10.6084/m9.figshare.5973013.v1__Royal Society, 2020.https://doi.org/10.6084/m9.figshare.5973013.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9814
DOI: 10.6084/m9.figshare.5973013.v1

Malia, Benjamin K., Julián Martínez-Rincón, Yunfan Wu, Onur Hosten, and Mark A. Kasevich. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.”https://doi.org/10.1103/PhysRevLett.125.043202__Physical Review Letters. American Physical Society, 2020.https://doi.org/10.1103/PhysRevLett.125.043202 .
LibreCat: https://research-explorer.ista.ac.at/record/8285
DOI: 10.1103/PhysRevLett.125.043202
WoS: 000552227400008
PMID: 32794788
arXiv: 1912.10218

Lambert, Nicholas J., Sonia Mobassem, Alfredo R Rueda Sanchez, and Harald G.L. Schwefel. “New Designs and Noise Channels in Electro-Optic Microwave to Optical up-Conversion.”https://doi.org/10.1364/QUANTUM.2020.QTu8A.1__In OSA Quantum 2.0 Conference. Optica Publishing Group, 2020.https://doi.org/10.1364/QUANTUM.2020.QTu8A.1 .
LibreCat: https://research-explorer.ista.ac.at/record/10328
DOI: 10.1364/QUANTUM.2020.QTu8A.1

Confavreux, Basile J, Friedemann Zenke, Everton J. Agnes, Timothy Lillicrap, and Tim P Vogels. “A Meta-Learning Approach to (Re)Discover Plasticity Rules That Carve a Desired Function into a Neural Network.” In Advances in Neural Information Processing Systems, 33:16398–408, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9633

Tan, Shutang, Martin Di Donato, Matous Glanc, Xixi Zhang, Petr Klíma, Jie Liu, Aurélien Bailly, et al. “Non-Steroidal Anti-Inflammatory Drugs Target TWISTED DWAR-Regulated Actin Dynamics and Auxin Transport-Mediated Plant Development.”https://doi.org/10.1016/j.celrep.2020.108463__Cell Reports. Elsevier, 2020.https://doi.org/10.1016/j.celrep.2020.108463 .
LibreCat: https://research-explorer.ista.ac.at/record/8943
DOI: 10.1016/j.celrep.2020.108463
WoS: 000595658100018
PMID: 33264621

Xu, Duo, Atul Varshney, Xingyu Ma, Baofang Song, Michael Riedl, Marc Avila, and Björn Hof. “Nonlinear Hydrodynamic Instability and Turbulence in Pulsatile Flow.”https://doi.org/10.1073/pnas.1913716117__Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2020.https://doi.org/10.1073/pnas.1913716117 .
LibreCat: https://research-explorer.ista.ac.at/record/7932
DOI: 10.1073/pnas.1913716117
WoS: 000536797100014
arXiv: 2005.11190

Alt, Johannes, László Erdös, and Torben H Krüger. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and Cusps.”https://doi.org/10.4171/dm/780__Documenta Mathematica. EMS Press, 2020.https://doi.org/10.4171/dm/780 .
LibreCat: https://research-explorer.ista.ac.at/record/14694
DOI: 10.4171/dm/780
arXiv: 1804.07752

Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.”https://doi.org/10.15479/AT:ISTA:8156__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8156 .
LibreCat: https://research-explorer.ista.ac.at/record/8156
DOI: 10.15479/AT:ISTA:8156

Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “The Local Density Approximation in Density Functional Theory.”https://doi.org/10.2140/paa.2020.2.35__Pure and Applied Analysis. Mathematical Sciences Publishers, 2020.https://doi.org/10.2140/paa.2020.2.35 .
LibreCat: https://research-explorer.ista.ac.at/record/14891
DOI: 10.2140/paa.2020.2.35
arXiv: 1903.04046

Salamatina, Alina, Jerry H Yang, Susan Brenner-Morton, Jay Bhttps://doi.org/10.1016/j.neuroscience.2020.08.011__Bikoff, Linjing Fang, Christopher R Kintner, Thomas M Jessell, and Lora B. Sweeney. “Differential Loss of Spinal Interneurons in a Mouse Model of ALS.”https://doi.org/10.1016/j.neuroscience.2020.08.011__Neuroscience. Elsevier, 2020.https://doi.org/10.1016/j.neuroscience.2020.08.011 .
LibreCat: https://research-explorer.ista.ac.at/record/8914
DOI: 10.1016/j.neuroscience.2020.08.011
WoS: 000595588700008
PMID: 32858144

Katsaros, Georgios. “Enhancement of Proximity Induced Superconductivity in Planar Germanium.”https://doi.org/10.15479/AT:ISTA:8834__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8834 .
LibreCat: https://research-explorer.ista.ac.at/record/8834
DOI: 10.15479/AT:ISTA:8834

Kavcic, Bor. “Analysis Scripts and Research Data for the Paper ‘Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.’”https://doi.org/10.15479/AT:ISTA:8097__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8097 .
LibreCat: https://research-explorer.ista.ac.at/record/8097
DOI: 10.15479/AT:ISTA:8097