| 2022 | ISAIM | Formalizing Alexander duality through BDDs. | Jess Aransay, Laureano Lambn, Julius Michaelis, Julio Rubio |
| 2017 | ITP | Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. | Laureano Lambn, Francisco J. Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2014 | AISC | Obtaining an ACL2 Specification from an Isabelle/HOL Theory. | Jess Aransay-Azofra, Jose Divasn, Jnathan Heras, Laureano Lambn, Mara Vico Pascual, ngel Luis Rubio, Julio Rubio |
| 2013 | ISSAC | Certified symbolic manipulation: bivariate simplicial polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2012 | AISC | Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. | Jnathan Heras, Mara Poza, Julio Rubio |
| 2011 | ICCSA | Teaching Geometry with TutorMates. | Mara Jos Gonzlez, Julio Rubio, Toms Recio, Laureano Gonzlez-Vega, Abel Pascual |
| 2011 | ITP | Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2010 | AISC | Computing in Coq with Infinite Algebraic Data Structures. | Csar Domnguez, Julio Rubio |
| 2010 | AISC | Integrating Multiple Sources to Answer Questions in Algebraic Topology. | Jnathan Heras, Vico Pascual, Ana Romero, Julio Rubio |
| 2010 | LOPSTR | Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. | Jnathan Heras, Vico Pascual, Julio Rubio |
| 2009 | ISSAC | Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. | Ana Romero, Graham Ellis, Julio Rubio |
| 2008 | AISC | Mediated Access to Symbolic Computation Systems. | Jnathan Heras, Vico Pascual, Julio Rubio |
| 2005 | ICCS | Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. | Mirian Andrs, Vico Pascual, Ana Romero, Julio Rubio |
| 2004 | AISC | Four Approaches to Automated Reasoning with Differential Algebraic Structures. | Jess Aransay, Clemens Ballarin, Julio Rubio |
| 2001 | ISSAC | Modeling inheritance as coercion in a symbolic computation system. | Csar Domnguez, Julio Rubio |
| 2000 | AISC | Locally Effective Objects and Artificial Intelligence. | Julio Rubio |
| 1999 | ISSAC | Specifying Implementations. | Laureano Lambn, Vico Pascual, Julio Rubio |
| 1997 | CaiSE | A Conceptual Approach to Meta-Modelling. | Eladio Domnguez, Mara Antonia Zapata, Julio Rubio |