Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Confirmed Publications: 44



1
TITLE: A Type Discipline for Message Passing Parallel Programs  Full Text
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco ; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2
TITLE: A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes
AUTHORS: Martins, F ; Domingos, D ; Vitoriano, D;
PUBLISHED: 2020, SOURCE: 21st International Conference on Enterprise Information Systems (ICEIS) in ENTERPRISE INFORMATION SYSTEMS (ICEIS 2019), VOLUME: 378
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
3
TITLE: Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution
AUTHORS: Martins, F ; Domingos, D ; Vitoriano, D;
PUBLISHED: 2019, SOURCE: 21st International Conference on Enterprise Information Systems (ICEIS) in PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2019), VOL 2, VOLUME: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
4
TITLE: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTHORS: Cogumbreiro, T; Hu, R; Martins, F ; Yoshida, N;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 41, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
5
TITLE: HeadREST: A Specification Language for RESTful APIs
AUTHORS: Vasco T Vasconcelos ; Francisco Martins ; Antónia Lopes ; Nuno Burnay;
PUBLISHED: 2019, SOURCE: Models, Languages, and Tools for Concurrent and Distributed Programming, VOLUME: 11665 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
6
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Inferring Types for Parallel Programs  Full Text
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLISHED: 2017, SOURCE: PLACES@ETAPS, VOLUME: 246
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
8
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
INDEXED IN: Scopus WOS CrossRef: 27
IN MY: ORCID | CIÊNCIAVITAE
9
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
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: A safe-by-design programming language for wireless sensor networks  Full Text
AUTHORS: Lopes, L ; Martins, F ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
Page 1 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service