José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



71
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: FOCLASA, VOLUME: 91
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID
72
TÍTULO: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination  Full Text
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2012, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 21
NO MEU: ORCID
73
TÍTULO: Formal analysis of policies in wireless sensor network applications
AUTORES: Marco Patrignani; Nelson Matthys; José Proença ; Danny Hughes; Dave Clarke;
PUBLICAÇÃO: 2012, FONTE: SESENA
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
74
TÍTULO: Partial Connector Colouring  Full Text
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2012, FONTE: COORDINATION, VOLUME: 7274 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
75
TÍTULO: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
AUTORES: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLICAÇÃO: 2012, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID
76
TÍTULO: Channel-based coordination via constraint satisfaction
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
77
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: FOCLASA, VOLUME: 58
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
78
TÍTULO: Modular Modelling of Software Product Lines with Feature Nets  Full Text
AUTORES: Radu Muschevici; José Proença ; Dave Clarke;
PUBLICAÇÃO: 2011, FONTE: SEFM, VOLUME: 7041 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
79
TÍTULO: Feature Petri Nets PDF
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: SPLC Workshops
INDEXADO EM: DBLP
NO MEU: ORCID
80
TÍTULO: Towards a Theory of Views for Feature Models PDF
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: SPLC Workshops
INDEXADO EM: DBLP
NO MEU: ORCID
Página 8 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