Publications 2025

Here are our publications 2025.

  1. 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.
  2. 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
  3. 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
  4. 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.
  5. 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
  6. 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.
  7. N. Arkor, D. McDermott. The nerve theorem for relative monads.
    Theor. Appl. Categ., v. 43, n. 13, pp. 403-454, 2025.
    article at publisher
  8. 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
  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
  10. 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
  11. 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.
  12. 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.
  13. 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
  14. 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
  15. 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


Last update 27 May 2025