--- title: "City, University of London — research, people and papers" description: "City, University of London (London, United Kingdom): 2 works on the Elamur Research site, 2 people with a page, 763 citations; its topics…" canonical: "https://research.elamur.ai/free/en/universities/city-university-of-london/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/universities/city-university-of-london/) [home](https://md.research.elamur.ai/free/en/) / [institutions](https://md.research.elamur.ai/free/en/orgs/) / [universities](https://md.research.elamur.ai/free/en/universities/) / City, University of London # City, University of London University [London](https://md.research.elamur.ai/free/en/agglomerations/london/), [United Kingdom](https://md.research.elamur.ai/free/en/countries/united-kingdom/)in the agglomeration of [London](https://md.research.elamur.ai/free/en/agglomerations/london/) - [Website](https://www.city.ac.uk) - [ROR](https://ror.org/04489at23) - [OpenAlex](https://openalex.org/I180825142) [**2** works in our library](https://md.research.elamur.ai/free/en/universities/city-university-of-london/#works) · [**9** people with a page](https://md.research.elamur.ai/free/en/universities/city-university-of-london/#authors) · [**763** citations of these works](https://md.research.elamur.ai/free/en/universities/city-university-of-london/#works) · [**40** citations in our library](https://md.research.elamur.ai/free/en/universities/city-university-of-london/#works) ## People (9) Authors with a page here who worked or studied at City, University of London: first those whose cited work was done most here; beside each, their citations. ### Core (2) Confirmed by their records, or by their bylines here with a fair part of their work. 1. [**Artur d'Avila Garcez**current · 2002–2026 on 152 papers · employment (Wikidata)*3 papers here · 826 citations*](https://md.research.elamur.ai/free/en/authors/artur-d-avila-garcez/) 2. [**Chenxi Whitehouse**2022–2023 on 7 papers*6 papers here · 370 citations*](https://md.research.elamur.ai/free/en/authors/chenxi-whitehouse/) **Also published with this affiliation (7)** Matched by the bylines of their papers, not confirmed: few papers there, or a small part of their work. 3. [**Long Zhou**2008–2009 on 2 papers*6 papers here · 1,250 citations*](https://md.research.elamur.ai/free/en/authors/long-zhou/) 4. [**Jimmy Xiangji Huang**education (ORCID)*2 papers here · 740 citations*](https://md.research.elamur.ai/free/en/authors/jimmy-xiangji-huang/) 5. [**David Corney**2013 on 2 papers*3 papers here · 586 citations*](https://md.research.elamur.ai/free/en/authors/david-corney/) 6. [**Pranava Madhyastha**current · 2021–2026 on 22 papers · employment (ORCID)*2 papers here · 469 citations*](https://md.research.elamur.ai/free/en/authors/pranava-madhyastha/) 7. [**Rodrigo Agerri**2002–2005 on 3 papers*6 papers here · 348 citations*](https://md.research.elamur.ai/free/en/authors/rodrigo-agerri/) 8. [**Mourad Oussalah**2002–2005 on 16 papers · employment (Wikidata)*2 papers here · 58 citations*](https://md.research.elamur.ai/free/en/authors/mourad-oussalah/) 9. [**Chandrasekhar Kambhampati**1988–1989 on 3 papers · education (Wikidata)*2 papers here · 1 citation*](https://md.research.elamur.ai/free/en/authors/chandrasekhar-kambhampati/) ## Works in our library (2) The most cited first (OpenAlex citations plus our library's). 1. **[cvc5: A Versatile and Industrial-Strength SMT Solver](https://md.research.elamur.ai/free/en/papers/barbosa-2022-cvc5-versatile-industrial-strength-smt/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Haniel Barbosa, Clark Barrett, Martin Brain, et al.*2022 · 487 citations* 2. **[Logic Tensor Networks](https://md.research.elamur.ai/free/en/papers/badreddine-2020-logic-tensor-networks/) [Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/)**Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, et al.*2020 · 276 citations* ## Works by year ### 2020s [**2022** 1 paper](https://md.research.elamur.ai/free/en/universities/city-university-of-london/year/2022/) · [**2020** 1 paper](https://md.research.elamur.ai/free/en/universities/city-university-of-london/year/2020/) ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 4 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) 🧭 Topics 2 Research subjects and languages the work is about.[Machine translation · 1 work](https://md.research.elamur.ai/free/en/topics/machine-translation/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) 💡 Concepts 1 Key ideas and methods explained on our concept pages.[Artificial intelligence · 1 work](https://md.research.elamur.ai/free/en/concepts/artificial-intelligence/) ## Collaborates with Institutions on the bylines of the same works here, the most works shared first. 1. **[Stanford University](https://md.research.elamur.ai/free/en/universities/stanford-university/)***1 work shared* 2. **[Bar-Ilan University](https://md.research.elamur.ai/free/en/universities/bar-ilan-university/)***1 work shared* 3. **[Fondazione Bruno Kessler](https://md.research.elamur.ai/free/en/labs/fondazione-bruno-kessler/)***1 work shared* 4. **[Universidade Federal de Minas Gerais](https://md.research.elamur.ai/free/en/universities/universidade-federal-de-minas-gerais/)***1 work shared* 5. **Sony Computer Science Laboratories***1 work shared* 6. **University of Iowa***1 work shared* ## Parent and units **Part of** [University of London](https://md.research.elamur.ai/free/en/universities/university-of-london/) **Related** Moorfields Eye Hospital From the Research Organization Registry (ROR); those with a page here are linked. Works and people from the bylines of the papers (OpenAlex): a person listed here worked or studied at City, University of London; employment or education is named only where the person's ORCID record or Wikidata says so. Institution data from ROR and OpenAlex. Updated 3 November 2026