| Multilevel proteomics reveals host perturbations by SARS-CoV-2 and SARS-CoV A Stukalov, V Girault, V Grass, O Karayel, V Bergant, C Urban, DA Haas, ... Nature 594 (7862), 246-252, 2021 | 674 | 2021 |
| Nominal unification C Urban, AM Pitts, MJ Gabbay Theoretical Computer Science 323 (1-3), 473-497, 2004 | 282 | 2004 |
| Nominal techniques in Isabelle/HOL C Urban Journal of Automated Reasoning 40, 327-356, 2008 | 239 | 2008 |
| Ancient Egyptian mummy genomes suggest an increase of Sub-Saharan African ancestry in post-Roman periods VJ Schuenemann, A Peltzer, B Welte, WP Van Pelt, M Molak, CC Wang, ... Nature communications 8 (1), 1-11, 2017 | 228 | 2017 |
| A protein-interaction network of interferon-stimulated genes extends the innate immune system landscape P Hubel, C Urban, V Bergant, WM Schneider, B Knauer, A Stukalov, ... Nature immunology 20 (4), 493-502, 2019 | 171 | 2019 |
| Ancient genomes reveal a high diversity of Mycobacterium leprae in medieval Europe VJ Schuenemann, C Avanzi, B Krause-Kyora, A Seitz, A Herbig, S Inskip, ... PLoS pathogens 14 (5), e1006997, 2018 | 158 | 2018 |
| Discovery of Potent and Selective Agonists for the Free Fatty Acid Receptor 1 (FFA1/GPR40), a Potential Target for the Treatment of Type II Diabetes E Christiansen, C Urban, N Merten, K Liebscher, KK Karlsen, A Hamacher, ... Journal of medicinal chemistry 51 (22), 7061-7064, 2008 | 154 | 2008 |
| Nominal techniques in Isabelle/HOL C Urban, C Tasson Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 154 | 2005 |
| Purinergic receptors influence the differentiation of human mesenchymal stem cells N Zippel, CA Limbach, N Ratajski, C Urban, C Luparello, A Pansky, ... Stem cells and development 21 (6), 884-900, 2012 | 149 | 2012 |
| Classical logic and computation C Urban University of Cambridge, 2000 | 141 | 2000 |
| αProlog: A Logic Programming Language with Names, Binding and α-Equivalence J Cheney, C Urban International Conference on Logic Programming, 269-283, 2004 | 122 | 2004 |
| Identification of a potent and selective free fatty acid receptor 1 (FFA1/GPR40) agonist with favorable physicochemical and in vitro ADME properties E Christiansen, C Urban, M Grundmann, ME Due-Hansen, ... Journal of medicinal chemistry 54 (19), 6691-6703, 2011 | 91 | 2011 |
| Nominal logic programming J Cheney, C Urban ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 1-47, 2008 | 91 | 2008 |
| Barendregt’s variable convention in rule inductions C Urban, S Berghofer, M Norrish Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 85 | 2007 |
| Strong normalisation of cut-elimination in classical logic C Urban, GM Bierman Fundamenta Informaticae 45 (1-2), 123-155, 2001 | 83 | 2001 |
| Discovery of TUG-770: a highly potent free fatty acid receptor 1 (FFA1/GPR40) agonist for treatment of type 2 diabetes E Christiansen, SVF Hansen, C Urban, BD Hudson, ET Wargent, ... ACS medicinal chemistry letters 4 (5), 441-445, 2013 | 80 | 2013 |
| Nominal unification C Urban, A Pitts, M Gabbay Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 74 | 2003 |
| Structure− activity study of dihydrocinnamic acids and discovery of the potent FFA1 (GPR40) agonist TUG-469 E Christiansen, ME Due-Hansen, C Urban, N Merten, M Pfleiderer, ... ACS Medicinal Chemistry Letters 1 (7), 345-349, 2010 | 73 | 2010 |
| Sila-Trifluperidol, a Silicon Analogue of the Dopamine (D2) Receptor Antagonist Trifluperidol: Synthesis and Pharmacological Characterization R Tacke, B Nguyen, C Burschka, WP Lippert, A Hamacher, C Urban, ... Organometallics 29 (7), 1652-1660, 2010 | 71 | 2010 |
| Multifrequency EPR study and density functional g-tensor calculations of persistent organorhenium radical complexes S Frantz, H Hartmann, N Doslik, M Wanner, W Kaim, HJ Kümmerer, ... Journal of the American Chemical Society 124 (35), 10563-10571, 2002 | 65 | 2002 |
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
