João Gouveia

According to our database1, João Gouveia authored at least 38 papers between 1992 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 




The Phaseless Rank of a Matrix.
SIAM J. Appl. Algebra Geom., 2021

Inner approximating the completely positive cone via the cone of scaled diagonally dominant matrices.
J. Glob. Optim., 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

The Slack Realization Space of a Polytope.
SIAM J. Discret. Math., 2019

On Ranks of Regular Polygons.
SIAM J. Discret. Math., 2017

Four-dimensional polytopes of minimum positive semidefinite rank.
J. Comb. Theory, Ser. A, 2017

On-off scheduling schemes for power-constrained electric vehicle charging.
4OR, 2017

Rational and real positive semidefinite rank can be different.
Oper. Res. Lett., 2016

Worst-case results for positive semidefinite rank.
Math. Program., 2015

Approximate cone factorizations and lifts of polytopes.
Math. Program., 2015

Positive semidefinite rank.
Math. Program., 2015

Temporal and Spatial Evolution through Images.
Proceedings of the 2015 IEEE International Symposium on Multimedia, 2015

Travelling through space and time in Lisbon's religious buildings.
Proceedings of the 2nd Digital Heritage International Congress, 2015

A semidefinite approach to the K<sub>i</sub>-cover problem.
Oper. Res. Lett., 2014

Indirect Keyword Recommendation.
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

Lifts of Convex Sets and Cone Factorizations.
Math. Oper. Res., 2013

Polytopes of Minimum Positive Semidefinite Rank.
Discret. Comput. Geom., 2013

E-Id Authentication and Uniform Access to Cloud Storage Service Providers.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs.
Math. Program., 2012

Comparing SOS and SDP relaxations of sensor network localization.
Comput. Optim. Appl., 2012

Positive Polynomials and Projections of Spectrahedra.
SIAM J. Optim., 2011

Theta Bodies for Polynomial Ideals.
SIAM J. Optim., 2010

Forms2Net - Migrating Oracle Forms to Microsoft .NET.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Enhancing Dependability Through Flexible Adaptation to Changing Requirements.
Proceedings of the Architecting Dependable Systems II, 2003

Separating computation, coordination and configuration.
J. Softw. Maintenance Res. Pract., 2002

Developing and evolving Java applications using coordination contracts.
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

A coordination methodology and technology for agile businesses.
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Evolving and using coordinated systems.
Proceedings of the International Workshop on Principles of Software Evolution, 2002

Coordination contracts for Java applications.
Proceedings of the 24th International Conference on Software Engineering, 2002

The Coordination Development Environment.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

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

Tool Support for Coordination-Based Software Evolution.
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.
Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Managing Evolution in Telecommunication Systems.
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

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

Architectural Concerns in Automating Code Generation.
Proceedings of the Software Architecture, 1999

The Reification Dimension in Object-oriented Data Base Design.
Proceedings of the Specifications of Database Systems, 1992