Rinaldi Maya Neto

According to our database, Rinaldi Maya Neto authored at least 2 papers in 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Architectural Specification, Exploration and Simulation Through Rewriting-Logic.

Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos

Rev. Colomb. de Computación, 2002

Applying ELAN Strategies in Simulating Processors over Simple Architectures.

Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002