Liam O'Reilly
Orcid: 0000-0002-4894-2158
According to our database1,
Liam O'Reilly
authored at least 10 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Concurr. Comput. Pract. Exp., 2024
Proceedings of the Twelfth International Symposium on Computing and Networking, 2024
2020
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
2019
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
2012
PhD thesis, 2012
2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
2008
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008