Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
41
TITLE: "Horrendoplasty" - A case of total perineal destruction by agricultural implement Full Text
AUTHORS: Pedro Simoes de Oliveira; Tiago Ribeiro de Oliveira; David Martinho; Francisco Martins;
PUBLISHED: 2017, SOURCE: UROLOGY ANNALS, VOLUME: 9, ISSUE: 4
AUTHORS: Pedro Simoes de Oliveira; Tiago Ribeiro de Oliveira; David Martinho; Francisco Martins;
PUBLISHED: 2017, SOURCE: UROLOGY ANNALS, VOLUME: 9, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS42
TITLE: Using BPMN to model Internet of Things behavior within business process
AUTHORS: Domingos, D ; Martins, F;
PUBLISHED: 2017, SOURCE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, ISSUE: 4
AUTHORS: Domingos, D ; Martins, F;
PUBLISHED: 2017, SOURCE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, ISSUE: 4
43
TITLE: Modelling IoT behaviour within BPMN Business Processes
AUTHORS: Martins, F; Domingos, D ;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Martins, F; Domingos, D ;
PUBLISHED: 2017, SOURCE: 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
TITLE: Deductive verification of MPI protocols
AUTHORS: Vasco T Vasconcelos; Francisco Martins; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
AUTHORS: Vasco T Vasconcelos; Francisco Martins; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID45
TITLE: Behavioral Types in Programming Languages
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
46
TITLE: Management of Long-Segment and Panurethral Stricture Disease Full Text
AUTHORS: Francisco E Martins; Sanjay B Kulkarni; Pankaj Joshi; Jonathan Warner; Natalia Martins;
PUBLISHED: 2015, SOURCE: ADVANCES IN UROLOGY, VOLUME: 2015
AUTHORS: Francisco E Martins; Sanjay B Kulkarni; Pankaj Joshi; Jonathan Warner; Natalia Martins;
PUBLISHED: 2015, SOURCE: ADVANCES IN UROLOGY, VOLUME: 2015
47
TITLE: Protocol-based verification of message-passing parallel programs
AUTHORS: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID48
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques; Manuel Ribeiro; José Pinto; João B Sousa; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
AUTHORS: Eduardo R B Marques; Manuel Ribeiro; José Pinto; João B Sousa; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID49
TITLE: Homogeneous Wireless Sensor Network Programming using MuFFIN
AUTHORS: Rui Pires; Francisco Martins; Dulce Domingos ;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Rui Pires; Francisco Martins; Dulce Domingos ;
PUBLISHED: 2014, SOURCE: 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
TITLE: Internet of Things Aware WS-BPEL Business Process
AUTHORS: Domingos, D ; Martins, F; Candido, C;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2
AUTHORS: Domingos, D ; Martins, F; Candido, C;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2
INDEXED IN: WOS 
DBLP
WOS DBLP IN MY: DBLP
DBLP