Huan Chen
AuthID: R-00H-88C
1
TÃTULO: A Two-Variable Model for SAT-Based ATPG Full Text
AUTORES: Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, NÚMERO: 12
AUTORES: Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, NÚMERO: 12
2
TÃTULO: QBf-based Boolean function bi-decomposition PDF
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 in Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: abs/1112.2313
INDEXADO EM: 
Scopus 
DBLP 
arXiv
Scopus DBLP arXiv3
TÃTULO: New & improved models for SAT-based bi-decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 22nd Great Lakes Symposium on VLSI, GLSVLSI'2012 in Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012
4
TÃTULO: QBF-Based Boolean Function Bi-Decomposition
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
AUTORES: Chen, H; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
INDEXADO EM: 
WOS DBLP
WOS DBLP5
TÃTULO: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers, VOLUME: 379
6
TÃTULO: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
AUTORES: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
7
TÃTULO: TG-PRO: A new model for SAT-based ATPG
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
AUTORES: Huan Chen; João Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
