| |
| 2008 | ||
|---|---|---|
| 3 | EE | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124 |
| 2 | EE | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Checking Traces for Regulatory Conformance. RV 2008: 86-103 |
| 2007 | ||
| 1 | EE | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160 |
| 1 | Aravind K. Joshi | [1] [2] [3] |
| 2 | Insup Lee | [1] [2] [3] |
| 3 | Oleg Sokolsky | [1] [2] [3] |