Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
José Miguel Paiva Proença
AuthID:
R-006-JRF
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (47)
Article (17)
Proceedings (6)
Editorial Material (2)
Book (1)
Data Paper (1)
Article in Press (1)
Year Start - End:
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 75
41
TITLE:
Quality-Aware Reactive Programming for the Internet of Things
AUTHORS:
Jose Proenca
;
Carlos Baquero
;
PUBLISHED:
2017
,
SOURCE:
7th IPM International Conference on Fundamentals of Software Engineering (FSEN)
in
FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017,
VOLUME:
10522
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
42
TITLE:
Typed connector families and their semantics
Full Text
AUTHORS:
José Proença
;
Dave Clarke
;
PUBLISHED:
2017
,
SOURCE:
Sci. Comput. Program.,
VOLUME:
146
INDEXED IN:
Scopus
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
43
TITLE:
A procedure for splitting data-aware processes and its application to coordination
Full Text
AUTHORS:
Sung Shik T Q Jongmans
;
Dave Clarke
;
José Proença
;
PUBLISHED:
2016
,
SOURCE:
Sci. Comput. Program.,
VOLUME:
115-116
INDEXED IN:
Scopus
DBLP
CrossRef
:
5
IN MY:
ORCID
|
DBLP
44
TITLE:
Coordination Models and Languages
AUTHORS:
Alberto Lluch Lafuente;
José Proença
;
PUBLISHED:
2016
,
SOURCE:
Lecture Notes in Computer Science
INDEXED IN:
CrossRef
:
2
IN MY:
ORCID
45
TITLE:
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
AUTHORS:
Alberto Lluch Lafuente;
José Proença
;
PUBLISHED:
2016
,
SOURCE:
COORDINATION,
VOLUME:
9686
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
46
TITLE:
Feature Nets: behavioural modelling of software product lines
Full Text
AUTHORS:
Radu Muschevici;
Jose Proenca
;
Dave Clarke
;
PUBLISHED:
2016
,
SOURCE:
10th International Conference on Integrated Formal Methods (IFM)
in
SOFTWARE AND SYSTEMS MODELING,
VOLUME:
15,
ISSUE:
4
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
14
IN MY:
ORCID
|
DBLP
47
TITLE:
Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTHORS:
Gowri Sankar Ramachandran;
Jose Proenca
; Wilfried Daniels;
Mario Pickavet
; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLISHED:
2016
,
SOURCE:
JOURNAL OF INTERNET SERVICES AND APPLICATIONS,
VOLUME:
7,
ISSUE:
1
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
10
IN MY:
ORCID
|
DBLP
48
TITLE:
Preface
AUTHORS:
Lafuente, AL;
Proença, J
;
PUBLISHED:
2016
,
SOURCE:
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
INDEXED IN:
Scopus
IN MY:
ORCID
49
TITLE:
Typed Connector Families
AUTHORS:
Jose Proenca
;
Dave Clarke
;
PUBLISHED:
2016
,
SOURCE:
12th International Conference on Formal Aspects of Component Software (FACS)
in
FORMAL ASPECTS OF COMPONENT SOFTWARE,
VOLUME:
9539
INDEXED IN:
WOS
50
TITLE:
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTHORS:
Gowri Sankar Ramachandran; Wilfried Daniels;
José Proença
; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLISHED:
2015
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 5 of 8. Total results: 75.
<<
<
1
2
3
4
5
6
7
8
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service