Seguir
Marco Benini
Título
Citado por
Citado por
Año
Assessing the risk of intercepting VoIP calls
M Benini, S Sicari
Computer Networks 52 (12), 2432-2446, 2008
312008
Risk assessment in practice: A real case study
M Benini, S Sicari
Computer communications 31 (15), 3691-3699, 2008
292008
Constructive adpositional grammars: foundations of constructive linguistics
M Benini, F Gobbo
Cambridge Scholars Publishing, 2011
252011
The minimal levels of abstraction in the history of modern computing
F Gobbo, M Benini
Philosophy & Technology 27, 327-343, 2014
182014
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
132006
Annotation with adpositional argumentation
F Gobbo, M Benini, JHM Wagemans
Intelligenza Artificiale 13 (2), 155-172, 2019
122019
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
102003
A mathematical framework for risk assessment
M Benini, S Sicari
New Technologies, Mobility and Security, 459-469, 2007
92007
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
82022
Dependency and valency. from structural syntax to constructive adpositional grammars
F Gobbo, M Benini
Computational Dependency Theory 258, 113, 2013
82013
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
82013
VICE: E-Learning nell'era del Semantic Web
M Acquaviva, M Benini
72004
Verification and Analysis of Programs in a Constructive Environment
M Benini
PhD thesis, Dipartimento di Scienze dell’Informazione, Universita di Milano …, 1999
71999
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
62015
Short-Term Content Adaptation in Web-based Learning Systems.
M Acquaviva, M Benini, A Trombetta
Web Technologies, Applications, and Services, 198-203, 2005
62005
A constructive modeling language for object oriented information systems
M Ornaghi, M Benini, M Ferrari, C Fiorentini, A Momigliano
CLASE 5, 55-75, 2005
62005
Risk assessment: intercepting VoIP calls
M Benini, S Sicari
Proceedings of the VIPSI 2007 Venice Conference.(March 2007) To appear, 2007
52007
Computer Arithmetic: Logic, Calculation, and Rewriting
M Benini, D Nowotka, C Pulley
Research Studies Press Ltd. 7, 77-93, 1998
51998
Program abstraction in a higher-order logic framework
M Benini, S Kalvala, D Nowotka
Theorem Proving in Higher Order Logics: 11th International Conference …, 1998
41998
Towards more secure systems: How to combine expert evaluations
M Benini, S Sicari
Proceedings of the 4th international conference on Security and privacy in …, 2008
32008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20