Renato Carvalho

According to our database¹, Renato Carvalho authored at least 3 papers between 2019 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Experiences on teaching alloy with an automated assessment platform.

[BibT_eX]

[DOI]

Miguel Sozinho Ramalho

Daniel Castro Silva

Sci. Comput. Program., 2021

2020

Verification of system-wide safety properties of ROS applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Sharing and Learning Alloy on the Web.

[BibT_eX]

[DOI]

CoRR, 2019

Renato Carvalho

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...