Marco Benini

Orcid: 0000-0003-4680-5982

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Novel Representation of Graphical Patterns for Graph Convolution Networks.
Proceedings of the Artificial Neural Networks in Pattern Recognition, 2022

2021
Complex Arguments in Adpositional Argumentation.
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.
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019
Annotation with adpositional argumentation.
Intelligenza Artificiale, 2019

Well quasi orders in a categorical setting.
Arch. Math. Log., 2019

2015
Why zombies cannot write significant source code: The Knowledge Game and the art of computer programming.
J. Exp. Theor. Artif. Intell., 2015

2014
Algorithms and Their Explanations.
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.
CoRR, 2013

From Ancient to Modern Computing: A History of Information Hiding.
IEEE Ann. Hist. Comput., 2013

2011
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars.
Proceedings of the Computational Dependency Theory [papers from the International Conference on Dependency Linguistics, 2011

2008
Risk assessment in practice: A real case study.
Comput. Commun., 2008

Assessing the risk of intercepting VoIP calls.
Comput. Networks, 2008

Towards more secure systems: how to combine expert evaluations.
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.
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

A model for short-term content adaptation.
Proceedings of the 14th international conference on World Wide Web, 2005

Short-Term Content Adaptation in Web-based Learning Systems.
Proceedings of the IASTED International Conference on Web Technologies, 2005

Towards Short Term Content Adaptation.
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.
Proceedings of the Digital Cities III, 2003

2001
How to Avoid the Formal Verification of a Theorem Prover.
Log. J. IGPL, 2001

2000
Representing Object Code.
Proceedings of the Computational Logic, 2000

1998
Program Abstraction in a Higher-Order Logic Framework.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Computer Arithmetic: Logic, Calculus and Rewriting.
Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1995
Linearity of Client/Server Systems.
Bull. EATCS, 1995


  Loading...