| Constructive algebraic topology J Rubio, F Sergeraert Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002 | 134 | 2002 |
| The Kenzo program. X Dousson, J Rubio, F Sergeraert, Y Siret http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/, 1999 | 88 | 1999 |
| A systematic review of provenance systems B Pérez, J Rubio, C Sáenz-Adán Knowledge and Information Systems 57, 495-543, 2018 | 86 | 2018 |
| Constructive homological algebra and applications J Rubio, F Sergeraert arXiv preprint arXiv:1208.3816, 2012 | 70 | 2012 |
| Computing spectral sequences A Romero, J Rubio, F Sergeraert Journal of symbolic computation 41 (10), 1059-1079, 2006 | 54 | 2006 |
| EAT: Symbolic Software for Effective Homology Computation. Institut Fourier, Grenoble, 1997 J Rubio, F Sergeraert, Y Siret | 49* | 1997 |
| A mechanized proof of the Basic Perturbation Lemma J Aransay, C Ballarin, J Rubio Journal of Automated Reasoning 40 (4), 271-292, 2008 | 48 | 2008 |
| An object-oriented interpretation of the EAT system L Lambán, V Pascual, J Rubio Applicable Algebra in Engineering, Communication and Computing 14, 187-215, 2003 | 48 | 2003 |
| Homologie effective des espaces de lacets itérés: un logiciel J Rubio These de doctorat de l’Institut Fourier, Grenoble, 1991 | 33 | 1991 |
| On surfaces in digital topology R Ayala, E Dominguez, AR Francés, A Quintero, J Rubio Proc. 5th International Workshop on Discrete Geometry for Computer Imagery …, 1995 | 29 | 1995 |
| Homotopy groups of suspended classifying spaces: an experimental approach A Romero, J Rubio Mathematics of computation 82 (284), 2237-2244, 2013 | 28 | 2013 |
| Object oriented institutions to specify symbolic computation systems C Domínguez, L Lambán, J Rubio Rairo-Theoretical Informatics and Applications 41 (2), 191-214, 2007 | 27 | 2007 |
| Effective homology of bicomplexes, formalized in Coq C Domínguez, J Rubio Theoretical Computer Science 412 (11), 962-970, 2011 | 25 | 2011 |
| Formalizing simplicial topology in ACL2 M Andrés, L Lambán, J Rubio, JL Ruiz-Reina Proceedings ACL2 Workshop, 34-39, 2007 | 23 | 2007 |
| Defining and computing persistent Z-homology in the general case A Romero, J Heras, J Rubio, F Sergeraert arXiv preprint arXiv:1403.7086, 2014 | 22 | 2014 |
| Algebraic models for homotopy types J Rubio, F Sergeraert | 22 | 2005 |
| A conceptual approach to meta-modelling E Domínguez, MA Zapata, J Rubio Advanced Information Systems Engineering: 9th International Conference …, 1997 | 21 | 1997 |
| Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP A Romero, G Ellis, J Rubio Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009 | 20 | 2009 |
| fKenzo: A user interface for computations in Algebraic Topology J Heras, V Pascual, J Rubio, F Sergeraert Journal of Symbolic Computation 46 (6), 685-698, 2011 | 18 | 2011 |
| ACL2 verification of simplicial degeneracy programs in the Kenzo system FJ Martín-Mateos, J Rubio, JL Ruiz-Reina International Conference on Intelligent Computer Mathematics, 106-121, 2009 | 18 | 2009 |
