1 | -- | 14 | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. Test Generation from Event System Abstractions to Cover Their States and Transitions |
15 | -- | 22 | Dmitry Shachnev, Dmitry Karpenko. Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education |
23 | -- | 34 | Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi. Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population |
35 | -- | 42 | N. I. V'yukova, V. A. Galatenko, S. V. Samborskii. Support for Parallel and Concurrent Programming in C++ |
43 | -- | 50 | V. P. Kozyrev, M. A. Saburov. Satisfying DO-178C Structural Coverage Objectives |
51 | -- | 61 | Vladimir Pavlov, Vadim Pak. Theorem Prover for Intuitionistic Logic Based on the Inverse Method |
62 | -- | 74 | George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov 0001. PosDB: An Architecture Overview |