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