Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi: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 TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Osang GF, Rouxel-Labbé M, Teillaud M. Generalizing CGAL periodic Delaunay triangulations. In: 28th Annual European Symposium on Algorithms. Vol 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi: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. 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 D, Seiringer R. Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 2020;52(1):605-622. doi:10.1137/19m126284x
LibreCat: https://research-explorer.ista.ac.at/record/9781
DOI: 10.1137/19m126284x
WoS: 000546967700022
arXiv: 1904.08647 

Fischer JL, Hensel S. Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. 2020;236:967-1087. doi: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 JL, Hensel S, Laux T, Simon T. 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 JM. Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. 2020;14(4). doi: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. Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 2020;139(7):204-234. doi: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 DL, Maas J, Portinale L. 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 NH, Frantar E, Alistarh D-A, Lampert C. On the sample complexity of adversarial multi-source PAC learning. In: Proceedings of the 37th International Conference on Machine Learning. Vol 119. ML Research Press; 2020:5416-5425.
LibreCat: https://research-explorer.ista.ac.at/record/8724
arXiv: 2002.10384

Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. Detecting composite orders in layered models via machine learning. New Journal of Physics. 2020;22(9). doi:10.1088/1367-2630/abae44
LibreCat: https://research-explorer.ista.ac.at/record/8644
DOI: 10.1088/1367-2630/abae44
WoS: 000573298000001

Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025. doi: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 D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 2020;22(6):741-758. doi:10.1007/s10009-020-00582-z
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

Grah R, Friedlander T. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 2020;16(2). doi:10.1371/journal.pcbi.1007642
LibreCat: https://research-explorer.ista.ac.at/record/7569
DOI: 10.1371/journal.pcbi.1007642
WoS: 000526725200019

Santini L, Halbritter F, Titz-Teixeira F, et al. Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. doi: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 R, Friedlander T. Maximizing crosstalk. 2020. doi:10.1371/journal.pcbi.1007642.s002
LibreCat: https://research-explorer.ista.ac.at/record/9777
DOI: 10.1371/journal.pcbi.1007642.s002

Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Gladbach P, Kopfer E, Maas J. Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. 2020;52(3):2759-2802. doi:10.1137/19M1243440
LibreCat: https://research-explorer.ista.ac.at/record/71
DOI: 10.1137/19M1243440
WoS: 000546975100017
arXiv: 1809.01092