M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.

S. Curk, “aggregation_data.” Figshare, 2023.

R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 3–15.

Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Assessing memory in convection schemes using idealized tests,” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12. Wiley, 2023.

T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.

Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.

T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.

N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.

N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.

R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.

D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.

C. Currin et al., “A framework for grassroots research collaboration in machine learning and global health,” in 1st Workshop on Machine Learning &; Global Health, Kigali, Rwanda, 2023.

M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.

P. Tennage et al., “QuePaxa: Escaping the tyranny of timeouts in consensus,” in Proceedings of the 29th Symposium on Operating Systems Principles, Koblenz, Germany, 2023, pp. 281–297.

Y.-L. Chen, M. Ly, and C. Wojtan, “Unified treatment of contact, friction and shock-propagation in rigid body animation,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Los Angeles, CA, United States, 2023.

M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.

A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.

B. Prach and C. Lampert, “-Lipschitz neural networks are more expressive with N-activations,” arXiv. .

S. Stankowski, “Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails.” Zenodo, 2023.

R. Abualia, S. Riegler, and E. Benková, “Nitrate, auxin and cytokinin - a trio to tango,” Cells, vol. 12, no. 12. MDPI, 2023.