Francisco Cipriano da Cunha Martins


AuthID: R-000-5AA

Confirmed Publications: 44



31
TITLE: Integrating WSN Simulation into Workflow Testing and Execution
AUTHORS: Duarte Vieira; Francisco Martins ;
PUBLISHED: 2010, SOURCE: S-CUBE, VOLUME: 57
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
32
TITLE: Types for X10 Clocks  Full Text
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Tiago Cogumbreiro;
PUBLISHED: 2010, SOURCE: PLACES, VOLUME: 69
INDEXED IN: DBLP CrossRef: 1
33
TITLE: Programming Wireless Sensor Networks  Full Text
AUTHORS: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLISHED: 2009, SOURCE: Middleware for Network Eccentric and Mobile Applications
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
34
TITLE: Towards the Safe Programming of Wireless Sensor Networks  Full Text
AUTHORS: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
35
TITLE: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language  Full Text
AUTHORS: Vasco Thudichum Vasconcelos ; Francisco Martins ; Tiago Cogumbreiro;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID
36
TITLE: Automatic Generation of WSN Simulations: From Callas Applications to VisualSense Models
AUTHORS: Duarte Vieira; Francisco Martins ;
PUBLISHED: 2008, SOURCE: 4th International Conference on Sensor Technologies and Applications (SENSORCOMM) in 2010 FOURTH INTERNATIONAL CONFERENCE ON SENSOR TECHNOLOGIES AND APPLICATIONS (SENSORCOMM)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
37
TITLE: Behavioural theory at work: Program transformations in a service-centired calculus
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Vasconcelos, VT ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
38
TITLE: Compiling the pi-calculus into a Multithreaded Typed Assembly Language
AUTHORS: Tiago Cogumbreiro; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2008, SOURCE: PLACES@DisCoTec, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
39
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
40
TITLE: Disciplining orchestration and conversation in service-oriented computing
AUTHORS: Lanese, I; Vasconcelos, VT ; Martins, F ; Ravara, A ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID
Page 4 of 5. Total results: 44.

footer slogan

Useful Links

Get Help

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