ProfileOfResearchers

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

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

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

NO MEU:

ORCID |

DBLP

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

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

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

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

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

TÃTULO: SCC: A service centered calculus
AUTORES: Boreale, M; Bruni, R; Caires, L ; De Nicola, R; Lanese, I; Loreti, M; Martins, F ; Montanari, U; Ravara, A ; Sangiorgi, D; Vasconcelos, V ; Zavattaro, G;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4184 LNCS

INDEXADO EM:

Scopus

DBLP

CrossRef: 74

NO MEU:

ORCID |

DBLP

TÃTULO: History-based access control for distributed processes
AUTORES: Martins, F ; Vasconcelos, V ;
PUBLICAÇÃO: 2005, FONTE: International Symposium on Trustworthy Global Computing, TGC 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3705 LNCS

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

DBLP