Publications 2026

Here are our publications 2026.

  1. L. Aceto. Interviews with the recipients of the CONCUR Test-of-Time Award 2026.
    Bull. EATCS, v. 150, 11 pp., 2026.
    article
  2. L. Aceto, A. Achilleos, E. Anastasiadi, D. P. Attard, L. Exibard, A. Francalanza, D. Gorla, A. Ingólfsdóttir, K. Lehtinen, J. Wagemaker. Foundations of runtime monitoring through the lens of concurrency theory.
    Bull. EATCS, v. 148, 41 pp., 2026.
    article
  3. L. Aceto, A. Achilleos, E. Anastasiadi, A. Francalanza, D. Gorla, J. Wagemaker. Centralized vs decentralized monitors for hyperproperties.
    ACM Trans. Comput. Log., v. 27, n. 1, pp. 2:1-2:57, 2026.
    doi:10.1145/3767738
  4. L. Aceto, D. Gorla. S. Lybech. A sound type system for secure currency flow.
    ACM Trans. Program. Lang. Syst., v. 48, n. 1, pp. 4:1-4:56, 2026.
    doi:10.1145/3786766.
  5. A. Achilleos, V. Kyriakou. A topological framework for finite behavioural observations and verification.
    In G. Bacci, M. Randour, eds., Proc. of 17th Int. Symp. on Games, Automata, Logics, and Formal Verification, GandALF 2026 (Aalborg, Sept. 2026), Electron. Proc. in Theor. Comput. Sci., Open Publishing Assoc., to appear.
    preprint in arXiv
  6. M. H. Albert, C. Bean, A. Claesson, É. Nadeau, J. Pantone, H. Úlfarsson. Combinatorial Exploration: an algorithmic framework for enumeration.
    Memoirs Amer. Math. Soc., v. 317, n. 1611, 109 pp., 2026.
    doi:10.1090/memo/1611
  7. C.-M. Alexandru, A. Diddapur, M. M. Halldórsson, C. Konrad, K. K. Naidu. Unit interval selection in random order streams.
    In M. Mahajan, F. Manea, A. McIver, K. T. Nguyen, eds., 43rd Int. Symp. on Theoretical Aspects of Computer Science, STACS 2026 (Grenoble, March 2026), v. 364 of Leibniz Int. Proc. in Inform., pp. 4:1-4:20. Dagstuhl Publishing, 2026.
    doi:10.4230/lipics.stacs.2026.4
  8. M. Antonov, G. Csárdi, S. Horvát, K. Müller, T. Nepusz, D. Noom, M. Salmon, V. Traag, B. F. Welles, F. Zanini. igraph 1.0 enables fast and robust network analysis across programming languages.
    PLOS One, v. 21, n. 8, art. e0355108, 11 pp., 2026.
    doi:10.1371/journal.pone.0355108
  9. R. Borsetto, G. Fellin, T. Uustalu, C.-S. Wan. Glivenko's theorem underneath structure.
    In V. Brattka, H. Fernau, L. Galeotti, eds., Timeless Machines: Computability across Eras: Proc. of 22nd Int. Conf. on Computability in Europe, CiE 2026 (Trier, July 2026), Proc., v. 16674 of Lect. Notes in Comput. Sci., pp. 162-177. Springer, 2026.
    doi:10.1007/978-3-032-31348-5_11
  10. J. Bund, C. Lenzen, M. Medina. Codes for metastability-containing addition.
    IEEE Trans. Comput., v. 75, n. 5, pp. 1892-1906, 2026.
    doi:10.1109/tc.2026.3661761
  11. N. Del Giudice. Empowering community-based heritage through gaming: a developer's perspective.
    Commun. ACM., v. 69, n. 6, pp. 86-94, 2026.
    doi:10.1145/3769685
  12. M. Flin, M. M. Halldórsson. Beyond Brooks: (Δ-1)-coloring in semi-streaming.
    In S. Bhattacharya, D. Nanongkai, M. Benedikt, G. Puppis, eds., 53rd Int. Coll. on Automata, Languages, and Programming, ICALP 2026 (London, July 2026), v. 374 of Leibniz Int. Proc. in Inform., pp. 92:1-92:24. Dagstuhl Publishing, 2026.
    doi:10.4230/lipics.icalp.2026.92}
  13. M. Flin, M. M. Halldórsson, M. Jakob, Y. Maus. Sublogarithmic distributed vertex coloring with optimal number of colors.
    In Proc. of 58th Ann. ACM Symp. on Theory of Computing, STOC 2026 (Salt Lake City, UT, June 2026), pp. 1937-1948. ACM, 2026.
    doi:10.1145/3798129.3800899
  14. Y. Gil, M. Parter. Distributed interactive proofs for planarity with log-star communication.
    In K. G. Larsen, B. Saha, eds., Proc. of 2026 ACM-SIAM Symp. on Discrete Algorithms, SODA 2026 (Vancouver, BC, Jan. 2026), pp. 899-924. SIAM, 2026.
    doi:10.1137/1.9781611978971.36
  15. C. Lenzen. Gradient clock synchronization with practically constant local skew.
    In PODC '26: Proc. of 2026 ACM Symp. on Principles of Distributed Computing (Egham, July 2026), pp. 132-142. ACM, 2026.
    doi:10.1145/3796701.3815957
  16. C. Lenzen, J. Loss. Early-stabilizing counting.
    In PODC '26: Proc. of 2026 ACM Symp. on Principles of Distributed Computing (Egham, July 2026), pp. 121-131. ACM, 2026.
    doi:10.1145/3796701.3815925
  17. C. Lenzen, J. Loss, K. Shi, B. Wagner. Byzantine consensus in the partially Authenticated Setting.
    In PODC '26: Proc. of 2026 ACM Symp. on Principles of Distributed Computing (Egham, July 2026), pp. 282-292. ACM, 2026.
    doi:10.1145/3796701.3815929
  18. S. Lybech, D. Gorla, L. Aceto. Typing fallback functions: a semantic approach to type safe smart contracts.
    In R. Krebbers, A. Silva, eds., 40th Europ. Conf. on Object-Oriented Programming, ECOOP 2026 (Brussels, June/July 2026), v. 372 of Leibniz Int. Proc. in Inform., pp. 19:1-19:29. Dagstuhl Publishing, 2026.
    doi:10.4230/lipics.ecoop.2026.19
  19. G. L. Pozzato, T. Uustalu, eds.,
    Automated Reasoning with Analytic Tableaux and Related Methods: 34th Int. Conf., TABLEAUX 2025 (Reykjavik, Sept. 2025), Proc., v. 15980 of Lect. Notes in Comput. Sci., xvii+492 pp. Springer, 2026.
    doi:10.1007/978-3-032-06085-3
  20. J. Tooby-Smith. A perspective on interactive theorem provers in physics.
    Adv. Sci., art. e17294, 9 pp., to appear.
    doi:10.1002/advs.202517294

Publications 2025

Publications 2024

Publications 2023

Publications 2022

Publications 2021

Publications 2020

Publications 2019

Publications 2018

Publications 2017

Last update 27 September 2026