Nicholas Coughlin
Orcid: 0000-0001-8758-0666
According to our database1,
Nicholas Coughlin
authored at least 10 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Static Analysis - 31st International Symposium, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Formal Aspects Comput., June, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Sci. Comput. Program., 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019