Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
13 Publications
2023 | Journal Article | IST-REx-ID: 14739 | 
Ali, Dashti, et al. “A Survey of Vectorization Methods in Topological Data Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 45, no. 12, IEEE, 2023, pp. 14069–80, doi:10.1109/tpami.2023.3308391.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing, vol. 35, no. 2, 11, Association for Computing Machinery, 2023, doi:10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 10602 |
Kretinsky, Jan, et al. “Index Appearance Record with Preorders.” Acta Informatica, vol. 59, Springer Nature, 2022, pp. 585–618, doi:10.1007/s00236-021-00412-y.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12128 |
Poelking, Carl, et al. “BenchML: An Extensible Pipelining Framework for Benchmarking Representations of Materials and Molecules at Scale.” Machine Learning: Science and Technology, vol. 3, no. 4, 040501, IOP Publishing, 2022, doi:10.1088/2632-2153/ac4d11.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12147 |
Hasani, Ramin, et al. “Closed-Form Continuous-Time Neural Networks.” Nature Machine Intelligence, vol. 4, no. 11, Springer Nature, 2022, pp. 992–1003, doi:10.1038/s42256-022-00556-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10108 |
Mühlböck, Fabian, and Thomas A. Henzinger. “Differential Monitoring.” International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 231–43, doi:10.1007/978-3-030-88494-9_12.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9234 |
Izuchukwu, Chinedu, and Yekini Shehu. “New Inertial Projection Methods for Solving Multivalued Variational Inequality Problems beyond Monotonicity.” Networks and Spatial Economics, vol. 21, no. 2, Springer Nature, 2021, pp. 291–323, doi:10.1007/s11067-021-09517-w.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Journal Article | IST-REx-ID: 15267 |
Czumaj, Artur, and Peter Davies. “Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks.” Journal of the ACM, vol. 68, no. 2, 13, Association for Computing Machinery, 2021, doi:10.1145/3446383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58, doi:10.1007/s10009-020-00582-z.
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 10190 |
Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi:10.1145/3360550.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 10396 |
Schlögl, Alois, et al. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G, 000010151520134181, De Gruyter, 2013, doi:10.1515/bmt-2013-4181.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC