Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.”https://doi.org/10.1145/3072959.3073678__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3072959.3073678 .
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.”https://doi.org/10.1145/3060139__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3060139 .
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1142/S0218195916600050__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2017.https://doi.org/10.1142/S0218195916600050 .
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.”https://doi.org/10.4310/ATMP.2017.v21.n3.a4__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/10.4310/ATMP.2017.v21.n3.a4 .
LibreCat: https://research-explorer.ista.ac.at/record/484
DOI: 10.4310/ATMP.2017.v21.n3.a4

Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.”https://doi.org/10.4310/ATMP.2017.v21.n3.a5__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/10.4310/ATMP.2017.v21.n3.a5 .
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5