Efraim Zalmoxis de Almeida Machado

According to our database, Efraim Zalmoxis de Almeida Machado authored at least 2 papers between 2012 and 2016.

Collaborative distances:

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

2016

A Refinement Repair Algorithm Based on Refinement Game for KMTS Models.

Efraim Machado, Aline Andrade

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2012

Generating correct compositions of semantic web services with respect to temporal constraints.

Efraim Zalmoxis de Almeida Machado, Daniela Barreiro Claro, Aline Maria Santos Andrade

Proceedings of the Brazilian Symposium on Multimedia and the Web, 2012