Francisco Martins

	2010
18		Dulce Domingos, Francisco Martins, Ricardo Martinho, Mario Silva: Ad-hoc changes in IoT-aware business processes. IOT 2010
17		Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro: Types for X10 Clocks PLACES 2010: 111-129
16		Duarte Vieira, Francisco Martins: Integrating WSN Simulation into Workflow Testing and Execution. S-CUBE 2010: 205-218
	2009
15		Francisco Martins, Luís M. B. Lopes, João Barros: Towards the Safe Programming of Wireless Sensor Networks PLACES 2009: 49-62
14		Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES 2009: 95-109
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: 41-60 (2002)

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page