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.
11 Publications
2019 | Journal Article | IST-REx-ID: 6972 | 
Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3339471.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3286976.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7108 |
Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 11768 |
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Decremental Single-Source Shortest Paths on Undirected Graphs in near-Linear Total Update Time.” Journal of the ACM. Association for Computing Machinery, 2018. https://doi.org/10.1145/3218657.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM. ACM, 2002. https://doi.org/10.1145/585265.585270.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4010
Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.” Journal of the ACM. ACM, 2000. https://doi.org/10.1145/355483.355487.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11769
Henzinger, Monika H, and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM. Association for Computing Machinery, 1999. https://doi.org/10.1145/320211.320215.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997. https://doi.org/10.1145/585265.585270.
View
| DOI
1996 | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” Journal of the ACM. ACM, 1996. https://doi.org/10.1145/227595.227602.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4046
Chazelle, Bernard, and Herbert Edelsbrunner. “An Optimal Algorithm for Intersecting Line Segments in the Plane.” Journal of the ACM. ACM, 1992. https://doi.org/10.1145/147508.147511.
View
| DOI
| Download None (ext.)