José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 83



71
TÍTULO: Partial connector colouring
AUTORES: Clarke, D; Proenca, J ;
PUBLICAÇÃO: 2012, FONTE: 14th International Conference on Coordination Models and Languages, COORDINATION 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7274 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
72
TÍTULO: The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems  Full Text
AUTORES: Wong, PYH; Albert, E; Muschevici, R; Proenca, J ; Schafer, J; Schlatte, R;
PUBLICAÇÃO: 2012, FONTE: International Journal on Software Tools for Technology Transfer, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID | DBLP
73
TÍTULO: Channel-based coordination via constraint satisfaction  Full Text
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef: 22
NO MEU: ORCID | DBLP
74
TÍTULO: Decoupled execution of synchronous coordination models via behavioural automata  Full Text
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011 in Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011., VOLUME: 58
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
75
TÍTULO: Modular modelling of software product lines with feature nets
AUTORES: Muschevici, R; Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7041 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
76
TÍTULO: Variability modelling in the ABS language
AUTORES: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLICAÇÃO: 2011, FONTE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 24
NO MEU: ORCID | DBLP
77
TÍTULO: Feature Petri Nets PDF
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
78
TÍTULO: Towards a Theory of Views for Feature Models PDF
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
79
TÍTULO: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2009, FONTE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12
INDEXADO EM: DBLP CrossRef: 3
NO MEU: ORCID | DBLP
80
TÍTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 12
NO MEU: ORCID | DBLP
Página 8 de 9. Total de resultados: 83.

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