José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 75



41
TÍTULO: Quality-Aware Reactive Programming for the Internet of Things
AUTORES: Jose Proenca ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
42
TÍTULO: Typed connector families and their semantics  Full Text
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2017, FONTE: Sci. Comput. Program., VOLUME: 146
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
43
TÍTULO: A procedure for splitting data-aware processes and its application to coordination  Full Text
AUTORES: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Sci. Comput. Program., VOLUME: 115-116
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
44
TÍTULO: Coordination Models and Languages
AUTORES: Alberto Lluch Lafuente; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
NO MEU: ORCID
45
46
TÍTULO: Feature Nets: behavioural modelling of software product lines  Full Text
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP
47
TÍTULO: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTORES: Gowri Sankar Ramachandran; Jose Proenca ; Wilfried Daniels; Mario Pickavet; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
48
TÍTULO: Preface
AUTORES: Lafuente, AL; Proença, J ;
PUBLICAÇÃO: 2016, FONTE: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9686
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Typed Connector Families
AUTORES: Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXADO EM: WOS
50
TÍTULO: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTORES: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLICAÇÃO: 2015, FONTE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 5 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