Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., &; Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification  (Vol. 12759, pp. 341–366). Virtual: Springer Nature.https://doi.org/10.1007/978-3-030-81685-8_16 
LibreCat: https://research-explorer.ista.ac.at/record/9987
DOI: 10.1007/978-3-030-81685-8_16
WoS: 000698732400016
arXiv: 2105.06424

Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10007 
LibreCat: https://research-explorer.ista.ac.at/record/10007
DOI: 10.15479/at:ista:10007

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., &; Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery.https://doi.org/10.1145/3485541 
LibreCat: https://research-explorer.ista.ac.at/record/10191
DOI: 10.1145/3485541
arXiv: 2011.11763

Hensel, S., &; Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv.https://doi.org/10.48550/arXiv.2108.01733 
LibreCat: https://research-explorer.ista.ac.at/record/10013
DOI: 10.48550/arXiv.2108.01733
arXiv: 2108.01733

Peruzzo, M., Hassani, F., Szep, G., Trioni, A., Redchenko, E., Zemlicka, M., &; Fink, J. M. (2021). Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. PRX Quantum. American Physical Society.https://doi.org/10.1103/PRXQuantum.2.040341 
LibreCat: https://research-explorer.ista.ac.at/record/9928
DOI: 10.1103/PRXQuantum.2.040341
WoS: 000723015100001
arXiv: 2106.05882