Antônio Otávio Fernandes

	2008
16		José Augusto Miranda Nacif, Thiago 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]
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 José Nunes Coelho Jr.	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [16]
9	Julio C. D. Conway	[2]
10	Carlos Mauricio S. Figueiredo	[8] [9] [11] [14]
11	Harry Foster	[3] [6]
12	Alejandro César Frery	[14]
13	Antonio Alfredo Ferreira Loureiro	[5] [7] [8] [9] [11] [12] [14]
14	José Monteiro da Mata	[4]
15	Raquel A. F. Mini	[7] [12]
16	Luiz Fernando Etrusco Moreira	[4]
17	José Augusto Miranda Nacif	[3] [6] [7] [16]
18	Eduardo Freire Nakamura	[8] [9] [11] [14]
19	José Marcos S. Nogueira	[5]
20	Márcia C. M. Oliveira	[10]
21	Rodrigo M. Passos	[7]
22	Flávio Miana de Paula	[3]
23	Linnyer Beatrys Ruiz	[5]
24	Fernando Cortez Sica	[6]
25	Leandro Maia Silva	[13] [15]
26	Thiago Silva	[16]
27	Diógenes Cecilio da Silva Jr.	[1] [2] [4]
28	Andréa Iabrudi Tavares	[16]
29	Luiz Filipe M. Vieira	[5]
30	Marcos Augusto M. Vieira	[5]
31	Romanelli Lodron Zuim	[4]