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), Leibniz Int. Proc. in Inform., Dagstuhl
Publishing, to appear.
-
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
Last update 26 January 2025