João Gouveia

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2020
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

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

2017
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

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

2015
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

2014
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

2013
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

2012
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

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

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

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

2003
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

2002
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

2001
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

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

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

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


  Loading...