Jorge Figueiredo

	2011
4		Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245
3		Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
	2010
2		Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior: Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
	2008
1		Jorge Figueiredo, Jacques Philippe Sauvé, Pedro Nicolletti, Eloi Rocha, Sérgio Araújo, Fructuoso Amorim, Anderson Feitosa, Ronaldo Agra, Willames Ribeiro: Smart Action: A Tool to Help Power System Restoration. HICSS 2008: 167

Coauthor Index

1	Ronaldo Agra	[1]
2	Fructuoso Amorim	[1]
3	André Aranha	[3]
4	Sérgio Araújo	[1]
5	Paulo E. S. Barbosa	[2] [3] [4]
6	João Paulo Barros	[3] [4]
7	Anikó Costa	[2] [3] [4]
8	Anderson Feitosa	[1]
9	Luís Gomes	[2] [3] [4]
10	Antonio D. dos S. Junior	[2]
11	André Monteiro	[4]
12	Filipe Moutinho	[3] [4]
13	Pedro Nicolletti	[1]
14	Franklin Ramalho (Franklin de S. Ramalho)	[2] [3] [4]
15	Willames Ribeiro	[1]
16	Eloi Rocha	[1]
17	Jacques Philippe Sauvé	[1]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page