Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 32



1
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
2
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: 8
NO MEU: ORCID | DBLP
3
TÍTULO: Decentralising Internet of Things Aware BPMN Business Processes
AUTORES: Domingos, D ; Martins, F ; Caiola, L;
PUBLICAÇÃO: 2015, FONTE: 5th International Conference on Sensor Systems and Software (S-CUBE) in SENSOR SYSTEMS AND SOFTWARE, VOLUME: 143
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
4
TÍTULO: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTORES: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, NÚMERO: 189
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
5
TÍTULO: Dynamic Deadlock Verification for General Barrier Synchronisation  Full Text
AUTORES: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
6
TÍTULO: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTORES: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
7
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10
INDEXADO EM: WOS DBLP CrossRef: 24
NO MEU: DBLP
8
TÍTULO: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTORES: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLICAÇÃO: 2014, FONTE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
9
TÍTULO: Internet of Things Aware WS-BPEL Business Processes - Context Variables and Expected Exceptions
AUTORES: Dulce Domingos ; Francisco Martins ; Carlos Candido; Ricardo Martinho ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
10
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 1 de 4. Total de resultados: 32.

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

Links Úteis

Ajuda

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