Search the dblp DataBase

Publications of Author

1. Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga
   Using genetic algorithms to generate test plans for functionality testing. [Citation Graph (0, 0)][DBLP]
   ACM Southeast Regional Conference, 2006, pp:140-145 [Conf]
   
2. Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
   MiKO - Mikado Koncurrent Objects. [Citation Graph (0, 0)][DBLP]
   Foundations of Global Computing, 2005, pp:- [Conf]
   
3. Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga
   On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing. [Citation Graph (0, 0)][DBLP]
   AIAI, 2006, pp:541-548 [Conf]
   
4. Francisco Martins, Neva Slani
   Computing with Idiotypic Networks. [Citation Graph (0, 0)][DBLP]
   Intelligent Information Systems, 2005, pp:673-684 [Conf]
   
5. Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Márcio Braga
   A model for terrain coverage inspired by ant's alarm pheromones. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:728-732 [Conf]
   
6. Francisco Martins, Vasco Thudichum Vasconcelos
   History-Based Access Control for Distributed Processes. [Citation Graph (0, 0)][DBLP]
   TGC, 2005, pp:98-115 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:38-57 [Conf]
   
8. Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
   The Impact of Linearity Information on the Performance of TyCO. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
   
9. Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros
   A Formal Model for Programming Wireless Sensor Networks [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
10. Miguel S. Silva, Francisco Martins, Luis Lopes, João Barros
    A Calculus for Sensor Networks [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
11. 
    Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP]
    
    
13. 
    Towards the Safe Programming of Wireless Sensor Networks [Citation Graph (, )][DBLP]
    
    
14. 
    Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language [Citation Graph (, )][DBLP]
    
    
15. 
    Compiling the pi-calculus into a Multithreaded Typed Assembly Language. [Citation Graph (, )][DBLP]