Maria João Gouveia

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 12

Top Topics

Automated Deduction

Bargaining Solution

Fixed Point Theorem

Top Venues

ACM Trans. Comput. Log.

Publications

Maria João Gouveia, Erkko Lehtonen
Permutation Reconstruction From a Few Large Patterns. Electron. J. Comb. 28 (3) (2021)
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
INTERAQUATICA - Designing Interactive Aquatic Experiences with Geodesic Domes In-the-Wild. IMX (2020)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. 21 (1) (2020)
Maria João Gouveia, Luigi Santocanale
and the modal μ-calculus. Log. Methods Comput. Sci. 15 (4) (2019)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR (2018)
Maria João Gouveia, Luigi Santocanale
Mix ⋆-autonomous quantales and the continuous weak order. CoRR (2018)
Maria João Gouveia, Luigi Santocanale
The continuous weak order. CoRR (2018)
Maria João Gouveia, Luigi Santocanale
MIX \star -Autonomous Quantales and the Continuous Weak Order. RAMiCS (2018)
Maria João Gouveia, Luigi Santocanale
and the Modal μ-Calculus. CoRR (2017)
Maria João Gouveia, Luigi Santocanale
Aleph1 and the Modal mu-Calculus. CSL (2017)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point elimination in the intuitionistic propositional calculus. CoRR (2016)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS (2016)