Nicolas Mazzocchi
Orcid: 0000-0001-6425-5369Affiliations:
- IMDEA Software Institute, Madrid, Spain
According to our database1,
Nicolas Mazzocchi
authored at least 11 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
J. Comput. Syst. Sci., 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019