Publications 2024

Here are our publications 2024.

  1. L. Aceto, A. Achilleos, E. Anastasiadi, A. Francalanza, D. Gorla, J. Wagemaker. Centralized vs decentralized monitors for hyperproperties. In R. Majumdar, A. Silva, eds., 35th Int. Conf. on Concurrency Theory, CONCUR 2024 (Calgary, Sept. 2024), v. 311 of Leibniz Int. Proc. in Inform., pp. 4:1-4:19. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.concur.2024.4
  2. L. Aceto, A. Achilleos, E. Anastasiadi, A. Francalanza, A. Ingólfsdóttir. Complexity results for modal logic with recursion via translations and tableaux.
    Log. Methods Comput. Sci., v. 20, n. 3, art. 14, 53 pp., 2024.
    doi:10.46298/lmcs-20(3:14)2024
  3. L. Aceto, A. Achilleos, D. P. Attard, L. Exibard, A. Francalanza, A. Ingólfsdóttir. A monitoring tool for linear-time μHML.
    Sci. Comput. Program., v. 232, art. 103031, 7 pp., 2024.
    doi:10.1016/j.scico.2023.103031
  4. L. Aceto, D. P. Attard, A. Francalanza, A. Ingólfsdóttir. Runtime instrumentation for reactive components.
    In J. Aldrich, G. Salvaneschi, eds., 38th Europ. Conf. on Object-Oriented Programming, ECOOP 2024 (Vienna, Sept. 2024), v. 313 of Leibniz Int. Proc. in Inform., pp. 2:1-2:33. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.ecoop.2024.2
  5. L. Aceto, D. P. Attard, A. Francalanza, A. Ingólfsdóttir. Runtime instrumentation for reactive components (artifact).
    Dagstuhl Artifacts Ser., v. 10, n. 2, pp. 1:1-1:4, 2024.
    doi:10.4230/darts.10.2.1
  6. L. Aceto, D. Gorla, S. Lybech. A sound type system for secure currency flow.
    In J. Aldrich, G. Salvaneschi, eds., 38th Europ. Conf. on Object-Oriented Programming, ECOOP 2024 (Vienna, Sept. 2024), v. 313 of Leibniz Int. Proc. in Inform., pp. 1:1-1:27. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.ecoop.2024.1
  7. L. Aceto, D. Gorla, S. Lybech, M. Hamdaqa. Preventing out-of-gas exceptions by typing.
    In T. Margaria, B. Steffen, eds., Leveraging Applications of Formal Methods, Verification and Validation: Rigorous Engineering of Collective Adaptive Systems: 12th Int. Symp., ISoLA 2024 (Crete, Oct. 2024), Proc., Part I, v. 15219 of Lect. Notes in Comput. Sci., pp. 409-426. Springer, 2024.
    doi:10.1007/978-3-031-73709-1_25
  8. A. Achilleos, A. Francalanza, eds.
    Proc. of 15th Int. Symp. on Games, Automata, Logics, and Formal Verification, GandALF 2024 (Reykjavik, June 2024), v. 409 of Electron. Proc. in Theor. Comput. Sci., iv+171 pp. Open Publishing Assoc., 2024.
    doi:10.4204/eptcs.409
  9. N. Arkor, D. McDermott. Relative monadicity.
    J. Algebra, v. 663, pp. 399-434, 2025.
    doi:10.1016/j.jalgebra.2024.08.040
  10. N. Arkor, D. McDermott. The formal theory of relative monads.
    J. Pure Appl. Algebra, v. 228, n. 9, art. 107676, 107 pp., 2024.
    doi:10.1016/j.jpaa.2024.107676
  11. E. Bakali, A. Chalki, S. Kanellopoulos, A. Pagourtzis, S. Zachos. On the power of counting the total number of computation paths of NPTMs.
    In X. Chen, B. Li, eds., Theory and Applications of Models of Computation: 18th Ann. Conf., TAMC 2024 (Hong Kong, May 2024), Proc., v. 14637 of Lect. Notes in Comput. Sci., pp. 209-220. Springer, 2023.
    doi:10.1007/978-981-97-2340-9_18
  12. C. Bean, É. Nadeau, J. Pantone, H. Úlfarsson. Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding.
    Electron. J. Comb., v. 31, n. 3, art. P3.3, 19 pp., 2024.
    doi:10.37236/12686
  13. A. Claesson, H. Úlfarsson. Turning cycle restrictions into mesh patterns via Foata's fundamental transformation.
    Discr. Math., v. 347, n. 3, art. 113826, 3 pp., 2024.
    doi:10.1016/j.disc.2023.113826
  14. M. Flin, M. Ghaffari, M. M. Halldórsson, F. Kuhn, A. Nolin. A distributed palette sparsification theorem.
    In Proc. of 2024 Ann. ACM-SIAM Symp. on Discrete Algorithms, SODA 2024 (Alexandria, VA, Jan. 2024), pp. 4083-4123. SIAM, 2024.
    doi:10.1137/1.9781611977912.142
  15. M. Flin, M. M. Halldórsson, A. Nolin. Decentralized distributed graph coloring II: degree+1-coloring virtual graphs.
    In D. Alistarh, ed., 38th Int. Symp. on Distributed Computing, DISC 2024 (Madrid, Oct./Nov. 2024), v. 319 of Leibniz Int. Proc. in Inform., pp. 24:1-24:22. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.disc.2024.24
  16. M. Flin, P. Mittal. (Δ+1)-vertex coloring in O(n) communication.
    In R. Gelles, D. Olivetti, P. Kuznetsov, eds., PODC '24: Proc. of 2024 ACM Symp. on Principles of Distributed Computing (Nantes, June 2024), pp. 416-424. ACM, 2024.
    doi:10.1145/3662158.3662796
  17. A. F. Franklín, A. Claesson, C. Bean, H. Úlfarsson, J. Pantone. Restricted permutations enumerated by inversions.
    In S. Brlek, L. Ferrari, eds., Proc. of 13th Edition of Conf. on Random Generation of Combinatorial Structures, Polyominoes and Tilings, GASCom 2024 (Bordeaux, June 2024), v. 403 of Electron. Proc. in Theor. Comput. Sci., pp. 96-100. Open Publishing Assoc., 2024.
    doi:10.4204/eptcs.403.21
  18. S. Goncharov, T. Uustalu. A unifying categorical view of nondeterministic iteration and tests.
    In R. Majumdar, A. Silva, eds., 35th Int. Conf. on Concurrency Theory, CONCUR 2024 (Calgary, Sept. 2024), v. 311 of Leibniz Int. Proc. in Inform., pp. 25:1-25:22. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.concur.2024.25
  19. E. Ó. Gunnarsdóttir, A. Ingólfsdóttir. The EM-BDD algorithm for learning hidden Markov models.
    In T. Margaria, B. Steffen, eds., Leveraging Applications of Formal Methods, Verification and Validation: Rigorous Engineering of Collective Adaptive Systems: 12th Int. Symp., ISoLA 2024 (Crete, Oct. 2024), Proc., Part II, v. 15220 of Lect. Notes in Comput. Sci., pp. 121-138. Springer, 2024.
    doi:10.1007/978-3-031-75107-3_8
  20. M. M. Halldórsson, Y. Maus. Distributed Δ-coloring under bandwidth limitations.
    In D. Alistarh, ed., 38th Int. Symp. on Distributed Computing, DISC 2024 (Madrid, Oct./Nov. 2024), v. 319 of Leibniz Int. Proc. in Inform., pp. 31:1-31:22. Dagstuhl Publishing, 2024.
    doi:10.4230/lipics.disc.2024.31
  21. M. M. Halldórsson, D. Rawitz. Distributed fractional local ratio and independent set approximation.
    In Y. Emek, ed., Structural Information and Communication Complexity: 31st Int. Coll., SIROCCO 2024 (Vietri sul Mare, May 2014), Proc., v. 14662 of Lect. Notes in Comput. Sci., pp. 281-299. Springer, 2004.
    doi:10.1007/978-3-031-60603-8_16
  22. M. M. Halldórsson, D. Rawitz. Online multiset submodular cover.
    Algorithmica, v. 86, n. 7, pp. 2393-2411, 2024.
    doi:10.1007/s00453-024-01234-3
  23. H. Hüttel, S. Lybech, A. R. Bendixen, B. B. Bojesen. A generic type system for higher-order Ψ-calculi.
    Inf. Comput., v. 300, art. 105190, 26 pp., 2024.
    doi:10.1016/j.ic.2024.105190
  24. S. Lybech. The reflective higher-order calculus: encodability, typability and separation.
    Inf. Comput., v. 297, art. 105138, 33 pp., 2024.
    doi:10.1016/j.ic.2024.105138
  25. D. McDermott, A. Mycroft. Galois connecting call-by-value and call-by-name.
    Log. Methods Comput. Sci., v. 20, n. 1, art. 13, 43 pp., 2024.
    doi:10.46298/lmcs-20(1:13)2024
  26. D. Pous, J. Rot, J. Wagemaker. On tools for completeness of Kleene algebra with hypotheses.
    Log. Methods Comput. Sci., v. 20, n. 2, art. 8, 55 pp., 2024.
    doi:10.46298/lmcs-20(2:8)2024
  27. D. Pous, J. Wagemaker. Completeness theorems for Kleene algebra with tests and top..
    Log. Methods Comput. Sci., v. 20, n. 3, art. 27, 27 pp., 2024.
    doi:10.46298/lmcs-20(3:27)2024
  28. E. Rivas, T. Uustalu. Concurrent monads for shared state.
    In Proc. of 26th Int. Symp. on Principles and Practice of Declarative Programming, PPDP '24 (Milan, Sept. 2024), ACM Int. Conf. Proc. Series, art. 19, 13 pp. ACM, 2024.
    doi:10.1145/3678232.3678249

Publications 2023

Publications 2022

Publications 2021

Publications 2020

Publications 2019

Publications 2018

Publications 2017

Last update 26 January 2025