Auerbach, B., Giacon, F., &; Kiltz, E. (2020). Everybody’s a target: Scalability in public-key encryption. In Advances in Cryptology – EUROCRYPT 2020 (Vol. 12107, pp. 475–506). Springer Nature.https://doi.org/10.1007/978-3-030-45727-3_16 
LibreCat: https://research-explorer.ista.ac.at/record/7966
DOI: 10.1007/978-3-030-45727-3_16
WoS: 000828688000016

Henzinger, T. A., &; Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature.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

Chakraborty, S., Prabhakaran, M., &; Wichs, D. (2020). Witness maps and applications. In A. Kiayias (Ed.), Public-Key Cryptography (Vol. 12110, pp. 220–246). Cham: Springer Nature.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, S. A. E. (2020). Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. Springer Nature.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, C., Schroeder, L., Weber, M. G., &; Schemske, D. W. (2020). Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropicaltemperate congener pair. Ecological Monographs. Wiley.https://doi.org/10.1002/ecm.1397 
LibreCat: https://research-explorer.ista.ac.at/record/7236
DOI: 10.1002/ecm.1397
WoS: 000508511600001

Zhang, Y., Hartinger, C., Wang, X., &; Friml, J. (2020). Directional auxin fluxes in plants by intramolecular domaindomain coevolution of PIN auxin transporters. New Phytologist. Wiley.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, C., &; Wojtan, C. (2020). A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.13914 
LibreCat: https://research-explorer.ista.ac.at/record/8765
DOI: 10.1111/cgf.13914
WoS: 000548709600008

Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B.,https://doi.org/10.1002/ange.202005378__Fontaine, O. (2020). Competitive salt precipitation/dissolution during freewater reduction in waterinsalt electrolyte. Angewandte Chemie. Wiley.https://doi.org/10.1002/ange.202005378 
LibreCat: https://research-explorer.ista.ac.at/record/8057
DOI: 10.1002/ange.202005378

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., &; Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Ecology Letters. Wiley.https://doi.org/10.1111/ele.13458 
LibreCat: https://research-explorer.ista.ac.at/record/7343
DOI: 10.1111/ele.13458
WoS: 000507515900001

Gammerdinger, W. J., Toups, M. A., &; Vicoso, B. (2020). Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources. Wiley.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, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B.,https://doi.org/10.1002/anie.202005378__Fontaine, O. (2020). Competitive salt precipitation/dissolution during freewater reduction in waterinsalt electrolyte. Angewandte Chemie International Edition. Wiley.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, J., Abrego, N., &; Ovaskainen, O. (2020). Habitat fragmentation and species diversity in competitive communities. Ecology Letters. Wiley.https://doi.org/10.1111/ele.13450 
LibreCat: https://research-explorer.ista.ac.at/record/7224
DOI: 10.1111/ele.13450
WoS: 000503625200001

Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G.,https://doi.org/10.1002/anie.202008253__Spirk, S. (2020). 2methoxyhydroquinone from vanillin for aqueous redoxflow batteries. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202008253 
LibreCat: https://research-explorer.ista.ac.at/record/8329
DOI: 10.1002/anie.202008253
WoS: 000576148700001

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., &; Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Dryad.https://doi.org/10.5061/DRYAD.CRJDFN318 
LibreCat: https://research-explorer.ista.ac.at/record/13060
DOI: 10.5061/DRYAD.CRJDFN318

Schlemmer, W., Nothdurft, P., Petzold, A., Riess, G., Frühwirt, P., Schmallegger, M.,https://doi.org/10.5517/ccdc.csd.cc24vsrk__Spirk, S. (2020). CCDC 1991959: Experimental Crystal Structure Determination. CCDC.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, A., Aguado, C., Alfaro-Ruíz, R., Moreno-Martínez, A. E., De La Ossa, L., Martínez-Hernández, J.,https://doi.org/10.1111/bpa.12802__Luján, R. (2020). Reduction in the neuronal surface of post and presynaptic GABA&;B&; receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. Wiley.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, K., Zagrodzka, Z., Faria, R., Westram, A. M., &; Butlin, R. K. (2020). Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. Wiley.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

