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