 | 2007 |
|---|
| 5 |       | Igor V. Kotenko,
Artem Tishkov,
Olga Chervatuk,
Ekaterina Sidelnikova:
Security Policy Verification Tool for Geographical Information Systems.
IF&GIS 2007: 128-146 |
| 4 | | Igor V. Kotenko,
Olga Chervatuk,
Ekaterina Sidelnikova,
Artem Tishkov:
Hybrid Multi-module Security Policy Verification.
POLICY 2007: 277 |
| 2005 |
|---|
| 3 | | Artem Tishkov,
Igor V. Kotenko,
Ekaterina Sidelnikova:
Security Checker Architecture for Policy-Based Security Management.
MMM-ACNS 2005: 460-465 |
| 1999 |
|---|
| 2 |  | Nikolai Kossovski,
Artem Tishkov,
V. Iaroslavski:
The Propositional n-Agent Logic.
CEEMAS 1999 |
| 1998 |
|---|
| 1 | | Nikolai Kossovski,
Artem Tishkov:
Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.
Sci. Ann. Cuza Univ. 8: 114-120 (1998) |
