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, v. 148, 41 pp., 2026.
article
-
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.
-
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
-
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
-
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), to appear.
-
Y. Gil, M. Parter. Distributed interactive proofs for
planarity with log-star communication.
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
-
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, 2025.
doi:10.1007/978-3-032-06085-3
Last update 28 March 2026