José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 75



51
TITLE: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems. Preface  Full Text
AUTHORS: Javier Cámara; José Proença ;
PUBLISHED: 2015, SOURCE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 175
INDEXED IN: CrossRef
IN MY: ORCID
52
53
54
TITLE: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTHORS: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
PUBLISHED: 2015, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
55
TITLE: Tomography: lowering management overhead for distributed component-based applications
AUTHORS: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
56
TITLE: Typed Connector Families
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
57
TITLE: Data Abstraction in Coordination Constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
58
TITLE: Executable modelling of dynamic software product lines in the ABS language
AUTHORS: Muschevici, R; Clarke, D; Proenca, J ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
59
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
60
TITLE: A Procedure for Splitting Processes and its Application to Coordination  Full Text
AUTHORS: Sung Shik T. Q. Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012., VOLUME: 91
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID | DBLP
Page 6 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service