Publicacoes - INESC TEC

Publicações

Publicações por Luís Lopes

2009

Programming Wireless Sensor Networks

Autores
Lopes, LMB; Martins, F; Barros, J;

Publicação
Middleware for Network Eccentric and Mobile Applications

Abstract
Sensor networks can be viewed as a collection of tiny, low-cost devices programmed to sense the physical world and that communicate over radio links [12]. The devices are commonly called motes or smart dust [676], in allusion to their computational and sensing capabilities, as well as their increasingly small size. © 2009 Springer Berlin Heidelberg.

FecharLer Abstract

2006

A Calculus for Sensor Networks

Autores
Silva, MiguelS.; Martins, Francisco; Lopes, LuisM.B.; Barros, Joao;

Publicação
CoRR

Abstract

2007

A Formal Model for Programming Wireless Sensor Networks

Autores
Lopes, LuisM.B.; Martins, Francisco; Silva, MiguelS.; Barros, Joao;

Publicação
CoRR

Abstract

2008

The Mob core language and abstract machine (rev 0.2)

Autores
Paulino, Herve; Lopes, LuisM.B.;

Publicação
CoRR

Abstract

2009

Towards the Safe Programming of Wireless Sensor Networks

Autores
Martins, F; Lopes, LMB; Barros, J;

Publicação
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009.

Abstract

2012

Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Autores
Martins, F; Lopes, LMB; Paulino, H;

Publicação
S-CUBE

Abstract