Varshney, Atul, Areg Ghazaryan, and Artem Volosniev. “Classical ‘Spin’ Filtering with Two Degrees of Freedom and Dissipation.”https://doi.org/10.1007/s00601-024-01880-x__Few-Body Systems. Springer Nature, 2024.https://doi.org/10.1007/s00601-024-01880-x .

Czumaj, Artur, and Peter Davies. “Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks.”https://doi.org/10.1145/3446383__Journal of the ACM. Association for Computing Machinery, 2021.https://doi.org/10.1145/3446383 .

Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.”https://doi.org/10.1145/3339471__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3339471 .

Ferrere, Thomas, Oded Maler, Dejan Nidkovi, and Amir Pnueli. “From Real-Time Logic to Timed Automata.”https://doi.org/10.1145/3286976__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3286976 .

Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.”https://doi.org/10.1145/3314024__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3314024 .

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Decremental Single-Source Shortest Paths on Undirected Graphs in near-Linear Total Update Time.”https://doi.org/10.1145/3218657__Journal of the ACM. Association for Computing Machinery, 2018.https://doi.org/10.1145/3218657 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .

Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.”https://doi.org/10.1145/355483.355487__Journal of the ACM. ACM, 2000.https://doi.org/10.1145/355483.355487 .

Henzinger, Monika H, and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.”https://doi.org/10.1145/320211.320215__Journal of the ACM. Association for Computing Machinery, 1999.https://doi.org/10.1145/320211.320215 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__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 .

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__Journal of the ACM. ACM, 1996.https://doi.org/10.1145/227595.227602 .

Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.”https://doi.org/10.1145/174644.174651__Journal of the ACM. ACM, 1994.https://doi.org/10.1145/174644.174651 .

Chazelle, Bernard, and Herbert Edelsbrunner. “An Optimal Algorithm for Intersecting Line Segments in the Plane.”https://doi.org/10.1145/147508.147511__Journal of the ACM. ACM, 1992.https://doi.org/10.1145/147508.147511 .