Publications

Publications by Luís Lopes

2009

Programming Wireless Sensor Networks

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

Publication
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.

CloseRead Abstract

2006

A Calculus for Sensor Networks

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

Publication
CoRR

Abstract

2007

A Formal Model for Programming Wireless Sensor Networks

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

Publication
CoRR

Abstract

2008

The Mob core language and abstract machine (rev 0.2)

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

Publication
CoRR

Abstract

2009

Towards the Safe Programming of Wireless Sensor Networks

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

Publication
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

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

Publication
S-CUBE

Abstract