| Development of a Debugger for a Concurrent Language F Baiardi, N De Francesco, G Vaglini IEEE Transactions on Software Engineering, 547-553, 1986 | 133 | 1986 |
| Selective mu-calculus and formula-based equivalence of transition systems R Barbuti, N De Francesco, A Santone, G Vaglini Journal of Computer and System Sciences 59 (3), 537-556, 1999 | 73 | 1999 |
| Monitoring elderly behavior via indoor position-based stigmergy P Barsocchi, MGCA Cimino, E Ferro, A Lazzeri, F Palumbo, G Vaglini Pervasive and Mobile Computing 23, 26-42, 2015 | 67 | 2015 |
| Abstract reduction in directed model checking ccs processes A Santone, G Vaglini Acta informatica 49 (5), 313-341, 2012 | 37 | 2012 |
| Ant colony optimization for deadlock detection in concurrent systems G Francesca, A Santone, G Vaglini, ML Villani 2011 IEEE 35th Annual Computer Software and Applications Conference, 108-117, 2011 | 36 | 2011 |
| Optimal joint routing and link scheduling for real-time traffic in TDMA wireless mesh networks P Cappanera, L Lenzini, A Lori, G Stea, G Vaglini Computer Networks 57 (11), 2301-2312, 2013 | 35 | 2013 |
| Sleep behavior assessment via smartwatch and stigmergic receptive fields AL Alfeo, P Barsocchi, MGCA Cimino, D La Rosa, F Palumbo, G Vaglini Personal and ubiquitous computing 22 (2), 227-243, 2018 | 34 | 2018 |
| Heuristic search for equivalence checking N De Francesco, G Lettieri, A Santone, G Vaglini Software & Systems Modeling 15 (2), 513-530, 2016 | 30 | 2016 |
| Swarm coordination of mini-UAVs for target search using imperfect sensors AL Alfeo, MGCA Cimino, N De Francesco, A Lazzeri, M Lega, G Vaglini Intelligent Decision Technologies 12 (2), 149-162, 2018 | 25 | 2018 |
| Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search MGCA Cimino, A Lazzeri, G Vaglini 2015 6th International Conference on Information, Intelligence, Systems and …, 2015 | 25 | 2015 |
| Improving the analysis of context-aware information via marker-based stigmergy and differential evolution MGCA Cimino, A Lazzeri, G Vaglini International Conference on Artificial Intelligence and Soft Computing, 341-352, 2015 | 25 | 2015 |
| Incremental construction of systems: An efficient characterization of the lacking sub-system A Santone, G Vaglini, ML Villani Science of Computer Programming 78 (9), 1346-1367, 2013 | 25 | 2013 |
| Evaluating the impact of smart technologies on harbor’s logistics via BPMN modeling and simulation MGCA Cimino, F Palumbo, G Vaglini, E Ferro, N Celandroni, D La Rosa Information Technology and Management 18 (3), 223-239, 2017 | 24 | 2017 |
| Reduced models for efficient CCS verification R Barbuti, N De Francesco, A Santone, G Vaglini Formal Methods in System Design 26 (3), 319-350, 2005 | 24 | 2005 |
| Selective mu-calculus: New modal operators for proving properties on reduced transition systems R Barbuti, N De Francesco, A Santone, G Vaglini Formal Description Techniques and Protocol Specification, Testing and …, 1997 | 23 | 1997 |
| GreASE: a tool for efficient “Nonequivalence” checking N Francesco, G Lettieri, A Santone, G Vaglini ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (3), 1-26, 2014 | 20 | 2014 |
| LORETO: a tool for reducing state explosion in verification of LOTOS programs R Barbuti, N De Francesco, A Santone, G Vaglini Software: Practice and Experience 29 (12), 1123-1147, 1999 | 20 | 1999 |
| A “pay-how-you-drive” car insurance approach through cluster analysis MF Carfora, F Martinelli, F Mercaldo, V Nardone, A Orlando, A Santone, ... Soft Computing 23 (9), 2863-2875, 2019 | 19 | 2019 |
| Design and simulation of the emergent behavior of small drones swarming for distributed target localization AL Alfeo, MGCA Cimino, N De Francesco, M Lega, G Vaglini Journal of computational science 29, 19-33, 2018 | 16 | 2018 |
| A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage AL Alfeo, MGCA Cimino, S Egidi, B Lepri, G Vaglini IEEE Transactions on Intelligent Transportation Systems 19 (7), 2258-2267, 2018 | 16 | 2018 |
