Publications
- Sönmez FÖ, Hankin C and Malacaria P (2024). Smart topology detection using multi-armed bandit reinforcement learning method. Information Security Journal A Global Perspective, Taylor & Francis vol. ahead-of-print (ahead-of-print), 1-26.
10-12-2024 - Zhou B, Markström K and Riis S (2024). CDL: A fast and flexible library for the study of permutation sets with structural restrictions. SoftwareX, Elsevier vol. 28
01-12-2024 - Constantinides G, Dahlqvist F, Rakamarić Z and Salvia R (2024). Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations. ACM Transactions on Probabilistic Machine Learning, Association for Computing Machinery (ACM)
28-11-2024 - Grigore R, Distefano D and Tzevelekos N (2024). Automatic Compositional Checking of Multi-object TypeState Properties of Software. Lecture Notes in Computer Science, Springer Nature vol. 15260, 3-40.
13-11-2024 - Goldberg LA, Roth M and Schwarz T (2024). Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process. Theoretical Computer Science, Elsevier
12-11-2024 - Distefano D, Marescotti M, Ahs C, Cela S, Sampaio GC, Grigore R, Hajdu A, Kapus T, Mao K and Suzanne T (2024). Enhancing Compositional Static Analysis with Dynamic Analysis. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering.
27-10-2024 - Bressan M, Ann Goldberg L, Meeks K and Roth M (2024). Counting Subgraphs in Somewhere Dense Graphs. SIAM Journal on Computing, Society for Industrial & Applied Mathematics (SIAM) vol. 53 (5), 1409-1438.
27-09-2024 - Focke J, Goldberg LA, Roth M and Živný S (2024). Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations. ACM Transactions on Algorithms, Association for Computing Machinery (ACM)
23-08-2024 - Goebel A, Goldberg LA and Roth M (2024). The Weisfeiler-Leman Dimension of Conjunctive Queries. Principles of Database Systems (PODS 2024).
14-05-2024 - Focke J and Roth M (2024). Counting Small Induced Subgraphs with Hereditary Properties. SIAM Journal on Computing, Society for Industrial and Applied Mathematics vol. 53 (2), 189-220.
12-03-2024 - Giacobbe M, Kroening D, Pal A and Tautschnig M (2024). Neural Model Checking.
01-01-2024 - Koutavas V, Lin Y-Y and Tzevelekos N (2024). An Operational Semantics for Yul., Editors: Madeira A and Knapp A.
01-01-2024