Book
Journal
-
M. Benini, S. Sicari,
A Mathematical Derivation of a Risk Assessment Procedure,
IAENG International Journal of Applied Mathematics, 40(2), pp. 52-62 (2010).
-
M. Benini, S. Sicari,
Risk
Assessment via Partial Orders, Advances in
Computer Science and Engineering 3(1), pp. 19-46
(2009).
-
M. Benini, S. Sicari,
Risk
Assessment in Practice: A Real Case Study,
Computer Communications 31(15), pp. 3691-3699
(2008).
-
M. Benini, S. Sicari,
Assessing
the risk to intercept VoIP calls,
Journal of Computer Networks 52(12), pp. 2432-2446
(2008).
-
M. Ornaghi, M. Benini, M. Ferrari,
C. Fiorentini, A. Momigliano,
A
Constructive Object Oriented Modeling Language for Information
Systems,
Electronic Notes in Theoretical Computer Science 153(1),
pp. 55-75 (2006).
-
M. Acquaviva, M. Benini,
Strategie
adattive nei web-based learning systems: un approccio
comparativo, WBT.it (2006).
-
M. Acquaviva, M. Benini,
Towards
Short Term Content Adaptation, eWiC - BCS
(2005).
-
M. Acquaviva, M. Benini,
VICE:
E-Learning nell'era del Semantic Web,
WBT.it (2005).
-
A. Avellone, M. Benini,
U. Moscato,
How
to Avoid the Verification of a Theorem Prover,
Logical Journal of the IGPL 9(1), pp. 7-31 (2001).
-
M. Benini,
Strong Constructivity of Second Order
Intuitionistic Arithmetic, Journal of Symbolic Logic
Bullettin (1999).
-
G. Degli Antoni, D. Cabianca,
F. Casablanca, M. Benini, M. Vaccari,
Linearity of Client/Server
Systems, European Association on Theoretical Computer
Science Bullettin 57 (1995).
- ...
Conference
-
F. Gobbo, M. Benini,
A Constructive Mathematics approach
for Natural Language formal grammars,
Computing and Philosophy, E-CAP (2009).
-
M. Benini,
Formal Connected Basic Pairs,
Advances in Constructive Topology and Logical
Foundations (2008).
-
M. Benini, S. Sicari,
Towards
More Secure Systems: How to Combine Expert
Evaluations, SecureComm (2008).
-
M. Benini, S. Sicari,
A
Power Conservative Underwater Localization
Algorithm, IEEE Gold (2008).
-
M. Benini, G.A. Lanzarone,
A. Spiriti,
Navigazione
tematica di un museo virtuale: una soluzione
mirata, GARR Network Humanitatis (2007).
-
M. Benini, F. Gobbo,
Virtual
Communities as Narrative Processes,
C&T- Workshop Between Ontologies and
Folksonomies (2007).
-
M. Benini, S. Sicari,
A
Mathematical Framework for Risk
Assessment, NTMS2007 (2007).
-
M. Benini, S. Sicari,
Risk
Assessment: Intercepting VoIP Calls,
V-IPSI 2007 Venice (2007).
-
M. Acquaviva, M. Benini,
Strategie adattive nei web-based
learning systems: un approccio comparativo, EXPO
E-Learning 05 (2005).
-
M. Acquaviva, M. Benini,
Adaptive
Strategies in Web-Based Learning Systems: A
Comparative Survey, INTERACT2005
(2005).
-
M. Acquaviva, M. Benini,
A. Trombetta,
Short-Term
Content Adaptation in Web-Based Learning
Systems, WTAS2005 (2005).
-
M. Acquaviva, M. Benini,
A. Trombetta,
A
Model for Short Term Content Adaptation,
WWW2005 (2005).
-
M. Ornaghi, M. Benini, M. Ferrari,
C. Fiorentini, A. Momigliano,
A
Constructive Modeling Language for Object Oriented
Information Systems, CLASE 05 (2005).
-
M. Acquaviva, M. Benini,
Towards Short Term Content
Adaptation, First ELeGI Int. Conf. on Advanced
Technology for Enhanced Learning (2005).
-
M. Acquaviva, M. Benini,
VICE: E-Learning nell'era del
Semantic Web, EXPO E-Learning 04 (2004).
-
M. Benini, F. De Cindio,
L. Sonnante,
Virtuose, a VIRTual CommUnity Open
Source Engine for integrating civic networks and digital
cities, C&T- Workshop Digital Cities
(2003).
-
M. Benini, F. De Cindio,
L. Sonnante,
VIRTUOSE: An open-source Virtual
Community Server, IIIrd Global Congress on
Community Networking in the Digital Era (2002).
-
M. Benini, F. De Cindio,
L. Sonnante,
VIRTUOSE: a VIRTual CommUnity Open
Source Engine, DIAC (2002).
-
M. Benini,
Representing Object Code,
CL2000 (2000).
-
M. Benini,
The Collection Method in a Second
Order Perspective, Intl. Conf. in Memoriam
Pierangelo Miglioli (2000).
-
A. Avellone, M. Benini,
U. Moscato,
Tactics for Translation of Tableau
in Natural Deduction, TABLEAUX 99 (1999).
-
A. Avellone, M. Benini,
D. Nowotka,
Constructive Methods in Automatic
Analysis of Correctness Proofs, LOPSTR 99
(1999).
-
M. Benini,
The Collection Method in Second
Order Intuitionistic Logic, Logic Colloquium 98
(1998).
-
M. Benini, D. Nowotka,
C. Pulley,
Computer Arithmetic: Logic,
Calculation and Rewriting, FROCOS 98
(1998).
-
M. Benini, S. Kalvala,
D. Nowotka,
Program Abstraction in a Higher
Order Logic Framework, TPHOL 98 (1998).
-
M. Benini, S. Kalvala, D. Nowotka,
C. Pulley,
HOLLY:
An Approach to Object Code Verification,
Intl. Workshop British Council on Theoretical
Computer Science (1998).
-
M. Benini,
Sicurezza ed Internet: come
affrontare il problema su Linux, parte II, I2U
(1996).
-
M. Benini,
Sicurezza ed Internet: come
affrontare il problema su Linux, I2U
(1995).
-
M. Benini,
Barendregt's
Lambda Cube in Isabelle, IUG (1995).
- ...
Dissertation
Technical Report
-
M. Benini,
Validating Object Code:
strcmp, Dip. Sc. Inf. Tech. Rep. 249-00
(2000).
-
A. Avellone, M. Benini,
U. Moscato,
Translating Tableaux into Natural
Deduction: Applications to Theorem Proving,
Dip. Sc. Inf. Tech. Rep. 240-99 (1999).
-
M. Benini,
The Collection Method in
Second-Order Intuitionistic Logic,
Dip. Sc. Inf. Tech. Rep. 237-99 (1999).
-
M. Benini,
Formal Verification of Hardware
using HOL, Note del Polo 11, Crema (1998).
-
M. Benini,
Formal Verification of Hardware
Circuits using HOL, Tech. Rep. SGS-Thomson
(1996).
-
M. Benini, M. Vaccari,
Una dimostrazione di correttezza
per il circuito SCRAMBLER nella versione
parallela, Dip. Sc. Inf. Tech. Rep. (1994).
-
M. Vaccari, M. Benini,
G. Breviario, M. Bruschi,
Computer Aided Logical Deduction:
Specification of the SDL Language and Notes for its
Implementation,
Dip. Sc. Inf. Tech. Rep. (1993).
-
M. Benini, G. Breviario,
M. Bruschi, M. Vaccari,
A Language for the Description and
Implementation of Automated Theorem Provers,
Dip. Sc. Inf. Tech. Rep. (1993).
- ...
Book
Journal
Conference
Dissertations
Technical Reports
Curriculum Vitae
