Title |
Published on |
Year |
A Sound Type System for Secure Currency Flow |
Atti di ECOOP 2024 |
2024 |
BaBE: Enhancing Fairness via Estimation of Explaining Variables |
Atti di ACM FAccT 2024 |
2024 |
Centralized vs Decentralized Monitors for Hyperproperties |
Atti di CONCUR 2024 |
2024 |
Preventing Out-of-Gas Exceptions by Typing |
Atti di ISoLA 2024 |
2024 |
Products, polynomials and differential equations in the stream calculus |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC |
2023 |
An Implicit Function Theorem for the Stream Calculus |
LOGICAL METHODS IN COMPUTER SCIENCE |
2023 |
On the (Im)Possibility of Estimating Various Notions of Differential Privacy |
Atti di ICTCS 2023 |
2023 |
Characterising Spectra of Equivalences for Event Structures, Logically |
INFORMATION AND COMPUTATION |
2022 |
Behavioural Logics for Configuration Structures |
THEORETICAL COMPUTER SCIENCE |
2022 |
Polynomial recognition of vulnerable multi-commodities |
INFORMATION PROCESSING LETTERS |
2022 |
Enhanced models for privacy and utility in continuous-time diffusion networks |
INTERNATIONAL JOURNAL OF INFORMATION SECURITY |
2021 |
Algebra and Coalgebra of Stream Products |
Atti di CONCUR 2021 |
2021 |
DOCTOR: A Simple Method for Detecting Misclassification Errors |
Atti di NeurIPS 2021 |
2021 |
The 2021 Experience of Logic in Computer Science |
SIGLOG NEWS |
2021 |
Tribute to Anna Labella |
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
2021 |
Conflict vs Causality in Event Structures |
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
2020 |
Output Sampling for Output Diversity in Automatic Unit Test Generation |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
2020 |
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs |
ALGORITHMICA |
2019 |
Conflict vs causality in event structures |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
2019 |
Enhanced models for privacy and utility in continuous-time diffusion networks |
Theoretical Aspects of Computing – ICTAC 2019 |
2019 |