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

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

Rzadkowski, W., Defenu, N., Chiacchiera, S., Trombettoni, A., &; Bighin, G. (2020). Detecting composite orders in layered models via machine learning. New Journal of Physics. IOP Publishing.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, K., &; Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature.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

Grah, R., &; Friedlander, T. (2020). The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. Public Library of Science.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, L., Halbritter, F., Titz-Teixeira, F., Suzuki, T., Asami, M., Ramesmayer, J.,https://doi.org/10.1101/2020.11.03.366948__Leeb, M. (n.d.). Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. Cold Spring Harbor Laboratory.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, R., &; Friedlander, T. (2020). Maximizing crosstalk. Public Library of Science.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, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.https://doi.org/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. (2020). Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics.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, I., Wojtan, C., Thuerey, N., Igarashi, T., &; Ando, R. (2020). Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. IEEE.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