José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



81
TITLE: Variability Modelling in the ABS Language
AUTHORS: Dave Clarke; Radu Muschevici; José Proença ; Ina Schaefer; Rudolf Schlatte;
PUBLISHED: 2010, SOURCE: FMCO, VOLUME: 6957 LNCS
INDEXED IN: Scopus DBLP CrossRef: 24
IN MY: ORCID
82
TITLE: Coordination via Interaction Constraints I: Local Logic
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2009, SOURCE: ICE, VOLUME: 12
INDEXED IN: DBLP CrossRef: 3
IN MY: ORCID
83
TITLE: Deconstructing Reo
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2008, SOURCE: FOCLASA@ICALP, VOLUME: 229, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID
84
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 10
INDEXED IN: DBLP
IN MY: ORCID
85
TITLE: Coordination Models Orc and Reo Compared
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2007, SOURCE: FOCLASA, VOLUME: 194, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
86
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
Page 9 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service