Mario Giovanni C. A. Cimino

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Activity Patterns

Top Venues

Publications

Marco Avvenuti, Mario Giovanni C. A. Cimino, Guglielmo Cola, Gigliola Vaglini
Detection and Mapping of a Toxic Cloud Using UAVs and Emergent Techniques. MIKE (2018)
Federico A. Galatolo, Mario Giovanni C. A. Cimino, Gigliola Vaglini
Using Stigmergy to Incorporate the Time into Artificial Neural Networks. MIKE (2018)
Mario Giovanni C. A. Cimino, Gigliola Vaglini
Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology. ICISSP (2017)
Antonio Luca Alfeo, Mario Giovanni C. A. Cimino, Sara Egidi, Bruno Lepri, Alex Pentland, Gigliola Vaglini
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data. SBP-BRiMS (2017)