Publications 2026

Here are our publications 2026.

1. 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
2. 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
3. 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.
4. 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
5. 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
6. 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., Lect. Notes in Comput. Sci., Springer, to appear.
7. M. Flin, M. M. Halldórsson. Beyond Brooks: (Delta-1)-coloring in semi-streaming.
   In 53rd Int. Coll. on Automata, Languages, and Programming, ICALP 2026 (London, July 2026), Leibniz Int. Proc. in Inform., Dagstuhl Publishing, to appear.
8. 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), ACM, to appear.
9. 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
10. C. Lenzen. Gradient clock synchronization with practically constant local skew.
    In Proc. of 45th ACM Symp. on Principles of Distributed Computing, PODC 2026 (Egham, July 2026). ACM, to appear.
    
11. C. Lenzen, J. Loss. Early-stabilizing counting.
    In Proc. of 45th ACM Symp. on Principles of Distributed Computing, PODC 2026 (Egham, July 2026). ACM, to appear.
    
12. C. Lenzen, J. Loss, K. Shi, B. Wagner. Byzantine consensus in the partially Authenticated Setting.
    In Proc. of 45th ACM Symp. on Principles of Distributed Computing, PODC 2026 (Egham, July 2026). ACM, to appear.
    
13. 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), Leibniz Int. Proc. in Inform., Dagstuhl Publishing, to appear.
    preprint in arXiv
14. 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

Publications 2025

Publications 2024

Publications 2023

Publications 2022

Publications 2021

Publications 2020

Publications 2019

Publications 2018

Publications 2017