Antônio Otávio Fernandes Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antônio Otávio Fernandes, Luiz Fernando Etrusco Moreira, José Monteiro da Mata: Machine vision applications and development aspects. ICCA 2011: 1274-1278
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes: A modular CNF-based SAT solver. SBCCI 2010: 198-203
2008
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169
2007
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Luiza A. P. Zuquim, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Hervaldo S. Carvalho, José Augusto Miranda Nacif, Claudionor Coelho, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Antonio Alfredo Ferreira Loureiro: Efficient power management in real-time embedded systems. ETFA (1) 2003: 496-505
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes, Julio C. D. Conway, Fábio L. Correa Jr., Hervaldo S. Carvalho, José Monteiro da Mata: A biomedical wearable device for remote monitoring of physiological signals. ETFA (2) 2003: 708-713
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diogenes C. da Silva Jr.: Refactoring digital hardware designs with assertion libraries. HLDVT 2003: 37-42
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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-
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Jones Albuquerque
[c1]
2Fabrício Vivas Andrade
[c20] [c18] [c15] [c13]
3Luis C. G. Andrade
[c2]
4André L. L. de Aquino
[c17] [c16] [c14] [c12] [c11]
5Luciana S. Buriol
[c14] [c12]
6Hervaldo S. Carvalho
[c8] [c7] [c2]
7Carlos Frederico Cavalcanti
[c1]
8Claudionor Coelho
[j1] [c21] [c8]
9Claudionor José Nunes Coelho Jr.
[c19] [c14] [c13] [c12] [c11] [c10] [c9] [c7] [c6] [c4] [c3] [c2] [c1]
10Julio C. D. Conway
[c7] [c2]
11Fábio L. Correa Jr.
[c7]
12Carlos Mauricio S. Figueiredo
[c16] [c14] [c12] [c11]
13Harry Foster
[c9] [c6] [c3]
14Alejandro César Frery
[c16]
15Antonio Alfredo Ferreira Loureiro
[c17] [c16] [c14] [c12] [c11] [c10] [c8] [c5]
16José Monteiro da Mata
[c22] [c7] [c4]
17Raquel A. F. Mini
[c17] [c10]
18Luiz Fernando Etrusco Moreira
[c22] [c4]
19José Augusto Miranda Nacif
[j1] [c21] [c19] [c10] [c9] [c8] [c6] [c3]
20Eduardo Freire Nakamura
[c16] [c14] [c12] [c11]
21José Marcos S. Nogueira
[c5]
22Márcia C. M. Oliveira
[c13]
23Rodrigo M. Passos
[c10]
24Flávio Miana de Paula
[c6] [c3]
25Linnyer Beatrys Ruiz
[c5]
26Georgia Penido Safe
[j1]
27Fernando Cortez Sica
[c9]
28Leandro Maia Silva
[c18] [c15]
29Thiago S. F. Silva
[c21] [c19]
30Diogenes C. da Silva Jr.
[c6]
31Diógenes Cecilio da Silva Jr.
[c8] [c4] [c2] [c1]
32Andréa Iabrudi Tavares
[c19]
33Joseph Tompkins
[c6]
34Celina Gomes Do Val
[j1]
35Alex Borges Vieira
[c21] [c8]
36Bernardo C. Vieira
[c20]
37Luiz Filipe M. Vieira
[j1] [c21] [c8] [c5]
38Marcos Augusto M. Vieira
[c8] [c5]
39Romanelli Lodron Zuim
[c4]
40Ana Luiza A. P. Zuquim
[c8]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 13:21:57 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page