University of Birmingham — United Kingdom
Computer Science · Physical Sciences
11h-index352citations53works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Mathematics, Computing, and Information Processing(16), Handwritten Text Recognition Techniques(10), Data Management and Algorithms(8), Algorithms and Data Compression(7), Advanced Database Systems and Queries(6)
Publications53 total
The Kluwer international series on information retrieval·2017· 4 cited
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)
2014· 1 cited
Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014
2014
Intelligent Computer Mathematics: CICM 2014 Joint Events Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014
Springer eBooks·2014
Joint Proceedings of the MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2014
2014
Lecture notes in computer science·2014· 23 cited
Toolset for Image and Text Processing and Metadata Enhancements— Final Release: Deliverable 7.4 of project EuDML
2013
HAL (Le Centre pour la Communication Scientifique Directe)·2013Open Access
Annals of Mathematics and Artificial Intelligence·2012· 1 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2012Open Access
Lecture notes in computer science·2012· 5 cited
CLEF 2012 Evaluation Labs and Workshop, Online Working Notes, Rome, Italy, September 17-20, 2012
2012· 19 cited
Lecture notes in computer science·2012· 12 cited
Special issue on artificial intelligence and symbolic computation
2012
MolRec at CLEF 2012 - Overview and Analysis of Results.
2012· 5 cited
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE·2011· 43 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2011Open Access
State of the Art of Accessibility Tools: Deliverable D10.1 ofproject EuDML
2011
page 1 of 3Next →
Frequent Co-authors
Volker Sorge(28), Josef B. Baker(11), Stephen M. Watt(10), Petr Sojka(10), James H. Davenport(4), Josef Urban(4), Richard Swinbank(4), Thierry Bouche(4), Noureddin Sadawi(3), Jacques Carette(3), Matthew England(3), Andrea Kohlhase(3), Michael Kohlhase(3), Paul Libbrecht(3), Walther Neuper(3), Pedro Quaresma(3), Radim Hatlapatka(3), Łukasz Bolikowski(3), Michael Jost(3), Aleksander Nowiński(3)