Kind Bigraphs. - Shane Ó Conchúir (MFCSIT, 2006)

Explicit Substitution and Sorted Bigraphs - Shane Ó Conchúir (2009)

Prediction of Mutational Tolerance in HIV-1 Protease and Reverse Transcriptase Using Flexible Backbone Protein Design. - Elisabeth Humphris-Narayanan; Eyal Akiva; Rocco Varela; Shane Ó Conchúir; Tanja Kortemme (PLoS Comput. Biol., 2012)

Milner's Lambda-Calculus with Partial Substitutions. - Delia Kesner; Shane Ó Conchúir (CoRR, 2023)