Maria João Gouveia

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