Stefano M. Nicoletti
Orcid: 0000-0001-5522-4798
According to our database1,
Stefano M. Nicoletti
authored at least 11 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.
CoRR, 2024
2023
Comput. Sci. Rev., November, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Proceedings of the Model Checking Software - 27th International Symposium, 2021