| |
| 2007 | ||
|---|---|---|
| 4 | EE | Igor V. Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov: Hybrid Multi-module Security Policy Verification. POLICY 2007: 277 |
| 2005 | ||
| 3 | EE | 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) | |
| 1 | Olga Chervatuk | [4] |
| 2 | V. Iaroslavski | [2] |
| 3 | Nikolai Kossovski | [1] [2] |
| 4 | Igor V. Kotenko | [3] [4] |
| 5 | Ekaterina Sidelnikova | [3] [4] |