by Michele Boreale, Luisa Collodi, Daniele Gorla
Published in Logical methods in computer science (01.06.2024)

by Granese, Federica, Gorla, Daniele, Palamidessi, Catuscia
Published in International journal of information security (01.10.2021)

by Gorla, Daniele, Salvo, Ivano, Piperno, Adolfo
Published in Electronic proceedings in theoretical computer science (22.08.2019)

by Given-Wilson, Thomas, Gorla, Daniele, Jay, Barry
Published in Logical methods in computer science (01.01.2014)

by Gorla, Daniele
Published in Information and computation (01.09.2010)

by Dal Lago, Ugo, Gorla, Daniele
Published in Theoretical computer science (01.09.2024)

by Boreale, Michele, Gorla, Daniele
Published in The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

by GORLA, DANIELE, NESTMANN, UWE
Published in Mathematical structures in computer science (01.05.2016)

by Fiorenza, Dario, Gorla, Daniele, Salvo, Ivano
Published in Information processing letters (01.01.2023)

by Gorla, Daniele, Salvo, Ivano
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano
Published in Theoretical computer science (20.04.2022)

by Baldan, Paolo, Gorla, Daniele
Published in Information and computation (01.02.2017)

by Gorla, Daniele
Published in Distributed computing (01.12.2010)

by Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano
Published in Information and computation (01.05.2022)

by Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano
Published in Algorithmica (01.04.2019)

by Gorla, Daniele
Published in Information and computation (01.08.2008)

by Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano
Published in Information processing letters (01.03.2018)

by Menendez, Hector D., Boreale, Michele, Gorla, Daniele, Clark, David
Published in IEEE transactions on software engineering (01.01.2022)

by Gorla, Daniele, Hennessy, Matthew, Sassone, Vladimiro
Published in Logical methods in computer science (20.12.2005)

by Bottoni, Paolo, De Nicola, Rocco, Gorla, Daniele
Published in Journal of logical and algebraic methods in programming (01.06.2021)