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. 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.
  3. 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
  4. 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.
  5. N. Arkor, D. McDermott. The nerve theorem for relative monads.
    Theor. Appl. Categ., to appear.
  6. 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.
  7. 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.
  8. 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
  9. 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
  10. 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 20 April 2025