基本信息
views: 19
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
JOSÉ MIGUEL PAIVA PROENÇA is a researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating coordination aspects and formal methods in the context of Cyber-Physical Systems. He is currently involved as a researcher in 1 H2020 project and in 2 FCT projects, in one of which as coordinator. He belongs to the steering committee of 2 international conferences, acted as program-committee chair for 5 international research venues with edited proceedings, edited 2 journal volumes, was the member of 16 program-committees, reviewed 8 journals and 34 publications, and collaborated with 58 researchers for his scientific publications.
He graduated from the University of Minho as the best student in Math & Computer Science (2005), and executed his PhD in CWI, Amsterdam – a research institute in the top 28 of Europe and top 83 worldwide (http://research.webometrics.info). He worked on coordination models: models that describe how runtime components can interact with each other under the supervision of Prof. Farhad Arbab. In 2010 he joined KU Leuven University, in Belgium – a university in the top 11 of Europe and top 77 worldwide (same source as above). He continued to work in the coordination field and investigated variability within the HATS european (FP7) project, collaborating mainly with Prof. Dave Clarke. In 2014 he started to collaborate within the Wireless Sensor Group, mainly with Prof. Danny Hughes, where modelling and experimenting with communication models in resource-constraint devices. In 2015 he returned to U.Minho, working as a post-doctoral researcher collaborating with Prof. Luis Barbosa, and taught as an invited assistant professor at U.Minho (2016-1019).
Research Interests
Papers共 75 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023 (2024): 194-205
International Conference on Coordination Models and Languagespp.161-198, (2024)
arxiv(2024)
Cited0Views0Bibtex
0
0
Lecture Notes in Computer Sciencepp.163-171, (2023)
Giann Spilere Nandi,David Pereira,José Proença,Eduardo Tovar, Antonio González Rodríguez, Pablo Garrido
Open research Europe (2023): 113-113
CoRR (2023): 163-171
CoRR (2023): 27-39
Dagstuhl Artifacts Ser.no. 2 (2022): 19:1-19:4
Cited0Views0EIBibtex
0
0
Load More
Author Statistics
#Papers: 75
#Citation: 695
H-Index: 17
G-Index: 24
Sociability: 4
Diversity: 2
Activity: 9
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn