| 2008 |
|---|
| 12 | EE | Luís Cruz-Filipe,
Ivan Lanese,
Francisco Martins,
António Ravara,
Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
FMOODS 2008: 59-77 |
| 2007 |
|---|
| 11 | EE | Ronaldo Menezes,
Francisco Martins,
Francisca Emanuelle Vieira,
Rafael Silva,
Márcio Braga:
A model for terrain coverage inspired by ant's alarm pheromones.
SAC 2007: 728-732 |
| 10 | EE | Ivan Lanese,
Francisco Martins,
Vasco Thudichum Vasconcelos,
António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM 2007: 305-314 |
| 9 | EE | Luís M. B. Lopes,
Francisco Martins,
Miguel S. Silva,
João Barros:
A Formal Model for Programming Wireless Sensor Networks
CoRR abs/cs/0702042: (2007) |
| 2006 |
|---|
| 8 | EE | Francisca Emanuelle Vieira,
Francisco Martins,
Rafael Silva,
Ronaldo Menezes,
Márcio Braga:
Using genetic algorithms to generate test plans for functionality testing.
ACM Southeast Regional Conference 2006: 140-145 |
| 7 | EE | Francisca Emanuelle Vieira,
Francisco Martins,
Rafael Silva,
Ronaldo Menezes,
Márcio Braga:
On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing.
AIAI 2006: 541-548 |
| 6 | EE | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
| 5 | EE | Miguel S. Silva,
Francisco Martins,
Luís M. B. Lopes,
João Barros:
A Calculus for Sensor Networks
CoRR abs/cs/0612093: (2006) |
| 2005 |
|---|
| 4 | EE | Francisco Martins,
Liliana Salvador,
Vasco Thudichum Vasconcelos,
Luís M. B. Lopes:
MiKO - Mikado Koncurrent Objects.
Foundations of Global Computing 2005 |
| 3 | | Francisco Martins,
Neva Slani:
Computing with Idiotypic Networks.
Intelligent Information Systems 2005: 673-684 |
| 2 | EE | Francisco Martins,
Vasco Thudichum Vasconcelos:
History-Based Access Control for Distributed Processes.
TGC 2005: 98-115 |
| 2002 |
|---|
| 1 | EE | Francisco Martins,
Luís M. B. Lopes,
Vasco Thudichum Vasconcelos:
The Impact of Linearity Information on the Performance of TyCO.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
