| http://www.w3.org/ns/prov#value | - He has served on the program committees of the International Conference on Computer-Aided Design, the Design Automation Conference, the International Conference of Computer Design, the International Conference on the Theory and Applications of Satisfiability Testing, and other workshops.
|
