Marco Benini - Citegraph

Author Info

Name	Affiliation	Papers
MARCO BENINI	Università degli Studi di Milano Dipartimento di Scienze dell’Informazione via Comelico 39/41 20135 Milano Italy	13
Collaborators	Citations	PageRank
15	16	4.85
Referers	Referees	References
41	164	94

Search Limit

100164

Publications (13 rows)

Collaborators (15 rows)

Referers (41 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Well quasi orders in a categorical setting	0	0.34	2019
Algorithms and Their Explanations.	0	0.34	2014
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism.	0	0.34	2013
Risk assessment in practice: A real case study	5	0.50	2008
Towards more secure systems: how to combine expert evaluations.	0	0.34	2008
A Constructive Object Oriented Modeling Language for Information Systems	5	0.46	2006
Short-Term Content Adaptation in Web-based Learning Systems	1	0.38	2005
Towards Short Term Content Adaptation	0	0.34	2005
A model for short-term content adaptation	1	0.37	2005
Virtuose, a VIRTual community open source engine for integrating civic networks and digital cities	1	0.36	2003
How to Avoid the Formal Verification of a Theorem Prover	0	0.34	2001
Representing Object Code	1	0.35	2000
Program Abstraction in a Higher-Order Logic Framework	2	0.41	1998

1