José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 75



71
TITLE: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2009, SOURCE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
72
TITLE: Deconstructing Reo
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP
73
TITLE: Coordination Models Orc and Reo Compared
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 194, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
74
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: ECEASST, VOLUME: 10
INDEXED IN: DBLP
IN MY: ORCID | DBLP
75
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
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 | DBLP
Page 8 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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