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 | OA
Schmid, S., Svoboda, J., & Yeo, M. X. (2024). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.114353
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12287 | OA
Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12164 | OA
Baig, M. A., Hendler, D., Milani, A., & Travers, C. (2023). Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00439-5
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 14778 | OA
Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 10643 | OA
Henheik, S. J., & Teufel, S. (2022). Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2021.80
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12129 | OA
Wagner, U., & Welzl, E. (2022). Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00436-2
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12148 | OA
Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). Rank-uniform local law for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2022.86
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12286 | OA
Cooley, O., Kang, M., & Zalla, J. (2022). Loose cores and cycles in random hypergraphs. The Electronic Journal of Combinatorics. The Electronic Journal of Combinatorics. https://doi.org/10.37236/10794
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 11446
Avvakumov, S., & Kudrya, S. (2021). Vanishing of all equivariant obstructions and the mapping degree. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-021-00299-z
[Preprint] View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 8940 | OA
Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00250-8
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 11657 | OA
Henzinger, M. H., Noe, A., Schulz, C., & Strash, D. (2018). Practical minimum cut algorithms. ACM Journal of Experimental Algorithmics. Association for Computing Machinery. https://doi.org/10.1145/3274662
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 8509
Kaloshin, V., & Levi, M. (2008). Geometry of Arnold diffusion. SIAM Review. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/070703235
View | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications