ICE-TCS: Publications 2026

Publications 2026

Here are our publications 2026.

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, to appear.
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
L. Aceto, D. Gorla. S. Lybech. A sound type system for secure currency flow.
ACM Trans. Program. Lang. Syst., to appear.
doi:10.1145/3786766.
preprint in arXiv
M. H. Albert, C. Bean, A. Claesson, É. Nadeau, J. Pantone, H. Úlfarsson. Combinatorial Exploration: an algorithmic framework for enumeration.
Memoirs Amer. Math. Soc., to appear.
Y. Gil, M. Parter. Distributed interactive proofs for planarity with log-star communication.
Proc. of 2026 ACM-SIAM Symp. on Discrete Algorithms, SODA 2026 (Vancouver, BC, Jan. 2026), SIAM, to appear.
preprint in arXiv