CLEF-IP 2010: Retrieval Experiments in the Intellectual Property Domain. F Piroi, M Lupu, A Hanbury, AP Sexton, W Magdy, IV Filippov CLEF (notebook papers/labs/workshops), 2010 | 91 | 2010 |

A linear grammar approach to mathematical formula recognition from PDF JB Baker, AP Sexton, V Sorge Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009 | 64 | 2009 |

Chemical structure recognition: a rule-based approach NM Sadawi, AP Sexton, V Sorge Document Recognition and Retrieval XIX 8297, 101-109, 2012 | 50 | 2012 |

Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics S Autexier, J Calmet, D Delahaye, PDF Ion, L Rideau, R Rioboo, ... Springer-Verlag, 2010 | 32* | 2010 |

KCM: a knowledge crunching machine H Benker, JM Beacco, M Dorochevsky, T Jeffré, A Pöhlmann, J Noye, ... ACM SIGARCH Computer Architecture News 17 (3), 186-194, 1989 | 32 | 1989 |

Towards a parser for mathematical formula recognition A Raja, M Rayner, A Sexton, V Sorge Mathematical Knowledge Management: 5th International Conference, MKM 2006 …, 2006 | 30 | 2006 |

Font recognition using shape-based quad-tree and kd-tree decomposition A Sexton, A Todman, K Woodward Proceedings of the 3rd International Conference on Computer Vision, Pattern …, 2000 | 27 | 2000 |

Faithful mathematical formula recognition from PDF documents JB Baker, AP Sexton, V Sorge Proceedings of the 9th IAPR International Workshop on Document Analysis …, 2010 | 26 | 2010 |

Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings SM Watt, AP Sexton, JH Davenport, P Sojka, J Urban Springer, 2014 | 20 | 2014 |

MaxTract: Converting PDF to, MathML and Text JB Baker, AP Sexton, V Sorge International Conference on Intelligent Computer Mathematics, 422-426, 2012 | 20 | 2012 |

Abstract matrices in symbolic computation A Sexton, V Sorge Proceedings of the 2006 international symposium on Symbolic and algebraic …, 2006 | 20 | 2006 |

Database-driven mathematical character recognition A Sexton, V Sorge International Workshop on Graphics Recognition, 218-230, 2005 | 19 | 2005 |

Bulk loading the M-tree to enhance query performance AP Sexton, R Swinbank Key Technologies for Data Management: 21st British National Conference on …, 2004 | 19 | 2004 |

Comparing approaches to mathematical document analysis from PDF JB Baker, AP Sexton, V Sorge, M Suzuki 2011 International Conference on Document Analysis and Recognition, 463-467, 2011 | 18 | 2011 |

Intelligent computer mathematics JH Davenport, SM Watt, AP Sexton, P Sojka, J Urban Springer International Publishing, 2014 | 16 | 2014 |

Reasoning about B+ trees with operational semantics and separation logic A Sexton, H Thielecke Electronic Notes in Theoretical Computer Science 218, 355-369, 2008 | 14 | 2008 |

Towards reverse engineering of PDF documents JB Baker, AP Sexton, V Sorge Masaryk University Press (Brno, Czech Republic), 2011 | 13 | 2011 |

Extracting precise data on the mathematical content of PDF documents JB Baker, AP Sexton, V Sorge Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th …, 2008 | 13 | 2008 |

Processing textbook-style matrices A Sexton, V Sorge International Conference on Mathematical Knowledge Management, 111-125, 2005 | 13 | 2005 |

Extracting precise data from PDF documents for mathematical formula recognition JB Baker, AP Sexton, V Sorge DAS 2008: Proceedings of The Eighth IAPR Workshop on Document Analysis Systems, 2008 | 12 | 2008 |