Sinclair, S. A., Gille, S., Pauly, M., &; Krämer, U. (2020). Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling &; Behavior. Informa UK Limited.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., Krüger, T. H., &; Schröder, D. J. (2020). Cusp universality for random matrices I: Local law and the complex Hermitian case. Communications in Mathematical Physics. Springer Nature.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, D. L. (2020). Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7629 
LibreCat: https://research-explorer.ista.ac.at/record/7629
DOI: 10.15479/AT:ISTA:7629

Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8574 
LibreCat: https://research-explorer.ista.ac.at/record/8574
DOI: 10.15479/AT:ISTA:8574

Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7514 
LibreCat: https://research-explorer.ista.ac.at/record/7514
DOI: 10.15479/AT:ISTA:7514

Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8353 
LibreCat: https://research-explorer.ista.ac.at/record/8353
DOI: 10.15479/AT:ISTA:8353

Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8589 
LibreCat: https://research-explorer.ista.ac.at/record/8589
DOI: 10.15479/AT:ISTA:8589

Steiner, J., &; Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications.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, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8155 
LibreCat: https://research-explorer.ista.ac.at/record/8155
DOI: 10.15479/AT:ISTA:8155

Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., &; Friml, J. (2020). SCF TI/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. American Society of Plant Biologists.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, R., Zoller, B., &; Tkadik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory.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, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria.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, C. (2020). On the average-case hardness of total search problems. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7896 
LibreCat: https://research-explorer.ista.ac.at/record/7896
DOI: 10.15479/AT:ISTA:7896

Royer, A., &; Lampert, C. (2020). Localizing grouped instances for efficient detection in low-resource scenarios. In IEEE Winter Conference on Applications of Computer Vision.https://doi.org/10.1109/WACV45572.2020.9093288__Snowmass Village, CO, United States: IEEE.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, A., &; Lampert, C. (2020). A flexible selection scheme for minimum-effort transfer learning. In 2020 IEEE Winter Conference on Applications of Computer Vision. Snowmass Village, CO, United States: IEEE.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

Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., &; Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, &; N. Ratha (Eds.), Domain Adaptation for Visual Understanding (pp. 33–49). Springer Nature.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á, Z. (2020). Reconfiguration problems. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7944 
LibreCat: https://research-explorer.ista.ac.at/record/7944
DOI: 10.15479/AT:ISTA:7944

Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., &; Deuchert, A. (2020). Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. AIP Publishing.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, U. (2020). In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8341 
LibreCat: https://research-explorer.ista.ac.at/record/8341
DOI: 10.15479/AT:ISTA:8341

Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., &; Loose, M. (2020). Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.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, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8032 
LibreCat: https://research-explorer.ista.ac.at/record/8032
DOI: 10.15479/AT:ISTA:8032

Kragl, B., Qadeer, S., &; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature.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, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &; Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery.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, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8358 
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Osang, G. F., Rouxel-Labbé, M., &; Teillaud, M. (2020). Generalizing CGAL periodic Delaunay triangulations. In 28th Annual European Symposium on Algorithms (Vol. 173). Virtual, Online; Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, M., &; Lampert, C. (2020). Functional vs. parametric equivalence of ReLU networks. In 8th International Conference on Learning Representations. Online.
LibreCat: https://research-explorer.ista.ac.at/record/7481

Feliciangeli, D., &; Seiringer, R. (2020). Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. Society for Industrial &; Applied Mathematics .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, J. L., &; Hensel, S. (2020). Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. Springer Nature.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, J. L., Hensel, S., Laux, T., &; Simon, T. (n.d.). The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/10012
arXiv: 2003.05478

Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., &; Fink, J. M. (2020). Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. American Physical Society.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, P., Kopfer, E., Maas, J., &; Portinale, L. (2020). Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. Elsevier.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, D. L., Maas, J., &; Portinale, L. (n.d.). Evolutionary -convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/10022
arXiv: 2008.10962

Konstantinov, N. H., Frantar, E., Alistarh, D.-A., &; Lampert, C. (2020). On the sample complexity of adversarial multi-source PAC learning. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 5416–5425). Online: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/8724
arXiv: 2002.10384