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 | OA
Lenzen C, Rybicki J. 2019. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 66(5), 32.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed automata. Journal of the ACM. 66(3), 19.
View | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7108 | OA
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3), 21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 11768 | OA
Henzinger MH, Krinninger S, Nanongkai D. 2018. Decremental single-source shortest paths on undirected graphs in near-linear total update time. Journal of the ACM. 65(6), 1–40.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic. Journal of the ACM. 49(5), 672–713.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. 2000. Sliver exudation. Journal of the ACM. 47(5), 883–904.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11769
Henzinger MH, King V. 1999. Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. 46(4), 502–516.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. 1997. Alternating-time temporal logic. Proceedings of the 38th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 100–109.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1), 181–204.
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle B, Edelsbrunner H. 1992. An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. 39(1), 1–54.
View | DOI | Download None (ext.)
 

Filters and Search Terms

issn=0004-5411

Search

Filter Publications