José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



81
TÍTULO: Variability Modelling in the ABS Language
AUTORES: Dave Clarke; Radu Muschevici; José Proença ; Ina Schaefer; Rudolf Schlatte;
PUBLICAÇÃO: 2010, FONTE: FMCO, VOLUME: 6957 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 24
NO MEU: ORCID
82
TÍTULO: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2009, FONTE: ICE, VOLUME: 12
INDEXADO EM: DBLP CrossRef: 3
NO MEU: ORCID
83
TÍTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: FOCLASA@ICALP, VOLUME: 229, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 12
NO MEU: ORCID
84
TÍTULO: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTORES: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 10
INDEXADO EM: DBLP
NO MEU: ORCID
85
TÍTULO: Coordination Models Orc and Reo Compared
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2007, FONTE: FOCLASA, VOLUME: 194, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
86
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
Página 9 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