| 2,000-year-old pathogen genomes reconstructed from mummies provide insights into the state of health of ancient Egyptians V Schünemann, J Neukamm, S Pfrengle, M Molak, A Seitz, M Francken, ... American journal of physical anthropology-New York, NY [ua]: Wiley, 1918 171 …, 2020 | | 2020 |
| 2000-year-old pathogen genomes reconstructed from metagenomic analysis of Egyptian mummified individuals J Neukamm, S Pfrengle, M Molak, A Seitz, M Francken, P Eppenberger, ... BMC biology 18, 1-18, 2020 | 53 | 2020 |
| A formal model and correctness proof for an access control policy framework C Wu, X Zhang, C Urban International Conference on Certified Programs and Proofs, 292-307, 2013 | 4 | 2013 |
| A formal treatment of the Barendregt Variable Convention in rule inductions C Urban, M Norrish Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about …, 2005 | 25 | 2005 |
| A formalisation of the Myhill-Nerode theorem based on regular expressions C Wu, X Zhang, C Urban Journal of automated reasoning 52, 451-480, 2014 | 35* | 2014 |
| A head-to-head comparison of de Bruijn indices and names S Berghofer, C Urban Electronic Notes in Theoretical Computer Science 174 (5), 53-67, 2007 | 57 | 2007 |
| A Mathcad primer for physical chemistry» show extra info. MP Cady, CA Trapp, HR Varian, S Wagon, O Barndorff-Nielsen, ... Monographs on statistics and applied probability (80), 2009 | | 2009 |
| A new foundation for Nominal Isabelle B Huffman, C Urban Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010 | 33 | 2010 |
| 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 | 156 | 2019 |
| A recursion combinator for nominal datatypes implemented in Isabelle/HOL C Urban, S Berghofer Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 52 | 2006 |
| 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 | 217 | 2017 |
| Ancient genomes reveal a high diversity of Mycobacterium leprae in medieval Europe MG Belcastro, J Krause, S Cole, K Nieselt, A Beniak, S Zakrzewski, ... | | 2018 |
| 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 | 155 | 2018 |
| Ancient genomes reveal a high diversity of Mycobacterium leprae in medieval Europe. G Pálfi, VJ Schuenemann, C Avanzi, B Krause-Kyora, A Seitz, A Herbig, ... | | 2018 |
| Ancient Mycobacterium leprae genome reveals medieval English red squirrels as animal leprosy host C Urban, AA Blom, C Avanzi, K Walker-Meikle, AK Warren, ... Current Biology 34 (10), 2221-2230. e8, 2024 | 1 | 2024 |
| Archival influenza virus genomes from Europe reveal genomic and phenotypic variability during the 1918 pandemic LV Patrono, B Vrancken, M Budt, A Düx, S Lequime, S Boral, MTP Gilbert, ... bioRxiv, 2021.05. 14.444134, 2021 | 5 | 2021 |
| Archival influenza virus genomes from Europe reveal genomic variability during the 1918 pandemic LV Patrono, B Vrancken, M Budt, A Düx, S Lequime, S Boral, MTP Gilbert, ... Nature communications 13 (1), 2314, 2022 | 37 | 2022 |
| Avoiding equivariance in alpha-prolog C Urban, J Cheney Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005 | 25 | 2005 |
| Avoiding equivariant unification C Urban, J Cheney Proceedings of the 2005 Conference on Typed Lambda Calculus and Applications …, 2005 | 10 | 2005 |
| 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 |
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk