João Mota
Orcid: 0000-0003-3182-2245
According to our database1,
João Mota
authored at least 9 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Access, 2024
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
2023
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
2021
2020
Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020
2018
Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning.
Proceedings of the IEEE International Smart Cities Conference, 2018
2008
Proceedings of the working conference on Advanced Visual Interfaces, 2008