Maria João Gouveia
According to our database1, Maria João Gouveia authored at least 10 papers between 2002 and 2020.
Legend:Book In proceedings Article PhD thesis Other
ACM Trans. Comput. Log., 2020
INTERAQUATICA - Designing Interactive Aquatic Experiences with Geodesic Domes In-the-Wild.
Proceedings of the ACM International Conference on Interactive Media Experiences. IMX 2020, 2020
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017