| 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) |
