Marco Benini

According to our database, Marco Benini authored at least 23 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

A Novel Representation of Graphical Patterns for Graph Convolution Networks.

Marco Benini, Pietro Bongini, Edmondo Trentin

Proceedings of the Artificial Neural Networks in Pattern Recognition, 2022

2021

Complex Arguments in Adpositional Argumentation.

Federico Gobbo, Marco Benini, Jean H. M. Wagemans

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

A General Syntax for Nonrecursive Higher Inductive Types.

Marco Girardi, Roberto Zunino, Marco Benini

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019

Annotation with adpositional argumentation.

Federico Gobbo, Marco Benini, Jean H. M. Wagemans

Intelligenza Artificiale, 2019

Well quasi orders in a categorical setting.

Marco Benini, Roberta Bonacina

Arch. Math. Log., 2019

2015

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

2014

Algorithms and Their Explanations.

Marco Benini, Federico Gobbo

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism.

Marco Benini

CoRR, 2013

From Ancient to Modern Computing: A History of Information Hiding.

Federico Gobbo, Marco Benini

IEEE Ann. Hist. Comput., 2013

2011

Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars.

Federico Gobbo, Marco Benini

Proceedings of the Computational Dependency Theory [papers from the International Conference on Dependency Linguistics, 2011

2008

Risk assessment in practice: A real case study.

Marco Benini, Sabrina Sicari

Comput. Commun., 2008

Assessing the risk of intercepting VoIP calls.

Marco Benini, Sabrina Sicari

Comput. Networks, 2008

Towards more secure systems: how to combine expert evaluations.

Marco Benini, Sabrina Sicari

Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008

2005

A Constructive Object Oriented Modeling Language for Information Systems.

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

A model for short-term content adaptation.

Marco Benini, Alberto Trombetta, Michela Acquaviva

Proceedings of the 14th international conference on World Wide Web, 2005

Short-Term Content Adaptation in Web-based Learning Systems.

Michela Acquaviva, Marco Benini, Alberto Trombetta

Proceedings of the IASTED International Conference on Web Technologies, 2005

Towards Short Term Content Adaptation.

Michela Acquaviva, Marco Benini

Proceedings of the 1st International ELeGI Conference on Advanced Technology for Enhanced Learning, 2005

2003

Virtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities.

Marco Benini, Fiorella de Cindio, Leonardo Sonnante

Proceedings of the Digital Cities III, 2003

2001

How to Avoid the Formal Verification of a Theorem Prover.

Alessandro Avellone, Marco Benini, Ugo Moscato

Log. J. IGPL, 2001

2000

Representing Object Code.

Marco Benini

Proceedings of the Computational Logic, 2000

1998

Program Abstraction in a Higher-Order Logic Framework.

Marco Benini, Sara Kalvala, Dirk Nowotka

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Computer Arithmetic: Logic, Calculus and Rewriting.

Marco Benini, Dirk Nowotka, Carl Pulley

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1995

Linearity of Client/Server Systems.

G. Degli Antoni, D. Cabianca, M. Vaccari, Marco Benini, F. Casablanca

Bull. EATCS, 1995