Laura R. Antuña
Affiliations:- Federal University of Minas Gerais, Department of Computer Science
According to our database1,
Laura R. Antuña
authored at least 4 papers
between 2012 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2015
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015
2013
2012
Proceedings of the XXVII Simpósio Brasileiro de Banco de Dados, 2012
ABLE Transit: A Mobile Application for Visually Impaired Users to Navigate Public Transit.
Proceedings of the 2012 Seventh International Conference on Broadband, 2012