Maria João Gouveia

According to our database1, Maria João Gouveia authored at least 10 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Fixed-point Elimination in the Intuitionistic Propositional Calculus.
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

2019
ℵ<sub>1</sub> and the modal μ-calculus.
Log. Methods Comput. Sci., 2019

2018
The continuous weak order.
CoRR, 2018

Mix ⋆-autonomous quantales and the continuous weak order.
CoRR, 2018

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version).
CoRR, 2018

MIX \star -Autonomous Quantales and the Continuous Weak Order.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017
Aleph1 and the Modal mu-Calculus.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2014
Canonical Extensions and Profinite Completions of Semilattices and Lattices.
Order, 2014

2002
Optimal Natural Dualities: the Structure of Failsets.
Int. J. Algebra Comput., 2002


  Loading...