Linkedin

Æon compiler

A code compiler and synthesizer in the homonymous language, implemented in Python. The Æon language supports refined and dependent types with and without decidability restrictions. Team: Alcides Fonseca; Paulo Santos; Sara Silva; Andreia Mordido; Vasco T....

ARWithMaps+

This work aims to continue the previously developed project, called ARWithMaps, which implements techniques of visualization of points of interest in Augmented Reality including clues to points of interest outside the field of view and using maps. Additionally, it is...

RoseTrajVis

RoseTrajVis is a system for analyzing trajectories using graphics inspired in wind roses. The elements of the rose include petals that aggregate trajectories given their direction and that also show their average speeds within an area around a point in a map, as well...