| 2008 | ||
|---|---|---|
| 3 | 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 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Checking Traces for Regulatory Conformance. RV 2008: 86-103 | |
| 2007 | ||
| 1 | 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] |