Francisco Cipriano da Cunha Martins
AuthID: R-000-5AA
41
TITLE: Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
AUTHORS: Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T Vasconcelos ; Max Grossman;
PUBLISHED: 2017, SOURCE: PACMPL, VOLUME: 1, ISSUE: OOPSLA
AUTHORS: Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T Vasconcelos ; Max Grossman;
PUBLISHED: 2017, SOURCE: PACMPL, VOLUME: 1, ISSUE: OOPSLA
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP42
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 WOS43
TITLE: Using BPMN to model Internet of Things behavior within business process
AUTHORS: Dulce Domingos ; Francisco Martins;
PUBLISHED: 2017, SOURCE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, ISSUE: 4
AUTHORS: Dulce Domingos ; Francisco Martins;
PUBLISHED: 2017, SOURCE: IJISPM-INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS AND PROJECT MANAGEMENT, VOLUME: 5, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS44
TITLE: Modelling IoT behaviour within BPMN Business Processes
AUTHORS: Francisco Martins; Dulce Domingos ;
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: Francisco Martins; Dulce Domingos ;
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
INDEXED IN: Scopus WOS
Scopus WOS45
TITLE: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
46
TITLE: Using an Automatic Tool to Identify Potential Readability Issues in a Large Sample of Medicinal Package Inserts
AUTHORS: Pires, C; Cavaco, A; Martins, F; Vigario, M;
PUBLISHED: 2015, SOURCE: METHODS OF INFORMATION IN MEDICINE, VOLUME: 54, ISSUE: 4
AUTHORS: Pires, C; Cavaco, A; Martins, F; Vigario, M;
PUBLISHED: 2015, SOURCE: METHODS OF INFORMATION IN MEDICINE, VOLUME: 54, ISSUE: 4
47
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
48
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in 20TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP 2015)
AUTHORS: Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in 20TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP 2015)
INDEXED IN: WOS
WOS49
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
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP50
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