Publications
- Smart topology detection using multi-armed bandit reinforcement learning method
Sönmez FÖ Hankin C 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
Softwarex, Elsevier vol. 28
01-12-2024 - Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations
Constantinides G Dahlqvist F Rakamarić Z Salvia R
Acm Transactions on Probabilistic Machine Learning, Association For Computing Machinery (Acm)
28-11-2024 - Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process
Goldberg LA Roth M Schwarz T
Theoretical Computer Science, Elsevier
12-11-2024 - Enhancing Compositional Static Analysis with Dynamic Analysis
Distefano D Marescotti M Ahs C Cela S Grigore R Hajdu A
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
Siam Journal on Computing, Society For Industrial & Applied Mathematics (Siam) vol. 53 (5), 1409-1438.
27-09-2024 - Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Pears J Bocchi L Hu R
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang., 33-44.
28-08-2024 - Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
Focke J Goldberg LA Roth M
Acm Transactions on Algorithms, Association For Computing Machinery (Acm)
23-08-2024 - The Weisfeiler-Leman Dimension of Conjunctive Queries
Goebel A Goldberg LA Roth M
Principles of Database Systems (PODS 2024).
14-05-2024 - Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Costa D Hu R
Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 401
06-04-2024 - Counting Small Induced Subgraphs with Hereditary Properties
Focke J Roth M
Siam Journal on Computing, Society For Industrial and Applied Mathematics vol. 53 (2), 189-220.
12-03-2024 - CDL: A fast and flexible library for the study of permutation sets with structural restrictions.
Zhou B Markström K
Softwarex vol. 28, 101951-101951.
01-01-2024 - Mastering NIM and Impartial Games with Weak Neural Networks: An AlphaZero-inspired Multi-Frame Approach.
Riis S
Corr vol. abs/2411.06403
01-01-2024 - Neural Model Checking.
Giacobbe M Kroening D Tautschnig M Globersons A Mackey L Belgrave D Fan A Paquet U et al.
NeurIPS.
01-01-2024