![]() |
| 2006 | ||
|---|---|---|
| 2 | EE | Yuliya Zabiyaka, Adnan Darwiche: Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. SAT 2006: 116-129 |
| 2003 | ||
| 1 | EE | Peter S. Pacheco, Patrick Miller, Jin Kim, Taylor Leese, Yuliya Zabiyaka: Object-Oriented NeuroSys: Parallel Programs for Simulating Large Networks of Biologically Accurate Neurons. PVM/MPI 2003: 142-151 |
| 1 | Adnan Darwiche | [2] |
| 2 | Jin Kim | [1] |
| 3 | Taylor Leese | [1] |
| 4 | Patrick Miller | [1] |
| 5 | Peter S. Pacheco | [1] |