Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
41
TÃTULO: Using BPMN to model Internet of Things behavior within business process
AUTORES: Domingos, D ; Martins, F;
PUBLICAÇÃO: 2017, FONTE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, NÚMERO: 4
AUTORES: Domingos, D ; Martins, F;
PUBLICAÇÃO: 2017, FONTE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, NÚMERO: 4
42
TÃTULO: Modelling IoT behaviour within BPMN Business Processes
AUTORES: Martins, F; Domingos, D ;
PUBLICAÇÃO: 2017, FONTE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121
AUTORES: Martins, F; Domingos, D ;
PUBLICAÇÃO: 2017, FONTE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121
43
TÃTULO: Deductive verification of MPI protocols
AUTORES: Vasco T Vasconcelos; Francisco Martins; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English
AUTORES: Vasco T Vasconcelos; Francisco Martins; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID44
TÃTULO: Behavioral Types in Programming Languages
AUTORES: Ancona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G; Denielou, PM; Gay, SJ; Gesbert, N; Giachino, E; Hu, R; Johnsen, EB; Martins, F; Mascardi, V; Montesi, F; Neykova, R; Ng, N; Padovani, L; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2016, FONTE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, NÚMERO: 2-3
AUTORES: Ancona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G; Denielou, PM; Gay, SJ; Gesbert, N; Giachino, E; Hu, R; Johnsen, EB; Martins, F; Mascardi, V; Montesi, F; Neykova, R; Ng, N; Padovani, L; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2016, FONTE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, NÚMERO: 2-3
45
TÃTULO: Management of Long-Segment and Panurethral Stricture Disease Full Text
AUTORES: Francisco E Martins; Sanjay B Kulkarni; Pankaj Joshi; Jonathan Warner; Natalia Martins;
PUBLICAÇÃO: 2015, FONTE: ADVANCES IN UROLOGY, VOLUME: 2015
AUTORES: Francisco E Martins; Sanjay B Kulkarni; Pankaj Joshi; Jonathan Warner; Natalia Martins;
PUBLICAÇÃO: 2015, FONTE: ADVANCES IN UROLOGY, VOLUME: 2015
46
TÃTULO: Towards programmable coordination of unmanned vehicle networks
AUTORES: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2
AUTORES: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2
47
TÃTULO: Protocol-based verification of message-passing parallel programs
AUTORES: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
AUTORES: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID48
TÃTULO: Homogeneous Wireless Sensor Network Programming using MuFFIN
AUTORES: Rui Pires; Francisco Martins; Dulce Domingos ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014
AUTORES: Rui Pires; Francisco Martins; Dulce Domingos ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014
49
TÃTULO: Internet of Things Aware WS-BPEL Business Process
AUTORES: Domingos, D ; Martins, F; Candido, C;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2
AUTORES: Domingos, D ; Martins, F; Candido, C;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2
INDEXADO EM: 
WOS 
DBLP
WOS DBLP NO MEU: DBLP
DBLP50
TÃTULO: A Middleware Framework for the Internet of Things
AUTORES: Bruno Valente; Francisco Martins;
PUBLICAÇÃO: 2011, FONTE: 3rd International Conference on Advances in Future Internet (AFIN) in PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011)
AUTORES: Bruno Valente; Francisco Martins;
PUBLICAÇÃO: 2011, FONTE: 3rd International Conference on Advances in Future Internet (AFIN) in PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011)
INDEXADO EM: WOS
WOS