An implicit function theorem for the stream calculus
Michele Boreale, Luisa Collodi, Daniele Gorla
Published in Logical methods in computer science (01.06.2024)
Published in Logical methods in computer science (01.06.2024)
Get full text
Journal Article
Enhanced models for privacy and utility in continuous-time diffusion networks
Granese, Federica, Gorla, Daniele, Palamidessi, Catuscia
Published in International journal of information security (01.10.2021)
Published in International journal of information security (01.10.2021)
Get full text
Journal Article
Conflict vs Causality in Event Structures
Gorla, Daniele, Salvo, Ivano, Piperno, Adolfo
Published in Electronic proceedings in theoretical computer science (22.08.2019)
Published in Electronic proceedings in theoretical computer science (22.08.2019)
Get full text
Journal Article
A Concurrent Pattern Calculus
Given-Wilson, Thomas, Gorla, Daniele, Jay, Barry
Published in Logical methods in computer science (01.01.2014)
Published in Logical methods in computer science (01.01.2014)
Get full text
Journal Article
Polynomial recognition of vulnerable multi-commodities
Fiorenza, Dario, Gorla, Daniele, Salvo, Ivano
Published in Information processing letters (01.01.2023)
Published in Information processing letters (01.01.2023)
Get full text
Journal Article
Conflict vs causality in event structures
Gorla, Daniele, Salvo, Ivano
Published in Journal of logical and algebraic methods in programming (01.02.2021)
Published in Journal of logical and algebraic methods in programming (01.02.2021)
Get full text
Journal Article
Behavioural logics for configuration structures
Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano
Published in Theoretical computer science (20.04.2022)
Published in Theoretical computer science (20.04.2022)
Get full text
Journal Article
Characterising spectra of equivalences for event structures, logically
Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano
Published in Information and computation (01.05.2022)
Published in Information and computation (01.05.2022)
Get full text
Journal Article
Inefficiencies in network models: A graph-theoretic perspective
Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano
Published in Information processing letters (01.03.2018)
Published in Information processing letters (01.03.2018)
Get full text
Journal Article
Output Sampling for Output Diversity in Automatic Unit Test Generation
Menendez, Hector D., Boreale, Michele, Gorla, Daniele, Clark, David
Published in IEEE transactions on software engineering (01.01.2022)
Published in IEEE transactions on software engineering (01.01.2022)
Get full text
Journal Article
Security Policies as Membranes in Systems for Global Computing
Gorla, Daniele, Hennessy, Matthew, Sassone, Vladimiro
Published in Logical methods in computer science (20.12.2005)
Published in Logical methods in computer science (20.12.2005)
Get full text
Journal Article
Tribute to Anna Labella
Bottoni, Paolo, De Nicola, Rocco, Gorla, Daniele
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Published in Journal of logical and algebraic methods in programming (01.06.2021)
Get full text
Journal Article