Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2023;45(12):14069-14080. doi:10.1109/tpami.2023.3308391
LibreCat: https://research-explorer.ista.ac.at/record/14739
DOI: 10.1109/tpami.2023.3308391

Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record with preorders. Acta Informatica. 2022;59:585-618. doi:10.1007/s00236-021-00412-y
LibreCat: https://research-explorer.ista.ac.at/record/10602
DOI: 10.1007/s00236-021-00412-y
WoS: 000735765500001

Poelking C, Faber FA, Cheng B. BenchML: An extensible pipelining framework for benchmarking representations of materials and molecules at scale. Machine Learning: Science and Technology. 2022;3(4). doi:10.1088/2632-2153/ac4d11
LibreCat: https://research-explorer.ista.ac.at/record/12128
DOI: 10.1088/2632-2153/ac4d11
WoS: 000886534000001

Hasani R, Lechner M, Amini A, et al. Closed-form continuous-time neural networks. Nature Machine Intelligence. 2022;4(11):992-1003. doi:10.1038/s42256-022-00556-7
LibreCat: https://research-explorer.ista.ac.at/record/12147
DOI: 10.1038/s42256-022-00556-7
WoS: 000884215600003
arXiv: 2106.13898

Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Mühlböck F, Henzinger TA. Differential Monitoring. IST Austria; 2021. doi:10.15479/AT:ISTA:9946
LibreCat: https://research-explorer.ista.ac.at/record/9946
DOI: 10.15479/AT:ISTA:9946

Izuchukwu C, Shehu Y. New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. 2021;21(2):291-323. doi:10.1007/s11067-021-09517-w
LibreCat: https://research-explorer.ista.ac.at/record/9234
DOI: 10.1007/s11067-021-09517-w
WoS: 000625002100001

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

Czumaj A, Davies P. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. 2021;68(2). doi:10.1145/3446383
LibreCat: https://research-explorer.ista.ac.at/record/15267
DOI: 10.1145/3446383
arXiv: 1703.01859

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

Chatterjee K, Pavlogiannis A, Toman V. Value-centric dynamic partial order reduction. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Vol 3. ACM; 2019. doi:10.1145/3360550
LibreCat: https://research-explorer.ista.ac.at/record/10190
DOI: 10.1145/3360550
arXiv: 1909.00989

Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795