![]() |
| 2005 | ||
|---|---|---|
| 3 | EE | Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005) |
| 2004 | ||
| 2 | EE | Catherine Menon, Charles Lakos: Towards a Semantic Basis for Rosetta. ACSC 2004: 175-184 |
| 2003 | ||
| 1 | EE | Cindy Kong, Perry Alexander, Catherine Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. UCS 9(11): 1322-1349 (2003) |
| 1 | Perry Alexander | [1] |
| 2 | Michael Johnson | [3] |
| 3 | Cindy Kong | [1] |
| 4 | Charles Lakos | [2] [3] |