Scholar
Renate A Schmidt
Google Scholar ID: 1bu5pB0AAAAJ
School of Computer Science, The University of Manchester
Automated Reasoning
Knowledge Engineering
Artificial Intelligence
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,063
H-index
15
i10-index
24
Publications
20
Co-authors
53
list available
Co-authors
9 total
Patrick Koopmann
Vrije Universiteit Amsterdam
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Ian Pratt-Hartmann
School of Computer Science, University of Manchester
Mark Reynolds
Professor of Computer Science, University of Western Australia
Clare Dixon
University of Manchester
Boris Konev
Professor of Computer Science, Liverpool University
Michael Fisher
Professor of Computer Science, University of Manchester
Andrzej Szalas
Institute of Informatics, University of Warsaw
