dblp.uni-trier.dewww.uni-trier.de

Nikos Gorogiannis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)