Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service