Publications 2025
Here are our publications 2025.
-
L. Aceto, A. Achilleos, D. P. Attard, L. Exibard,
A. Francalanza, A. Ingólfsdóttir, K. Lehtinen. Monitorability
for the modal μ-calculus over systems with data: from practice to
theory.
In 35th Int. Conf. on Concurrency Theory, CONCUR
2025 (Aarhus, Aug. 2025),
Leibniz Int. Proc. in Inform., Dagstuhl Publishing, to appear.
-
L. Aceto, A. Achilleos, A. Chalki,
A. Ingólfsdóttir. The complexity of deciding characteristic
formulae in van Glabbeek's branching-time spectrum.
In
J. Endrullis, S. Schmitz, eds., 33rd EACSL Ann. Conf. on
Computer Science Logic, CSL 2025 (Amsterdam, Feb. 2025), v. 326
of Leibniz Int. Proc. in Inform., pp. 26:1-26:28. Dagstuhl
Publishing, 2025.
doi:10.4230/lipics.csl.2025.26
- L. Aceto, V. Castiglioni, A. Ingólfsdóttir, B.
Luttik. Axiomatising weak bisimulation congruences over CCS with
left merge and communication merge.
Theor. Comput. Sci., v.1047, art. 115325, 30 pp., 2025.
doi:10.1016/j.tcs.2025.115325
-
A. Achilleos, A. Francalanza, J. Xuereb.
If at first you don't succeed: extended monitorability through multiple executions.
In Proc. of 40th Ann. ACM/IEEE Symp. on Computer Science Logic, LICS '25 (Singapore, June 2025), IEEE, to appear.
-
R. Acton, T. K. Petersen, B. Shirman, B. E. Tenner.
The clairvoyant maître d'.
Electron. J. Comb., v. 32, n. 1, art. P1.15, 22 p., 2025.
doi:10.37236/12788
-
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.
- N. Arkor, D. McDermott. The nerve theorem for relative
monads.
Theor. Appl. Categ., v. 43, n. 13, pp. 403-454, 2025.
article at publisher
-
R. Boppana, M. M. Halldórsson. Approximating independent
sets in constant distributed rounds.
In U. Schmid,
R. Kuznets, ed.,
Structural Information and Communication Complexity: 32nd
Int. Coll., SIROCCO 2025 (Delphi, June 2025), v. 15671
of Lect. Notes in Comput. Sci., pp. 144-158. Springer,
2025.
doi:10.1007/978-3-031-91736-3_9
-
V. Castiglioni, O. Dardha, C. A. Mezzina, guest eds.,
Inf. Comput., virtual special issue Selected Papers from
EXPRESS/SOS 2021 and 2022, 2024-2025.
issue
at publisher
-
K. Censor-Hillel, T. Even, M. Flin, M. M. Halldórsson.
When MIS and maximal matching are easy in the congested
clique.
In U. Schmid, R. Kuznets, ed.,
Structural Information and Communication Complexity: 32nd
Int. Coll., SIROCCO 2025 (Delphi, June 2025), v. 15671
of Lect. Notes in Comput. Sci., pp. 194-210. Springer,
2025.
doi:10.1007/978-3-031-91736-3_12
-
M. Flin, M. M. Halldórsson. Faster dynamic (Δ+1)-coloring
against adaptive adversaries.
In K. Censor-Hillel, F. Grandoni, J. Ouaknine, eds.,
52nd Int. Coll. on Automata, Languages and Programming, ICALP 2025
(Aarhus, July 2025), Leibniz Int. Proc. in Inform.,
Dagstuhl Publishing, to appear.
-
M. Flin, M. M. Halldórsson, A. Nolin. Decentralized
distributed graph coloring: cluster graphs.
In PODC '25: Proc. of 2025 ACM Symp. on Principles of Distributed Computing (Santa María Huatulco, June 2025), pp. 394-405. ACM, 2025.
doi:10.1145/3732772.3733549
-
M. Flin, P. Mittal. (Δ + 1) vertex coloring
in O(n) communication.
Distrib. Comput., v. 38, n. 1, pp. 19-29, 2025.
doi:10.1007/s00446-024-00475-3
-
M. M. Halldórsson, D. Rawitz.
Distributed fractional local ratio and independent set approximation.
Inf. Comput., v. 303, art. 105238, 14 pp., 2025.
doi:10.1016/j.ic.2024.105238
-
J. Tooby-Smith.
HepLean: digitalising high energy physics.
Comput. Phys. Commun., v. 308, art. 109457, 14 pp., 2025.
doi:10.1016/j.cpc.2024.109457
Last update 21 June 2025