Nikos Gorogiannis

	2008
7		Nikos Gorogiannis, Anthony Hunter: Merging First-Order Knowledge Using Dilation Operators. FoIKS 2008: 132-150
6		Nikos Gorogiannis, Anthony Hunter: Implementing semantic merging operators using binary decision diagrams. Int. J. Approx. Reasoning 49(1): 234-251 (2008)
	2007
5		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in model and termporal logics. Formal Asp. Comput. 19(1): 35-62 (2007)
4		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(2): 273 (2007)
3		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(4): 417-444 (2007)
	2002
2		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)

Coauthor Index

1	Anthony Hunter	[6] [7]
2	Mark Ryan (Mark Dermot Ryan)	[1] [2] [3] [4] [5]

Colors in the list of coauthors