Shane Ó Conchúir

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 1

Top Topics

Database Query Languages

Predicate Calculus

Top Venues

Publications

Delia Kesner, Shane Ó Conchúir
Milner's Lambda-Calculus with Partial Substitutions. CoRR (2023)
Elisabeth Humphris-Narayanan, Eyal Akiva, Rocco Varela, Shane Ó Conchúir, Tanja Kortemme
Prediction of Mutational Tolerance in HIV-1 Protease and Reverse Transcriptase Using Flexible Backbone Protein Design. PLoS Comput. Biol. 8 (8) (2012)
Shane Ó Conchúir
Kind Bigraphs. Electron. Notes Theor. Comput. Sci. 225 (2009)