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 |Published| Journal Article | IST-REx-ID: 14739 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version]
View
| Files available
| DOI
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
2023 |Published| Journal Article | IST-REx-ID: 14778 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2022 |Published| Journal Article | IST-REx-ID: 10602 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Index appearance record with preorders
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.
[Published Version]
View
| Files available
| DOI
| WoS
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.
2022 |Published| Journal Article | IST-REx-ID: 12128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
BenchML: An extensible pipelining framework for benchmarking representations of materials and molecules at scale
C. Poelking, F.A. Faber, B. Cheng, Machine Learning: Science and Technology 3 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
C. Poelking, F.A. Faber, B. Cheng, Machine Learning: Science and Technology 3 (2022).
2022 |Published| Journal Article | IST-REx-ID: 12147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Closed-form continuous-time neural networks
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
2021 |Published| Conference Paper | IST-REx-ID: 10108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 |Published| Technical Report | IST-REx-ID: 9946 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 |Published| Journal Article | IST-REx-ID: 9234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
[Published Version]
View
| Files available
| DOI
| WoS
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
2021 |Published| Journal Article | IST-REx-ID: 10191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |Published| Journal Article | IST-REx-ID: 15267 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Exploiting spontaneous transmissions for broadcasting and leader election in radio networks
A. Czumaj, P. Davies, Journal of the ACM 68 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Czumaj, P. Davies, Journal of the ACM 68 (2021).
2020 |Published| Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
2019 |Published| Conference Paper | IST-REx-ID: 10190 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Value-centric dynamic partial order reduction
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
2013 |Published| Journal Article | IST-REx-ID: 10396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).