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 Annual Conference 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
-
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. 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 8 February 2025