José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 77



51
TÍTULO: Typed Connector Families
AUTORES: Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXADO EM: WOS
52
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: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
53
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
54
55
56
TÍTULO: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTORES: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
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 | DBLP
57
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: 2nd ACM Workshop on Middleware for Context-Aware Applications in the IoT, M4IOT 2015 in Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
58
TÍTULO: Typed Connector Families
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
59
TÍTULO: Data Abstraction in Coordination Constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
60
TÍTULO: Executable modelling of dynamic software product lines in the ABS language
AUTORES: Muschevici, R; Clarke, D; Proenca, J ;
PUBLICAÇÃO: 2013, FONTE: 5th Int. Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with 12th Int. Conf. on Generative Programming: Concepts and Experiences, GPCE 2013 and the ACM SIGPLAN Conf. SPLASH 2013 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 6 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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