Publications 2023

1. L. Aceto, I. Cassar, A. Francalanza, A. Ingólfsdóttir. Bidirectional runtime enforcement of first-order branching-time properties.
   Log. Methods Comput. Sci., v. 19, n. 1, art. 14, 44 pp., 2023.
   doi:10.46298/lmcs-19(1:14)2023
2. L. Aceto, I. Cassar, A. Francalanza, A. Ingólfsdóttir. On first-order runtime enforcement of branching-time properties.
   Acta Inform., v. 60, n. 4, pp. 385-451, 2023.
   doi:10.1007/s00236-023-00441-9
3. L. Aceto, P. Crescenzi, A. Ingólfsdóttir, M. R. Mousavi. The way we were: structural operational semantics research in perspective.
   In G. Caltais, C. A. Mezzina, eds., Proc. of Combined 30th Int. Wksh. on Expressiveness in Concurrency and 20th Wksh. on Structural Operational Semantics, EXPRESS/SOS 2023 (Antwerp, Sept. 2023), v. 387 of Electron. Proc. in Theor. Comput. Sci., pp. 26-40. Open Publishing Assoc. 2023.
   doi:10.4204/eptcs.387.3
4. A. Achilleos, A. Chalki. Counting computations with formulae: logical characterisations of counting complexity classes.
   In J. Leroux, S. Lombardy, D. Peleg, eds., 48th Int. Conf. on Mathematical Foundations of Computer Science, MFCS 2023 (Bordeaux, Aug.-Sept. 2023), v. 272 of Leibniz Int. Proc. in Inform., pp. 7:1-7:15. Dagstuhl Publishing, 2023.
   doi:10.4230/lipics.mfcs.2023.7
5. A. Achilleos, D. Della Monica, eds.
   Proc. of 14th Int. Symp. on Games, Automata, Logics, and Formal Verification, GandALF 2023 (Udine, Sept. 2023), v. 390 of Electron. Proc. in Theor. Comput. Sci., 252 pp. Open Publishing Assoc., 2023.
   doi:10.4204/eptcs.390
6. D. Adamson, A. Deligkas, V. V. Gusev, I. Potapov. The k-centre problem for classes of cyclic words.
   In L. Gasieniec, ed., Theory and Practice of Computer Science: 48th Int. Conf. on Current Trends, SOFSEM 2023 (Nový Smokovec, Jan. 2023), Proc., v. 13878 of Lect. Notes in Comput. Sci., pp. 385-400. Springer, 2023.
   doi:10.1007/978-3-031-23101-8_26
7. D. Adamson, M. M. Halldórsson, A. Nolin. Distributed coloring of hypergraphs.
   In S. Rajsbaum, A. Balliu, J. J. Daymude, D. Olivetti, eds., Structural Information and Communication Complexity: 30th Int. Coll., SIROCCO 2023 (Alcalà de Henares, June 2023), Proc., v. 13892 of Lect. Notes in Comput. Sci., pp. 89-111. Springer, 2023.
   doi:10.1007/978-3-031-32733-9_5
8. G. Bacci, A. Ingólfsdóttir, K. G. Larsen, R. Reynouard. An MM algorithm to estimate parameters in continuous-time Markov chains.
   In N. Jansen, M. Tribastone, eds., Quantitative Evaluation of Systems: 20th Int. Conf., QEST 2023 (Antwerp, Sept. 2023), Proc., v. 14287 of Lect. Notes in Comput. Sci., pp. 82-100. Springer, 2023.
   doi:10.1007/978-3-031-43835-6_6
9. C. Bean, B. Guðmundsson, T. K. Magnússon, H. Úlfarsson. Algorithmic coincidence classification of mesh patterns.
   Inf. Comput., v. 292, art. 105014, 18 pp., 2023.
   doi:10.1016/j.ic.2023.105014
10. F. Breuvart, D. McDermott, T. Uustalu. Canonical gradings of monads.
    In J. Master, M. Lewis, eds., Proc. of 5th Int. Conf. on Applied Category Theory, ACT 2022 (Glasgow, July 2022), v. 380 of Electron. Proc. in Theor Comput. Sci., pp. 1-21. Open Publishing Assoc., 2023.
    doi:10.4204/eptcs.380.1
