Laura R. Antuña

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Temporal Properties

Top Venues

SBBD (Short Papers)

Publications

Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. CoRR (2015)
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. TAROS (2015)
Dilson Almeida Guimarães, Filipe de Lima Arcanjo, Laura R. Antuña, Mirella M. Moro, Renato C. Ferreira
Processing XPath Structural Constraints on GPU. J. Inf. Data Manag. 4 (1) (2013)
Naomi Harrington, Laura R. Antuña, Yvonne Coady
ABLE Transit: A Mobile Application for Visually Impaired Users to Navigate Public Transit. BWCCA (2012)
Dilson Almeida Guimarães, Filipe de Lima Arcanjo, Laura R. Antuña, Mirella M. Moro, Renato C. Ferreira
Processamento de Consultas XPath em GPU. SBBD (Short Papers) (2012)