Travelled to:1 × Italy
1 × United Kingdom
2 × Germany
5 × USA
Collaborated with:R.K.Brayton A.Mishchenko C.Han Y.Chung ∅ V.Balabanov H.K.Chiang R.Lee W.Hung J.Jou J.Huang T.Villa N.Yevtushenko
Talks about:function (4) boolean (3) satisfi (2) resynthesi (1) decomposit (1) transform (1) represent (1) synthesi (1) quantifi (1) interpol (1)
Person: Jie-Hong Roland Jiang
DBLP: Jiang:Jie=Hong_Roland
Contributed to:
2012
2012
20122008
2005
2005200420031998Wrote 9 papers:
- CAV-2012-HanJ #satisfiability
- When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way (CSH, JHRJ), pp. 410–426.
- DAC-2012-ChungJ #analysis #functional #performance
- Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.
- SAT-2012-BalabanovCJ #quantifier
- Henkin Quantifiers and Boolean Formulae (VB, HJKC, JHRJ), pp. 129–142.
- DAC-2008-LeeJH #satisfiability #scalability
- Bi-decomposing large Boolean functions via interpolation and satisfiability solving (RRL, JHRJ, WLH), pp. 636–641.
- DATE-2005-MishchenkoBJVY #equation #performance #using
- Efficient Solution of Language Equations Using Partitioned Representations (AM, RKB, JHRJ, TV, NY), pp. 418–423.
- TACAS-2005-Jiang #invariant #on the
- On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.
- CAV-2004-JiangB #dependence #functional #reduction #verification
- Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
- DATE-2003-JiangMB #algebra #multi
- Reducing Multi-Valued Algebraic Operations to Binary (JHRJ, AM, RKB), pp. 10752–10757.
- DAC-1998-JiangJH #composition #encoding #synthesis
- Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.