Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
41
TÃTULO: "Horrendoplasty" - A case of total perineal destruction by agricultural implement Full Text
AUTORES: Pedro Simoes de Oliveira; Tiago Ribeiro de Oliveira; David Martinho; Francisco Martins;
PUBLICAÇÃO: 2017, FONTE: UROLOGY ANNALS, VOLUME: 9, NÚMERO: 4
AUTORES: Pedro Simoes de Oliveira; Tiago Ribeiro de Oliveira; David Martinho; Francisco Martins;
PUBLICAÇÃO: 2017, FONTE: UROLOGY ANNALS, VOLUME: 9, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS42
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
43
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
44
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
ORCID45
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
46
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
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: Towards programmable coordination of unmanned vehicle networks
AUTORES: Eduardo R B Marques; Manuel Ribeiro; José Pinto; João B Sousa; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2
AUTORES: Eduardo R B Marques; Manuel Ribeiro; José Pinto; João B Sousa; Francisco Martins;
PUBLICAÇÃO: 2015, FONTE: IFAC-PapersOnLine, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID49
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
50
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
DBLP