dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Henrique do N. Cunha Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher: Enhancing IP cores specifications using hierarchical composition and set theory. Design Autom. for Emb. Sys. 15(3-4): 225-245 (2011)
2009
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha: Improving functional verification of embedded systems using hierarchical composition and set theory. SAC 2009: 1632-1636
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia, Henrique do N. Cunha: A methodology aimed at better integration of functional verification and RTL design. Design Autom. for Emb. Sys. 10(4): 285-298 (2005)

Coauthor Index

1Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo) [3]
2Dalton Serey Guerrero (Dalton Dario Serey Guerrero) [3]
3Isaac Maia [1]
4Elmar U. K. Melcher [1] [3]
5Cássio L. Rodrigues [2] [3]
6Karina R. G. da Silva [1] [2] [3]

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