Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
41
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
42
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
43
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
ORCID44
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
45
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
46
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2
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: 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
49
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
DBLP50
TITLE: A Middleware Framework for the Internet of Things
AUTHORS: Bruno Valente; Francisco Martins;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Advances in Future Internet (AFIN) in PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011)
AUTHORS: Bruno Valente; Francisco Martins;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Advances in Future Internet (AFIN) in PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011)
INDEXED IN: WOS
WOS