José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



61
TÍTULO: Typed Connector Families
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
62
TÍTULO: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTORES: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLICAÇÃO: 2015, FONTE: CBSE
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
63
TÍTULO: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems. Preface  Full Text
AUTORES: Javier Cámara; José Proença ;
PUBLICAÇÃO: 2015, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 175
INDEXADO EM: CrossRef
NO MEU: ORCID
64
65
66
TÍTULO: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTORES: Daniels, W; Proença, J ; Clarke, D; Joosen, W; Hughes, D;
PUBLICAÇÃO: 2015, FONTE: 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) in 2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
67
TÍTULO: Tomography: lowering management overhead for distributed component-based applications
AUTORES: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: M4IoT@Middleware
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
68
TÍTULO: Data Abstraction in Coordination Constraints
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2013, FONTE: ESOCC Workshops, VOLUME: 393 CCIS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
69
TÍTULO: Executable modelling of dynamic software product lines in the ABS language
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2013, FONTE: FOSD
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
70
TÍTULO: Interactive Interaction Constraints  Full Text
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2013, FONTE: COORDINATION, VOLUME: 7890 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
Página 7 de 9. Total de resultados: 86.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service