Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



1
TÍTULO: A Type Discipline for Message Passing Parallel Programs
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: 2
NO MEU: DBLP | CIÊNCIAVITAE
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 CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
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 2019 in ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems, VOLUME: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
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 CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
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 - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
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 PDF  Full Text
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLICAÇÃO: 2017, FONTE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017., VOLUME: 246
INDEXADO EM: Scopus DBLP arXiv CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
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: Luis Lopes ; Francisco Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 5. Total de resultados: 44.

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

Links Úteis

Ajuda

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