Linearity of Client/Server Systems. - G. Degli Antoni; D. Cabianca; M. Vaccari; Marco Benini; F. Casablanca (Bull. EATCS, 1995)

Computer Arithmetic: Logic, Calculus and Rewriting. - Marco Benini; Dirk Nowotka; Carl Pulley (FroCoS, 1998)

Program Abstraction in a Higher-Order Logic Framework. - Marco Benini; Sara Kalvala; Dirk Nowotka (TPHOLs, 1998)

Representing Object Code. - Marco Benini (Computational Logic, 2000)

How to Avoid the Formal Verification of a Theorem Prover. - Alessandro Avellone; Marco Benini; Ugo Moscato (Log. J. IGPL, 2001)

Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities. - Marco Benini; Fiorella de Cindio; Leonardo Sonnante (Digital Cities, 2003)

Towards Short Term Content Adaptation. - Michela Acquaviva; Marco Benini (ELeGI Conference, 2005)

Short-Term Content Adaptation in Web-based Learning Systems. - Michela Acquaviva; Marco Benini; Alberto Trombetta (Web Technologies, Applications, and Services, 2005)

A model for short-term content adaptation. - Marco Benini; Alberto Trombetta; Michela Acquaviva (WWW (Special interest tracks and posters), 2005)

A Constructive Object Oriented Modeling Language for Information Systems. - Mario Ornaghi; Marco Benini; Mauro Ferrari 002; Camillo Fiorentini; Alberto Momigliano (CLASE, 2005)

Towards more secure systems: how to combine expert evaluations. - Marco Benini; Sabrina Sicari (SecureComm, 2008)

Assessing the risk of intercepting VoIP calls. - Marco Benini; Sabrina Sicari (Comput. Networks, 2008)

Risk assessment in practice: A real case study. - Marco Benini; Sabrina Sicari (Comput. Commun., 2008)

Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars. - Federico Gobbo; Marco Benini (DepLing, 2011)

From Ancient to Modern Computing: A History of Information Hiding. - Federico Gobbo; Marco Benini (IEEE Ann. Hist. Comput., 2013)

Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism. - Marco Benini (CoRR, 2013)

Algorithms and Their Explanations. - Marco Benini; Federico Gobbo (CiE, 2014)

Why zombies cannot write significant source code: The Knowledge Game and the art of computer programming. - Federico Gobbo; Marco Benini (J. Exp. Theor. Artif. Intell., 2015)

Well quasi orders in a categorical setting. - Marco Benini; Roberta Bonacina (Arch. Math. Log., 2019)

Annotation with adpositional argumentation. - Federico Gobbo; Marco Benini; Jean H. M. Wagemans (Intelligenza Artificiale, 2019)

A General Syntax for Nonrecursive Higher Inductive Types. - Marco Girardi; Roberto Zunino; Marco Benini (ICTCS, 2020)

Complex Arguments in Adpositional Argumentation. - Federico Gobbo; Marco Benini; Jean H. M. Wagemans (AI³@AI*IA, 2021)

A Novel Representation of Graphical Patterns for Graph Convolution Networks. - Marco Benini; Pietro Bongini; Edmondo Trentin (ANNPR, 2022)

GrapHisto: A Robust Representation of Graph-Structured Data for Graph Convolutional Networks. - Marco Benini; Pietro Bongini; Edmondo Trentin (Neural Process. Lett., 2025)