 | 2008 |
|---|
| 5 |       | Paul T. Darga,
Karem A. Sakallah,
Igor L. Markov:
Faster symmetry discovery using sparsity of symmetries.
DAC 2008: 149-154 |
| 4 | | Michael Roberson,
Melanie Harries,
Paul T. Darga,
Chandrasekhar Boyapati:
Efficient software model checking of soundness of type systems.
OOPSLA 2008: 493-504 |
| 2006 |
|---|
| 3 | | Chandrasekhar Boyapati,
Paul T. Darga:
Efficient Software Model Checking of Data Structure Properties.
Directed Model Checking 2006 |
| 2 | | Paul T. Darga,
Chandrasekhar Boyapati:
Efficient software model checking of data structure properties.
OOPSLA 2006: 363-382 |
| 2004 |
|---|
| 1 | | Paul T. Darga,
Mark H. Liffiton,
Karem A. Sakallah,
Igor L. Markov:
Exploiting structure in symmetry detection for CNF.
DAC 2004: 530-534 |
