José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 75



51
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
52
53
54
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
55
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
56
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
57
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
58
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
59
TÍTULO: Interactive interaction constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
60
TÍTULO: A Procedure for Splitting Processes and its Application to Coordination  Full Text
AUTORES: Sung Shik T. Q. Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2012, FONTE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012., VOLUME: 91
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID | DBLP
Página 6 de 8. Total de resultados: 75.

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