Marco Benini

24 papers C 2Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
GrapHisto: A Robust Representation of Graph-Structured Data for Graph Convolutional Networks.
Neural Process. Lett.
Marco Benini, Pietro Bongini, Edmondo Trentin
2022 — conf
A Novel Representation of Graphical Patterns for Graph Convolution Networks.
ANNPR
Marco Benini, Pietro Bongini, Edmondo Trentin
2021 — conf
Complex Arguments in Adpositional Argumentation.
AI³@AI*IA
Federico Gobbo, Marco Benini, Jean H. M. Wagemans
2020 — conf
A General Syntax for Nonrecursive Higher Inductive Types.
ICTCS
Marco Girardi, Roberto Zunino, Marco Benini
2019 J jnl
Annotation with adpositional argumentation.
Intelligenza Artificiale
Federico Gobbo, Marco Benini, Jean H. M. Wagemans
2019 J jnl
Well quasi orders in a categorical setting.
Arch. Math. Log.
Marco Benini, Roberta Bonacina
2015 J jnl
Why zombies cannot write significant source code: The Knowledge Game and the art of computer programming.
J. Exp. Theor. Artif. Intell.
Federico Gobbo, Marco Benini
2014 C conf
Algorithms and Their Explanations.
CiE
Marco Benini, Federico Gobbo
2013 J jnl
From Ancient to Modern Computing: A History of Information Hiding.
IEEE Ann. Hist. Comput.
Federico Gobbo, Marco Benini
2013 J jnl
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism.
CoRR
Marco Benini
2011 — conf
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars.
DepLing
Federico Gobbo, Marco Benini
2008 J jnl
Assessing the risk of intercepting VoIP calls.
Comput. Networks
Marco Benini, Sabrina Sicari
2008 J jnl
Risk assessment in practice: A real case study.
Comput. Commun.
Marco Benini, Sabrina Sicari
2008 C conf
Towards more secure systems: how to combine expert evaluations.
SecureComm
Marco Benini, Sabrina Sicari
2005 — conf
A Constructive Object Oriented Modeling Language for Information Systems.
CLASE
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
2005 — conf
A model for short-term content adaptation.
WWW (Special interest tracks and posters)
Marco Benini, Alberto Trombetta, Michela Acquaviva
2005 — conf
Short-Term Content Adaptation in Web-based Learning Systems.
Web Technologies, Applications, and Services
Michela Acquaviva, Marco Benini, Alberto Trombetta
2005 — conf
Towards Short Term Content Adaptation.
ELeGI Conference
Michela Acquaviva, Marco Benini
2003 — conf
Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities.
Digital Cities
Marco Benini, Fiorella de Cindio, Leonardo Sonnante
2001 J jnl
How to Avoid the Formal Verification of a Theorem Prover.
Log. J. IGPL
Alessandro Avellone, Marco Benini, Ugo Moscato
2000 — conf
Representing Object Code.
Computational Logic
Marco Benini
1998 — conf
Computer Arithmetic: Logic, Calculus and Rewriting.
FroCoS
Marco Benini, Dirk Nowotka, Carl Pulley
1998 — conf
Program Abstraction in a Higher-Order Logic Framework.
TPHOLs
Marco Benini, Sara Kalvala, Dirk Nowotka
1995 J jnl
Linearity of Client/Server Systems.
Bull. EATCS
G. Degli Antoni, D. Cabianca, M. Vaccari, Marco Benini, F. Casablanca