Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Confirmed Publications: 44



1
TITLE: A Type Discipline for Message Passing Parallel Programs
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: 2
IN MY: DBLP | CIÊNCIAVITAE
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 CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
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 2019 in ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems, VOLUME: 2
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
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 CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
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 - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
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 PDF  Full Text
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
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: Luis Lopes ; Francisco Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

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