Completeness and universality properties of graph invariants and graph polynomials. - Ilia Averbouch (2011)

Facilitating timing debug by logic path correspondence. - Oshri Adler; Eli Arbel; Ilia Averbouch; Ilan Beer; Inna Grijnevitch (DATE, 2014)