| Assessing the risk of intercepting VoIP calls M Benini, S Sicari Computer Networks 52 (12), 2432-2446, 2008 | 31 | 2008 |
| Risk assessment in practice: A real case study M Benini, S Sicari Computer communications 31 (15), 3691-3699, 2008 | 29 | 2008 |
| Constructive adpositional grammars: foundations of constructive linguistics M Benini, F Gobbo Cambridge Scholars Publishing, 2011 | 24 | 2011 |
| The minimal levels of abstraction in the history of modern computing F Gobbo, M Benini Philosophy & Technology 27, 327-343, 2014 | 18 | 2014 |
| Annotation with adpositional argumentation F Gobbo, M Benini, JHM Wagemans Intelligenza Artificiale 13 (2), 155-172, 2019 | 13 | 2019 |
| A constructive object oriented modeling language for information systems M Ornaghi, M Benini, M Ferrari, C Fiorentini, A Momigliano Electronic Notes in Theoretical Computer Science 153 (1), 55-75, 2006 | 13 | 2006 |
| Virtuose, a virtual community open source engine for integrating civic networks and digital cities M Benini, F De Cindio, L Sonnante International Digital Cities Workshop, 217-232, 2003 | 10 | 2003 |
| A mathematical framework for risk assessment M Benini, S Sicari New Technologies, Mobility and Security, 459-469, 2007 | 9 | 2007 |
| More than Relata Refero: Representing the Various Roles of Reported Speech in Argumentative Discourse F Gobbo, M Benini, JHM Wagemans Languages 7 (1), 59, 2022 | 8 | 2022 |
| From ancient to modern computing: a history of information hiding F Gobbo, M Benini IEEE Annals of the History of Computing 35 (3), 33-39, 2013 | 8 | 2013 |
| VICE: E-Learning nell’era del semantic web M Acquaviva, M Benini Atti di EXPO E-Learning, 2004 | 8 | 2004 |
| Verification and Analysis of Programs in a Constructive Environment M Benini PhD thesis, Dipartimento di Scienze dell’Informazione, Universita di Milano …, 1999 | 8 | 1999 |
| Why zombies cannot write significant source code: The Knowledge Game and the art of computer programming F Gobbo, M Benini Journal of Experimental & Theoretical Artificial Intelligence 27 (1), 37-50, 2015 | 6 | 2015 |
| Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars F Gobbo, M Benini Computational Dependency Theory, 113-135, 2013 | 6 | 2013 |
| Short-Term Content Adaptation in Web-based Learning Systems. M Acquaviva, M Benini, A Trombetta Web Technologies, Applications, and Services, 198-203, 2005 | 6 | 2005 |
| A constructive modeling language for object oriented information systems M Ornaghi, M Benini, M Ferrari, C Fiorentini, A Momigliano CLASE 5, 55-75, 2005 | 6 | 2005 |
| Risk assessment: intercepting VoIP calls M Benini, S Sicari Proceedings of the VIPSI 2007 Venice Conf, 2007 | 5 | 2007 |
| Program abstraction in a higher-order logic framework M Benini, S Kalvala, D Nowotka Theorem Proving in Higher Order Logics: 11th International Conference …, 1998 | 5 | 1998 |
| Computer Arithmetic: Logic, Calculation, and Rewriting M Benini, D Nowotka, C Pulley Research Studies Press Ltd. 7, 77-93, 1998 | 5 | 1998 |
| The collection method in second-order intuitionistic logic M Benini submitted to Annals of Pure and Applied Logic, 1997 | 5 | 1997 |
Federico GobboACLC, University of AmsterdamVerified email at uva.nl
