Publications 2025

Here are our publications 2025.

1. 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
2. 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., to appear.
3. 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.
4. 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
5. 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.
6. N. Arkor, D. McDermott. The nerve theorem for relative monads.
   Theor. Appl. Categ., v. 43, n. 13, pp. 403-454, 2025.
   article at publisher
7. 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
8. 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., ed., Structural Information and Communication Complexity: 32nd Int. Coll., SIROCCO 2025 (Delphi, June 2025), Lect. Notes in Comput. Sci., Springer, to appear.
9. 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.
10. 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.
11. 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
12. 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
13. 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

Publications 2024

Publications 2023

Publications 2022

Publications 2021

Publications 2020

Publications 2019

Publications 2018

Publications 2017