Claudionor Coelho

	2012
3		Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes: Selection of formal verification heuristics for parallel execution. STTT 14(1): 95-108 (2012)
	2011
2		José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho: Tracking hardware evolution. ISQED 2011: 442-447
	2009
1		Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg: Beyond verification: leveraging formal for debugging. DAC 2009: 648-651

Coauthor Index

1	Antônio Otávio Fernandes	[2] [3]
2	José Augusto Miranda Nacif	[2] [3]
3	Rajeev K. Ranjan	[1]
4	Georgia Penido Safe	[3]
5	Thiago S. F. Silva	[2]
6	Sebastian Skalberg	[1]
7	Celina Gomes Do Val	[3]
8	Alex Borges Vieira	[2]
9	Luiz Filipe M. Vieira	[2] [3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page