Francisco Martins

	2009
13		Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electr. Notes Theor. Comput. Sci. 241: 57-84 (2009)
	2008
12		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		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		Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
9		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		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		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		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		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		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		Francisco Martins, Vasco Thudichum Vasconcelos: History-Based Access Control for Distributed Processes. TGC 2005: 98-115
	2002
1		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)

Coauthor Index

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

Colors in the list of coauthors