Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Publicações Confirmadas: 44



31
TÍTULO: Ad-hoc changes in IoT-aware business processes
AUTORES: Dulce Domingos ; Francisco Martins ; Ricardo Martinho ; Mário J. Silva ;
PUBLICAÇÃO: 2010, FONTE: 2nd International Internet of Things Conference, IoT 2010 in 2010 Internet of Things (IOT), IoT for a green Planet, Tokyo, Japan, November 29 - December 1, 2010. Proceedings
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: Types for X10 Clocks  Full Text
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2010, FONTE: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., VOLUME: 69
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
33
TÍTULO: Compiling the π-calculus into a Multithreaded Typed Assembly Language
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Programming Wireless Sensor Networks  Full Text
AUTORES: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLICAÇÃO: 2009, FONTE: Middleware for Network Eccentric and Mobile Applications
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Towards the Safe Programming of Wireless Sensor Networks
AUTORES: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLICAÇÃO: 2009, FONTE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
AUTORES: Vasco Thudichum Vasconcelos ; Francisco Martins ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2009, FONTE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Automatic Generation of WSN Simulations: From Callas Applications to VisualSense Models
AUTORES: Duarte Vieira; Francisco Martins ;
PUBLICAÇÃO: 2008, FONTE: 4th International Conference on Sensor Technologies and Applications (SENSORCOMM) in 2010 FOURTH INTERNATIONAL CONFERENCE ON SENSOR TECHNOLOGIES AND APPLICATIONS (SENSORCOMM)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
38
TÍTULO: Behavioural theory at work: Program transformations in a service-centired calculus
AUTORES: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: A process calculus approach to sensor network programming
AUTORES: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLICAÇÃO: 2007, FONTE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Disciplining orchestration and conversation in service-oriented computing
AUTORES: Ivan Lanese; Vasco T Vasconcelos ; Francisco Martins ; Anotnio Ravara ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 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