João Gouveia

According to our database, João Gouveia authored at least 45 papers between 1992 and 2023.

Collaborative distances:

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

2023

Self-Dual Polyhedral Cones and Their Slack Matrices.

João Gouveia, Bruno F. Lourenço

SIAM J. Matrix Anal. Appl., September, 2023

Combining Realization Space Models of Polytopes.

João Gouveia, Antonio Macchia, Amy Wiebe

Discret. Comput. Geom., March, 2023

General non-realizability certificates for spheres with linear programming.

João Gouveia, Antonio Macchia, Amy Wiebe

J. Symb. Comput., 2023

2022

Lifting for Simplicity: Concise Descriptions of Convex Sets.

Hamza Fawzi, João Gouveia, Pablo A. Parrilo, James Saunderson, Rekha R. Thomas

SIAM Rev., 2022

Real-time walking gait terrain classification from foot-mounted Inertial Measurement Unit using Convolutional Long Short-Term Memory neural network.

Rui Moura Coelho, João Gouveia, Miguel Ayala Botto, Hermano Igo Krebs, Jorge Martins

Expert Syst. Appl., 2022

An Algebraic Approach to Projective Uniqueness with an Application to Order Polytopes.

Tristram Bogart, João Gouveia, Juan Camilo Torres

Discret. Comput. Geom., 2022

2021

The Phaseless Rank of a Matrix.

António Pedro Goucha, João Gouveia

SIAM J. Appl. Algebra Geom., 2021

2020

Inner approximating the completely positive cone via the cone of scaled diagonally dominant matrices.

João Gouveia, Ting Kei Pong, Mina Saee

J. Glob. Optim., 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

The Slack Realization Space of a Polytope.

João Gouveia, Antonio Macchia, Rekha R. Thomas, Amy Wiebe

SIAM J. Discret. Math., 2019

2017

On Ranks of Regular Polygons.

António Pedro Goucha, João Gouveia, Pedro M. Silva

SIAM J. Discret. Math., 2017

Four-dimensional polytopes of minimum positive semidefinite rank.

João Gouveia, Kanstantsin Pashkovich, Richard Z. Robinson, Rekha R. Thomas

J. Comb. Theory, Ser. A, 2017

On-off scheduling schemes for power-constrained electric vehicle charging.

Xavier Fernandes, Joana Rebelo, João Gouveia, Rodrigo Maia, Nuno Bustorff Silva

4OR, 2017

2016

Rational and real positive semidefinite rank can be different.

Hamza Fawzi, João Gouveia, Richard Z. Robinson

Oper. Res. Lett., 2016

2015

Worst-case results for positive semidefinite rank.

João Gouveia, Richard Z. Robinson, Rekha R. Thomas

Math. Program., 2015

Approximate cone factorizations and lifts of polytopes.

João Gouveia, Pablo A. Parrilo, Rekha R. Thomas

Math. Program., 2015

Positive semidefinite rank.

Hamza Fawzi, João Gouveia, Pablo A. Parrilo, Richard Z. Robinson, Rekha R. Thomas

Math. Program., 2015

Temporal and Spatial Evolution through Images.

Fernando Branco, Nuno Correia, Armanda Rodrigues, João Gouveia, Rui Nóbrega

Proceedings of the 2015 IEEE International Symposium on Multimedia, 2015

Travelling through space and time in Lisbon's religious buildings.

João Gouveia, Fernando Branco, Armanda Rodrigues, Nuno Correia

Proceedings of the 2nd Digital Heritage International Congress, 2015

2014

A semidefinite approach to the K_i-cover problem.

João Gouveia, James Pfeiffer

Oper. Res. Lett., 2014

Indirect Keyword Recommendation.

André Sabino, Armanda Rodrigues, Miguel Goulão, João Gouveia

Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

2013

Lifts of Convex Sets and Cone Factorizations.

João Gouveia, Pablo A. Parrilo, Rekha R. Thomas

Math. Oper. Res., 2013

Polytopes of Minimum Positive Semidefinite Rank.

João Gouveia, Richard Z. Robinson, Rekha R. Thomas

Discret. Comput. Geom., 2013

E-Id Authentication and Uniform Access to Cloud Storage Service Providers.

João Gouveia, Paul Andrew Crocker, Simão Melo de Sousa, Ricardo Azevedo

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs.

João Gouveia, Monique Laurent, Pablo A. Parrilo, Rekha R. Thomas

Math. Program., 2012

Comparing SOS and SDP relaxations of sensor network localization.

João Gouveia, Ting Kei Pong

Comput. Optim. Appl., 2012

2011

Positive Polynomials and Projections of Spectrahedra.

João Gouveia, Tim Netzer

SIAM J. Optim., 2011

2010

Theta Bodies for Polynomial Ideals.

João Gouveia, Pablo A. Parrilo, Rekha R. Thomas

SIAM J. Optim., 2010

2005

Forms2Net - Migrating Oracle Forms to Microsoft .NET.

Luís Andrade, João Gouveia, Miguel Antunes, Mohammad El-Ramly, Georgios Koutsoukos

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

2003

Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.

Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Enhancing Dependability Through Flexible Adaptation to Changing Requirements.

Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Architecting Dependable Systems II, 2003

2002

Separating computation, coordination and configuration.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos

J. Softw. Maintenance Res. Pract., 2002

Developing and evolving Java applications using coordination contracts.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

A coordination methodology and technology for agile businesses.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Evolving and using coordinated systems.

Michel Wermelinger, Georgios Koutsoukos, José Luiz Fiadeiro, L. Andrade, João Gouveia

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Coordination contracts for Java applications.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the 24th International Conference on Software Engineering, 2002

The Coordination Development Environment.

João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Coordination for Orchestration.

Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Tool Support for Coordination-Based Software Evolution.

João Gouveia, Georgios Koutsoukos, Luís Andrade, José Luiz Fiadeiro

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

Support for Business-Driven Evolution with Coordination Technologies.

Luís Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos, Michel Wermelinger

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Managing Evolution in Telecommunication Systems.

Georgios Koutsoukos, João Gouveia, Luís Andrade, José Luiz Fiadeiro

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

Coordination Contracts, Evolution and Tools.

Luís Andrade, João Gouveia, Georgios Koutsoukos, José Luiz Fiadeiro

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

2000

Patterns for Coordination.

Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Architectural Concerns in Automating Code Generation.

Luís Filipe Andrade, João Gouveia, P. J. Xardoné, J. A. Câmara

Proceedings of the Software Architecture, 1999

1992

The Reification Dimension in Object-oriented Data Base Design.

Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende

Proceedings of the Specifications of Database Systems, 1992