Publications 2025
Here are our publications 2025.
-
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
-
A. Achilleos, A. Francalanza, J. Xuereb.
If at first you don't succeed: extended nonitorability 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., to appear.
-
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 44th ACM Symp. on Principles of Distributed Computing (Huatulco, June 2025), ACM, to appear.
-
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 20 April 2025