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.
12 Publications
2024 | Journal Article | IST-REx-ID: 14820 | 
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2023 | Journal Article | IST-REx-ID: 12287 |
Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
2023 | Journal Article | IST-REx-ID: 12164 |
Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
2023 | Journal Article | IST-REx-ID: 14778 |
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 | Journal Article | IST-REx-ID: 10643 |
Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).