Follow
Marco Benini
Title
Cited by
Cited by
Year
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
242011
The minimal levels of abstraction in the history of modern computing
F Gobbo, M Benini
Philosophy & Technology 27, 327-343, 2014
182014
Annotation with adpositional argumentation
F Gobbo, M Benini, JHM Wagemans
Intelligenza Artificiale 13 (2), 155-172, 2019
132019
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
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
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
Atti di EXPO E-Learning, 2004
82004
Verification and Analysis of Programs in a Constructive Environment
M Benini
PhD thesis, Dipartimento di Scienze dell’Informazione, Universita di Milano …, 1999
81999
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
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars
F Gobbo, M Benini
Computational Dependency Theory, 113-135, 2013
62013
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 Conf, 2007
52007
Program abstraction in a higher-order logic framework
M Benini, S Kalvala, D Nowotka
Theorem Proving in Higher Order Logics: 11th International Conference …, 1998
51998
Computer Arithmetic: Logic, Calculation, and Rewriting
M Benini, D Nowotka, C Pulley
Research Studies Press Ltd. 7, 77-93, 1998
51998
The collection method in second-order intuitionistic logic
M Benini
submitted to Annals of Pure and Applied Logic, 1997
51997
The system can't perform the operation now. Try again later.
Articles 1–20