Antônio Otávio Fernandes

	2012
20		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
19		Antônio Otávio Fernandes, Luiz Fernando Etrusco Moreira, José Monteiro da Mata: Machine vision applications and development aspects. ICCA 2011: 1274-1278
18		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
	2010
17		Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes: A modular CNF-based SAT solver. SBCCI 2010: 198-203
	2008
16		José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: Efficient Allocation of Verification Resources using Revision History Information. DDECS 2008: 190-194
15		Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD 2008: 40-45
14		André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Alejandro César Frery, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes: Sensor stream reduction for clustered wireless sensor networks. SAC 2008: 2052-2056
13		Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169
12		André L. L. de Aquino, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Raquel A. F. Mini: An in-network reduction algorithm for real-time wireless sensor network applications. WMuNeP 2008: 18-25
	2007
11		André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: Data Stream Based Algorithms For Wireless Sensor Network Applications. AINA 2007: 869-876
10		Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. DDECS 2007: 397-402
9		André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Luciana S. Buriol, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: A Sampling Data Stream Algorithm For Wireless Sensor Networks. ICC 2007: 3207-3212
8		André L. L. de Aquino, Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: On The Use Data Reduction Algorithms for Real-Time Wireless Sensor Networks. ISCC 2007: 583-588
	2006
7		Rodrigo M. Passos, José Augusto Miranda Nacif, Raquel A. F. Mini, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.: System-level Dynamic Power Management Techniques for Communication Intensive Devices. VLSI-SoC 2006: 373-378
	2004
6		Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes: Exception handling in microprocessors using assertion libraries. SBCCI 2004: 55-59
	2003
5		Marcos Augusto M. Vieira, Luiz Filipe M. Vieira, Linnyer Beatrys Ruiz, Antonio Alfredo Ferreira Loureiro, Antônio Otávio Fernandes, José Marcos S. Nogueira: Scheduling Nodes in Wireless Sensor Networks: A Voronoi Approach. LCN 2003: 423-429
4		Romanelli Lodron Zuim, Claudionor José Nunes Coelho Jr., Luiz Fernando Etrusco Moreira, Antônio Otávio Fernandes, José Monteiro da Mata, Diógenes Cecilio da Silva Jr.: Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs. SBCCI 2003: 289-
3		José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes: The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. VLSI-SOC 2003: 111-
	2000
2		Julio C. D. Conway, Claudionor José Nunes Coelho Jr., Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Luis C. G. Andrade, Hervaldo S. Carvalho: Wearable Computer as a Multi-parametric Monitor for Physiological Signals. BIBE 2000: 236-242
	1999
1		Jones Albuquerque, Claudionor José Nunes Coelho Jr., Carlos Frederico Cavalcanti, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes: System-level partitioning with uncertainty. CODES 1999: 198-202

Coauthor Index

1	Jones Albuquerque	[1]
2	Fabrício Vivas Andrade	[10] [13] [15] [17]
3	Luis C. G. Andrade	[2]
4	André L. L. de Aquino	[8] [9] [11] [12] [14]
5	Luciana S. Buriol	[9] [11]
6	Hervaldo S. Carvalho	[2]
7	Carlos Frederico Cavalcanti	[1]
8	Claudionor Coelho	[18] [20]
9	Claudionor José Nunes Coelho Jr.	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [16]
10	Julio C. D. Conway	[2]
11	Carlos Mauricio S. Figueiredo	[8] [9] [11] [14]
12	Harry Foster	[3] [6]
13	Alejandro César Frery	[14]
14	Antonio Alfredo Ferreira Loureiro	[5] [7] [8] [9] [11] [12] [14]
15	José Monteiro da Mata	[4] [19]
16	Raquel A. F. Mini	[7] [12]
17	Luiz Fernando Etrusco Moreira	[4] [19]
18	José Augusto Miranda Nacif	[3] [6] [7] [16] [18] [20]
19	Eduardo Freire Nakamura	[8] [9] [11] [14]
20	José Marcos S. Nogueira	[5]
21	Márcia C. M. Oliveira	[10]
22	Rodrigo M. Passos	[7]
23	Flávio Miana de Paula	[3]
24	Linnyer Beatrys Ruiz	[5]
25	Georgia Penido Safe	[20]
26	Fernando Cortez Sica	[6]
27	Leandro Maia Silva	[13] [15]
28	Thiago S. F. Silva	[16] [18]
29	Diógenes Cecilio da Silva Jr.	[1] [2] [4]
30	Andréa Iabrudi Tavares	[16]
31	Celina Gomes Do Val	[20]
32	Alex Borges Vieira	[18]
33	Bernardo C. Vieira	[17]
34	Luiz Filipe M. Vieira	[5] [18] [20]
35	Marcos Augusto M. Vieira	[5]
36	Romanelli Lodron Zuim	[4]

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