Francisco Martins

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

12EELuí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
11EERonaldo 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
10EEIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
9EELuí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)
8EEFrancisca 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
7EEFrancisca 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
6EEMichele 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
5EEMiguel S. Silva, Francisco Martins, Luís M. B. Lopes, João Barros: A Calculus for Sensor Networks CoRR abs/cs/0612093: (2006)
4EEFrancisco 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
2EEFrancisco Martins, Vasco Thudichum Vasconcelos: History-Based Access Control for Distributed Processes. TGC 2005: 98-115
1EEFrancisco 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)

Coauthor Index

1João Barros [5] [9]
2Michele Boreale [6]
3Márcio Braga [7] [8] [11]
4Roberto Bruni [6]
5Luís Caires [6]
6Luís Cruz-Filipe [12]
7Ivan Lanese [6] [10] [12]
8Luís M. B. Lopes [1] [4] [5] [9]
9Michele Loreti [6]
10Ronaldo Menezes [7] [8] [11]
11Ugo Montanari [6]
12Rocco De Nicola [6]
13António Ravara [6] [10] [12]
14Liliana Salvador [4]
15Davide Sangiorgi [6]
16Miguel S. Silva [5] [9]
17Rafael Silva [7] [8] [11]
18Neva Slani [3]
19Vasco Thudichum Vasconcelos [1] [2] [4] [6] [10] [12]
20Francisca Emanuelle Vieira [7] [8] [11]
21Gianluigi Zavattaro [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)