default search action

combined dblp search
author search
venue search
publication search

ask others

Rafael Martínez-Torres

> Home > Persons

Person information

affiliation: Complutense University of Madrid, Spain

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Gregorio-Rodriguez18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Gregorio-Rodriguez18
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
An axiomatic semantics for iocos_ conformance relation. J. Log. Algebraic Methods Program. 100: 152-184 (2018)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Gregorio-Rodriguez15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Gregorio-Rodriguez15
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Extending mCRL2 with ready simulation and iocos input-output conformance simulation. SAC 2015: 1781-1788
2014
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Gregorio-RodriguezLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM14
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Effectiveness for Input Output Conformance Simulation iocos̱. FORTE 2014: 100-116
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/Gregorio-RodriguezLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM13
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Input-Output Conformance Simulation (iocos) for Model Based Testing. FMOODS/FORTE 2013: 114-129
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LlanaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LlanaM13
Luis Llana, Rafael Martínez-Torres:
IOCO as a Simulation. SEFM Workshops 2013: 125-134
2005
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pvm/Martinez-Torres05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pvm/Martinez-Torres05
Rafael Martínez-Torres:
PVM-3.4.4 + IPv6: Full Grid Connectivity. PVM/MPI 2005: 233-240
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MartinezP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MartinezP03
Rafael Martínez-Torres, Ricardo Pena:
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.