Publications (9) RAFAEL MARTÍNEZ TORRES publications

2018

  1. An axiomatic semantics for iocos_ conformance relation

    Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184

2014

  1. Effectiveness for input output conformance simulation iocos

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. IOCO as a simulation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. Input-output conformance simulation (iocos) for model based testing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. PVM-3.4.4 + IPv6: Full grid connectivity

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2004

  1. Building an interface between eden and maple: A way of parallelizing computer algebra algorithms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 135-151

1984

  1. REAL TIME TEXT TO SPEECH CONVERSION SYSTEM FOR SPANISH.

    ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings

1980

  1. Talking calculators developed and delivered by the polytechnical University of Madrid

    International Journal of Rehabilitation Research, Vol. 3, Núm. 3, pp. 386

1979

  1. MICROPROCESSOR-BASED TALKING CALCULATOR IN SPANISH FOR THE BLIND.

    Sin título en SCOPUS