 | 2010 |
|---|
| 10 |       | Aleksandar Dimovski,
Goran Velinov,
Dragan Sahpaski:
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design.
ADBIS 2010: 164-175 |
| 9 | | Aleksandar Dimovski:
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.
IFM 2010: 121-135 |
| 8 | | Adam Bakewell,
Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Data-abstraction refinement: a game semantic approach.
STTT 12(5): 373-389 (2010) |
| 2007 |
|---|
| 7 | | Aleksandar Dimovski,
Ranko Lazic:
Compositional software verification based on game semantics and process algebra.
STTT 9(1): 37-51 (2007) |
| 2006 |
|---|
| 6 | | Aleksandar Dimovski,
Ranko Lazic:
Assume-Guarantee Software Verification Based on Game Semantics.
ICFEM 2006: 529-548 |
| 5 | | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
A Counterexample-Guided Refinement Tool for Open Procedural Programs.
SPIN 2006: 288-292 |
| 2005 |
|---|
| 4 |  | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Abstraction-refinement for game-based model checking.
GALOP 2005: 139 |
| 3 | | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Data-Abstraction Refinement: A Game Semantic Approach.
SAS 2005: 102-117 |
| 2 | | Aleksandar Dimovski,
Ranko Lazic:
Software Model Checking Based on Game Semantics and CSP.
Electr. Notes Theor. Comput. Sci. 128(6): 105-125 (2005) |
| 2004 |
|---|
| 1 | | Aleksandar Dimovski,
Ranko Lazic:
CSP Representation of Game Semantics for Second-Order Idealized Algol.
ICFEM 2004: 146-161 |
Data released under the ODC-BY 1.0 license — See also our legal information page