José Pereira

According to our database, José Pereira authored at least 2 papers between 2021 and 2026.

Collaborative distances:

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

2026

Reasoning about Transactional Isolation Levels with Isolde.

Manuel Barros, Alcino Cunha, José Pereira, Eunsuk Kang

CoRR, April, 2026

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021