Simone Martini
Orcid: 0000-0002-9834-1940Affiliations:
- University of Bologna, Italy
According to our database1,
Simone Martini
authored at least 47 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.unibo.it
On csauthors.net:
Bibliography
2024
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics.
Informatics Educ., 2024
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024
2023
Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-031-34143-4, 2023
2022
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
2021
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
ACM Trans. Comput. Log., 2021
Informatics Educ., 2021
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021
The Online Course Was Great: I Would Attend It Face-to-Face: The Good, The Bad, and the Ugly of IT in Emergency Remote Teaching of CS1.
Proceedings of the GoodIT '21: Conference on Information Technology for Social Good, 2021
2020
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.
CoRR, 2020
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2018
Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018
2017
2016
Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract.
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
2015
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015
2012
Log. Methods Comput. Sci., 2012
2010
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84882-914-5, 2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010
2009
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009
2008
2006
Optimizing optimal reduction: A type inference algorithm for elementary affine logic.
ACM Trans. Comput. Log., 2006
Proceedings of the Logical Approaches to Computational Barriers, 2006
2004
Theor. Comput. Sci., 2004
2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
1998
1997
1994
1993
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
J. Syst. Softw., 1993
Formal Aspects Comput., 1993
1992
Math. Struct. Comput. Sci., 1992
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs.
Proceedings of the Logic Programming, 1989
1988
1987
Proceedings of the Category Theory and Computer Science, 1987
1986
Theor. Comput. Sci., 1986
1984
Proceedings of the STACS 84, 1984