Serverification of molecular modeling applications: the Rosetta Online Server that Includes Everyone (ROSIE) S Lyskov, FC Chou, SÓ Conchúir, BS Der, K Drew, D Kuroda, J Xu, ... PloS one 8 (5), 2013 | 408 | 2013 |
Flex ddG: Rosetta Ensemble-Based Estimation of Changes in Protein–Protein Binding Affinity upon Mutation KA Barlow, S Ó Conchúir, S Thompson, P Suresh, JE Lucas, M Heinonen, ... The Journal of Physical Chemistry B 122 (21), 5389-5399, 2018 | 199 | 2018 |
A web resource for standardized benchmark datasets, metrics, and Rosetta protocols for macromolecular modeling and design SÓ Conchúir, KA Barlow, RA Pache, N Ollikainen, K Kundert, MJ O'Meara, ... PLOS one 10 (9), 2015 | 85 | 2015 |
Determination of ubiquitin fitness landscapes under different chemical stresses in a classroom setting D Mavor, K Barlow, S Thompson, BA Barad, AR Bonny, CL Cario, ... Elife 5, e15802, 2016 | 84 | 2016 |
Prediction of mutational tolerance in HIV-1 protease and reverse transcriptase using flexible backbone protein design E Humphris-Narayanan, E Akiva, R Varela, SÓ Conchúir, T Kortemme PLoS computational biology 8 (8), 2012 | 25 | 2012 |
Extending chemical perturbations of the ubiquitin fitness landscape in a classroom setting reveals new constraints on sequence tolerance D Mavor, KA Barlow, D Asarnow, Y Birman, D Britain, W Chen, EM Green, ... Biology open 7 (7), 2018 | 20 | 2018 |
Milner’s lambda calculus with partial substitutions D Kesner, SO Conchúir Available on http://www. pps. jussieu. fr/∼ kesner/papers, 2008 | 17* | 2008 |
Λsub as an explicit substitution calculus SÓ Conchúir Technical Report TR-2006-95, IT-Universitetet, København, 2006 | 7 | 2006 |
Proving PSN by simulating non-local substitution with local substitution SO Conchúir 3rd Int. Work. on Higher-Order Rewriting (HOR’06), 37-42, 2006 | 7 | 2006 |
Kind bigraphs-static theory S O’Conchuir Thecnical Report TCD-CS-2005-36, Trinity College Dublin, Computer Science …, 2005 | 7 | 2005 |
Kind bigraphs SÓ Conchúir Electronic Notes in Theoretical Computer Science 225, 361-377, 2009 | 4 | 2009 |
Proving PSN after ruining a perfectly good calculus SO Conchúir Technical Report TCD-CS-2006-49, Trinity College Dublin, 2006 | 2 | 2006 |
Proper diagrams for constructing presheaf-valued limits S O’Conchuir to appear. Technical report, Trinity College Dublin, 2005 | | 2005 |
A bigraphical model of the simply typed λ-calculus SÓ Conchúir | | |