Marco Benini
Orcid: 0000-0003-4680-5982
According to our database1,
Marco Benini
authored at least 23 papers
between 1995 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Artificial Neural Networks in Pattern Recognition, 2022
2021
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
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
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
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
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
Proceedings of the 4th International ICST Conference on Security and Privacy in Communication Networks, 2008
2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
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
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
2000
1998
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