Marco Benini

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 5

Top Topics

Quantifier Free

Authorship Attribution

Argumentation Skills

Concise Representation

Top Venues

IEEE Ann. Hist. Comput.

Intelligenza Artificiale

Publications

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