Maria João Gouveia

According to our database, Maria João Gouveia authored at least 11 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Permutation Reconstruction From a Few Large Patterns.

Maria João Gouveia, Erkko Lehtonen

Electron. J. Comb., 2021

2020

Fixed-point Elimination in the Intuitionistic Propositional Calculus.

Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale

ACM Trans. Comput. Log., 2020

INTERAQUATICA - Designing Interactive Aquatic Experiences with Geodesic Domes In-the-Wild.

Marko Radeta, Miguel Andrade, Rúben Freitas, Michael Sousa, Antonio Ramos, Victor Azevedo, Jorge Lopes, Ricardo Jardim, João Gouveia, Maria João Gouveia, Telmo Gonçalves, Pedro Pinto, Roberto Rodrigues, Cristiano França, João Freitas, Ana Andrade, Alexis Faria, Leonardo Abreu, Mónica Mendes, Nuno Jardim Nunes, Valentina Nisi

Proceedings of the ACM International Conference on Interactive Media Experiences. IMX 2020, 2020

2019

ℵ₁ and the modal μ-calculus.

Maria João Gouveia, Luigi Santocanale

Log. Methods Comput. Sci., 2019

2018

The continuous weak order.

Maria João Gouveia, Luigi Santocanale

CoRR, 2018

Mix ⋆-autonomous quantales and the continuous weak order.

Maria João Gouveia, Luigi Santocanale

CoRR, 2018

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

Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale

CoRR, 2018

MIX \star -Autonomous Quantales and the Continuous Weak Order.

Maria João Gouveia, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Aleph1 and the Modal mu-Calculus.

Maria João Gouveia, Luigi Santocanale

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2014

Canonical Extensions and Profinite Completions of Semilattices and Lattices.

Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley

Order, 2014

2002

Optimal Natural Dualities: the Structure of Failsets.

Maria João Antunes Dias Gouveia Saramago, Hilary A. Priestley

Int. J. Algebra Comput., 2002