Daniele Gorla | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
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

ERC

PE6
PE6_3
PE6_4

KET

Big data & computing

Keywords

concurrency

Temporal logics

Semantics of True Concurrency

Progetti di Ricerca

Logics and Model Checking for Graph Equivalences in Computational Biology