Test Generation from Event System Abstractions to Cover Their States and Transitions J. JulliandO. KouchnarenkoG. Voiron OriginalPaper 09 March 2018 Pages: 1 - 14
Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education Dmitry ShachnevDmitry Karpenko OriginalPaper 09 March 2018 Pages: 15 - 22
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population N. O. GaraninaE. A. SidorovaA. S. Seryi OriginalPaper 09 March 2018 Pages: 23 - 34
Support for Parallel and Concurrent Programming in C++ N. I. V’yukovaV. A. GalatenkoS. V. Samborskii OriginalPaper 09 March 2018 Pages: 35 - 42
Satisfying DO-178C Structural Coverage Objectives V. P. KozyrevM. A. Saburov OriginalPaper 09 March 2018 Pages: 43 - 50
Theorem Prover for Intuitionistic Logic Based on the Inverse Method V. A. PavlovV. G. Pak OriginalPaper 09 March 2018 Pages: 51 - 61
PosDB: An Architecture Overview G. A. ChernishevV. A. GalaktionovK. K. Smirnov OriginalPaper 09 March 2018 Pages: 62 - 74