BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jiang:Jie=Hong_Roland

Contributed to:

CAV 20122012
DAC 20122012
SAT 20122012
DAC 20082008
DATE 20052005
TACAS 20052005
CAV 20042004
DATE 20032003
DAC 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.