José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 67



61
TITLE: Feature Petri Nets PDF
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: 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)
INDEXED IN: DBLP
IN MY: ORCID | DBLP
62
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: 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)
INDEXED IN: DBLP
IN MY: ORCID | DBLP
63
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
64
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
65
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
66
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
67
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 7 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

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