Stefano Tognazzi

According to our database, Stefano Tognazzi authored at least 13 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Differential Equivalence for Linear Differential Algebraic Equations.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

IEEE Trans. Autom. Control., 2022

Adversarial Machine Learning for Protecting Against Online Manipulation.

Stefano Cresci, Marinella Petrocchi, Angelo Spognardi, Stefano Tognazzi

IEEE Internet Comput., 2022

2021

The coming age of adversarial social bot detection.

Stefano Cresci, Marinella Petrocchi, Angelo Spognardi, Stefano Tognazzi

First Monday, 2021

Exact and approximate role assignment for multi-layer networks.

Tatjana Petrov, Stefano Tognazzi

J. Complex Networks, 2021

Lumping Reductions for Multispread in Multi-Layer Networks.

Tatjana Petrov, Stefano Tognazzi

Proceedings of the Complex Networks & Their Applications X - Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021

2020

Centrality-Preserving Exact Reductions of Multi-Layer Networks.

Tatjana Petrov, Stefano Tognazzi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

On the capability of evolved spambots to evade detection via genetic engineering.

Stefano Cresci, Marinella Petrocchi, Angelo Spognardi, Stefano Tognazzi

Online Soc. Networks Media, 2019

Better Safe Than Sorry: An Adversarial Approach to Improve Social Bot Detection.

Stefano Cresci, Marinella Petrocchi, Angelo Spognardi, Stefano Tognazzi

Proceedings of the 11th ACM Conference on Web Science, 2019

2018

From Reaction to Proaction: Unexplored Ways to the Detection of Evolving Spambots.

Stefano Cresci, Marinella Petrocchi, Angelo Spognardi, Stefano Tognazzi

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Differential Equivalence Yields Network Centrality.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Backward Invariance for Linear Differential Algebraic Equations.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

EGAC: a genetic algorithm to compare chemical reaction networks.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2015

Exploring the Use of BDDs in Conformant Planning.

Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015