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
Last update 28 March 2026