| |
| 2008 | ||
|---|---|---|
| 7 | EE | Nikos Gorogiannis, Anthony Hunter: Merging First-Order Knowledge Using Dilation Operators. FoIKS 2008: 132-150 |
| 6 | EE | Nikos Gorogiannis, Anthony Hunter: Implementing semantic merging operators using binary decision diagrams. Int. J. Approx. Reasoning 49(1): 234-251 (2008) |
| 2007 | ||
| 5 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in model and termporal logics. Formal Asp. Comput. 19(1): 35-62 (2007) |
| 4 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(2): 273 (2007) |
| 3 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(4): 417-444 (2007) |
| 2002 | ||
| 2 | EE | Nikos Gorogiannis, Mark Ryan: Requirements, specifications, and minimal refinement. Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 1 | Nikos Gorogiannis, Mark Ryan: Implementation of Belief Change Operators Using BDDs. Studia Logica 70(1): 131-156 (2002) | |
| 1 | Anthony Hunter | [6] [7] |
| 2 | Mark Ryan (Mark Dermot Ryan) | [1] [2] [3] [4] [5] |