Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. - Rafael Martínez-Torres; Ricardo Pena (IFL, 2003)

PVM-3.4.4 + IPv6: Full Grid Connectivity. - Rafael Martínez-Torres (PVM/MPI, 2005)

Input-Output Conformance Simulation (iocos) for Model Based Testing. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FMOODS/FORTE, 2013)

IOCO as a Simulation. - Luis Llana; Rafael Martínez-Torres (SEFM Workshops, 2013)

Effectiveness for Input Output Conformance Simulation iocos̱. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FORTE, 2014)

Extending mCRL2 with ready simulation and iocos input-output conformance simulation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (SAC, 2015)

An axiomatic semantics for iocos_ conformance relation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (J. Log. Algebraic Methods Program., 2018)