| 2006 |
|---|
| 6 | EE | Jin S. Zhang,
Alan Mishchenko,
Robert K. Brayton,
Malgorzata Chrzanowska-Jeske:
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability.
DAC 2006: 510-515 |
| 5 | EE | Alan Mishchenko,
Jin S. Zhang,
Subarnarekha Sinha,
Jerry R. Burch,
Robert K. Brayton,
Malgorzata Chrzanowska-Jeske:
Using simulation and satisfiability to compute flexibilities in Boolean networks.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 743-755 (2006) |
| 4 | EE | Jin S. Zhang,
Malgorzata Chrzanowska-Jeske,
Alan Mishchenko,
Jerry R. Burch:
Linear cofactor relationships in Boolean functions.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(6): 1011-1023 (2006) |
| 2005 |
|---|
| 3 | EE | Jin S. Zhang,
Malgorzata Chrzanowska-Jeske,
Alan Mishchenko,
Jerry R. Burch:
Detecting support-reducing bound sets using two-cofactor symmetries.
ASP-DAC 2005: 266-271 |
| 2 | EE | Grzegorz Blakiewicz,
Marcin Jeske,
Malgorzata Chrzanowska-Jeske,
Jin S. Zhang:
Substrate noise modeling in early floorplanning of MS-SOCs.
ASP-DAC 2005: 819-823 |
| 1997 |
|---|
| 1 | EE | Marek A. Perkowski,
Malgorzata Marek-Sadowska,
Lech Józwiak,
Tadeusz Luba,
Stan Grygiel,
Miroslawa Nowicka,
Rahul Malvi,
Zhi Wang,
Jin S. Zhang:
Decomposition of Multiple-Valued Relations .
ISMVL 1997: 13-18 |
