José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 88



81
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
82
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
83
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
84
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
85
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
86
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
87
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
88
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 9 de 9. Total de resultados: 88.

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