|
Search the dblp DataBase
Nikos Gorogiannis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nikos Gorogiannis, Mark Ryan
Requirements, specifications, and minimal refinement. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
- Nikos Gorogiannis, Mark Ryan
Implementation of Belief Change Operators Using BDDs. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:70, n:1, pp:131-156 [Journal]
- Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in modal and temporal logics. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2007, v:19, n:2, pp:273- [Journal]
- Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in model and termporal logics. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2007, v:19, n:1, pp:35-62 [Journal]
Argumentation about Treatment Efficacy. [Citation Graph (, )][DBLP]
Merging First-Order Knowledge Using Dilation Operators. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|