José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 75



71
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: 1
NO MEU: ORCID | DBLP
72
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
73
TÍTULO: Coordination Models Orc and Reo Compared
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 194, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
74
TÍTULO: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTORES: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: ECEASST, VOLUME: 10
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
75
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
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 | DBLP
Página 8 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