11. S. Capobianco, T. Uustalu. Additive cellular automata graded-monadically.
    In S. Escobar, V. T. Vasconcelos, eds., PPDP '23: Proc. of 25th Int. Symp. on Principles and Practice of Declarative Programming (Cascais, Oct. 2023), ACM Int. Conf. Proc. Series, art. 13, 9 pp. ACM, 2023.
    doi:10.1145/3610612.3610625
12. V. Castiglioni, M. Loreti, S. Tini. A framework to measure the robustness of programs in the unpredictable environment.
    Log. Methods Comput. Sci., v. 19, n. 3, art. 2, 46 pp., 2023.
    doi:10.46298/lmcs-19(3:2)2023
13. V. Castiglioni, M. Loreti, S. Tini. DisTL: a temporal logic for the analysis of the expected behaviour of cyber-physical systems.
    In G. Castiglione, M. Sciortino, eds., ICTCS 2023: Proc. of 24th Italian Conf. on Theoretical Computer Science (Palermo, Sept. 2023), v. 3587 of CEUR Wksh. Proc., pp. 15-30. CEUR-ws.org, 2023.
    article
14. V. Castiglioni, M. Loreti, S. Tini. Stark: a software tool for the analysis of robustness in the unknown environment.
    In S.-S. Jongmans, A. Lopes, eds., Coordination Models and Languages: 25th IFIP WG 6.1 Int. Conf., COORDINATION 2023 (Lisbon, June 2023), Proc., v. 13908 of Lect. Notes in Comput. Sci., pp. 115-132. Springer, 2023.
    doi:10.1007/978-3-031-35361-1_6
15. L. Exibard, E. Filiot, A. Khalimov. Church synthesis on register automata over linearly ordered data domains.
    Form. Methods Syst. Des., v. 61, n. 2-3, pp. 290-337, 2022 (appeared in 2023).
    doi:10.1007/s10703-023-00435-w
16. M. Fischer, M. M. Halldórsson, Y. Maus. Fast distributed Brooks' theorem.
    In N. Bansal, V. Nagarajan, eds., Proc. of 2023 ACM-SIAM Symp. on Discrete Algorithms, SODA 2023 (Florence, Jan. 2023), pp. 2567-2588. SIAM, 2023.
    doi:10.1137/1.9781611977554.ch98
17. M. Flin, M. Ghaffari, M. M. Halldórsson, F. Kuhn, A. Nolin. Coloring fast with broadcasts.
    In K. Agrawal, J. Shun, eds., Proc. of 35th ACM Symp. on Parallelism in Algorithms and Architectures, SPAA 2023 (Orlando, FL, June 2023), pp. 455-465. ACM, 2023.
    doi:10.1145/3558481.3591095
18. M. Flin, M. M. Halldórsson, A. Nolin. Fast coloring despite congested relays.
    In R. Oshman, ed., 37th Int. Symp. on Distributed Computing, DISC 2023 (L'Aquila, Oct. 2023), v. 281 of Leibniz Int. Proc. in Inform., pp. 19:1-19:24. Dagstuhl Publishing, 2023.
    doi:10.4230/lipics.disc.2023.19
19. M. M. Halldórsson. SIROCCO prize for innovation in distributed computing: laudatio for Boaz Patt-Shamir.
    Bull. EATCS, v. 141, 2 pp., 2023.
    article
20. M. M. Halldórsson, A. Nolin. Superfast coloring in CONGEST via efficient color sampling.
    Theor. Comput. Sci., v. 948, art. 113711, 13 pp., 2023.
    doi:10.1016/j.tcs.2023.113711
21. R. Oshman, M. M. Halldórsson, A. Nolin, eds.
    PODC '23: Proc. of 2023 ACM Symp. on Principles of Distributed Computing (Orlando, FL, June 2023), xii+377 pp. ACM, 2023.
    doi:10.1145/3583668
22. R. Reynouard, A. Ingólfsdóttir, G. Bacci. Jajapy: a learning library for stochastic models.
    In N. Jansen, M. Tribastone, eds., Quantitative Evaluation of Systems: 20th Int. Conf., QEST 2023 (Antwerp, Sept. 2023), Proc., v. 14287 of Lect. Notes in Comput. Sci., pp. 30-46. Springer, 2023.
    doi:10.1007/978-3-031-43835-6_3

Publications 2022

Publications 2021

Publications 2020

Publications 2019

Publications 2018

Publications 2017