Constructive algebraic topology J Rubio, F Sergeraert Bulletin des Sciences Mathématiques 126 (5), 389-412, 2002 | 126 | 2002 |

The Kenzo program. X Dousson, J Rubio, F Sergeraert, Y Siret http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/, 1999 | 71 | 1999 |

Constructive homological algebra and applications J Rubio, F Sergeraert arXiv preprint arXiv:1208.3816, 2012 | 62 | 2012 |

Computing spectral sequences A Romero, J Rubio, F Sergeraert Journal of symbolic computation 41 (10), 1059-1079, 2006 | 53 | 2006 |

EAT: Symbolic Software for Effective Homology Computation. Institut Fourier, Grenoble, 1997 J Rubio, F Sergeraert, Y Siret | 50* | 1997 |

An object-oriented interpretation of the EAT system L Lambán, V Pascual, J Rubio Applicable Algebra in Engineering, Communication and Computing 14 (3), 187-215, 2003 | 48 | 2003 |

A mechanized proof of the Basic Perturbation Lemma J Aransay, C Ballarin, J Rubio Journal of Automated Reasoning 40 (4), 271-292, 2008 | 46 | 2008 |

A systematic review of provenance systems B Pérez, J Rubio, C Sáenz-Adán Knowledge and Information Systems 57 (3), 495-543, 2018 | 44 | 2018 |

Intelligent computer mathematics S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk Springer, 2008 | 32* | 2008 |

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 | 28 | 2007 |

Homologie effective des espaces de lacets itérés: un logiciel J Rubio These de doctorat de l’Institut Fourier, Grenoble, 1991 | 28 | 1991 |

Homotopy groups of suspended classifying spaces: an experimental approach A Romero, J Rubio Mathematics of computation 82 (284), 2237-2244, 2013 | 25 | 2013 |

A conceptual approach to meta-modelling E Domínguez, MA Zapata, J Rubio International Conference on Advanced Information Systems Engineering, 319-332, 1997 | 25 | 1997 |

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 | 24 | 1995 |

Effective homology of bicomplexes, formalized in Coq C Domínguez, J Rubio Theoretical Computer Science 412 (11), 962-970, 2011 | 23 | 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 |

Algebraic models for homotopy types J Rubio, F Sergeraert Homology, Homotopy and Applications 7 (2), 139-160, 2005 | 23 | 2005 |

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 |