Publications
- Bandukara MH and Tzevelekos N (2023). On-the-fly bisimulation equivalence checking for fresh-register automata. Journal of Systems Architecture, Elsevier vol. 145
01-12-2023 - Kelmendi E (2023). Computing the Density of the Positivity Set for Linear Recurrence Sequences. Logical Methods in Computer Science, Centre pour la Communication Scientifique Directe (CCSD) vol. Volume 19, Issue 4
28-11-2023 - Goldberg LA and Roth M (2023). Parameterised and Fine-Grained Subgraph Counting, Modulo 2. Algorithmica, Springer vol. 86 (4), 944-1005.
02-11-2023 - MacBrayne A, Curzon P, Soyel H, Marsh W, Fenton N, Pitzalis C and Humby F (2023). Attitudes to technology supported rheumatoid arthritis care: investigating patient and clinician perceived opportunities and barriers. Rheumatology Advances in Practice, Oxford University Press (OUP)
26-10-2023 - Iraci G, Chuang C-E, Hu R and Ziarek L (2023). Validating IoT Devices with Rate-Based Session Types. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 7 (OOPSLA 2), 1589-1617.
16-10-2023 - Leedham-Green C, Markström K and Riis S (2023). The largest Condorcet domain on 8 alternatives. Social Choice and Welfare, Springer Nature vol. 62 (1), 109-116.
05-09-2023 - Escardó M and Oliva P (2023). Higher-order games with dependent types. Theoretical Computer Science, Elsevier vol. 974
01-09-2023 - Tzevelekos N and Murawski AS (2023). Deconstructing general references via game semantics. Samson Abramsky on Logic and Structure in Computer Science and Beyond, Springer Nature
02-08-2023 - Malacaria P and Zhang Y (2023). Keep spending: Beyond optimal cyber-security investment. 2023 IEEE Computer Security Foundations Symposium.
01-07-2023 - Karimov T, Kelmendi E, Nieuwveld J, Ouaknine J and Worrell J (2023). The Power of Positivity. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023 - Ghahremani F, Kelmendi E and Ouaknine J (2023). Reachability in Injective Piecewise Affine Maps. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023 - Koutavas V, Lin Y-Y and Tzevelekos N (2023). Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023 - Bressan M, Lanzinger M and Roth M (2023). The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree. Proceedings of the 55th Annual ACM Symposium on Theory of Computing.
02-06-2023 - Gimbert H and Kelmendi E (2023). Submixing and shift-invariant stochastic games. International Journal of Game Theory, Springer Nature vol. 52 (4), 1179-1214.
25-05-2023 - Peyerimhoff N, Roth M, Schmitt J, Stix J, Vdovina A and Wellnitz P (2023). Parameterized Counting and Cayley Graph Expanders. SIAM Journal on Discrete Mathematics, Society for Industrial & Applied Mathematics (SIAM) vol. 37 (2), 405-486.
26-04-2023 - Zhang Y, Malacaria P, Loukas G and Panaousis E (2023). CROSS: A Framework for Cyber Risk Optimisation in Smart Homes. Computers and Security, Elsevier, 103250-103250.
05-04-2023 - Karpov A, Markström K, Riis S and Zhou B (2023). Set-alternating schemes: A new class of large Condorcet domains. CoRR vol. abs/2308.02817
01-01-2023 - Koutavas V, Lin Y-Y and Tzevelekos N (2023). Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. CoRR vol. abs/2311.01325
01-01-2023 - Zhou B and Riis S (2023). New Record-Breaking Condorcet Domains on 10 and 11 Alternatives. CoRR vol. abs/2303.06524
01-01-2023 - Zhou B and Riis S (2023). Exploring Parity Challenges in Reinforcement Learning through Curriculum Learning with Noisy Labels. CoRR vol. abs/2312.05379
01-01-2023 - Akello-Egwell D, Leedham-Green CR, Litterick A, Markström K and Riis S (2023). Condorcet Domains of Degree at most Seven. CoRR vol. abs/2306.15993
01-01-2023