Journal: Programming and Computer Software

Volume 38, Issue 6

281 -- 293Michael A. H. Fried, Anna Fensel, Federico Michele Facca, Dieter Fensel. Information systems for enhancing social experience in a conference context: A sensor based approach
294 -- 303Natalya Olegovna Garanina. Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
304 -- 314Elena N. Bozhenkova. Composition methods for constructing characteristic formulas for dense-time models
315 -- 326Leonid A. Kalinichenko. Effective support of databases with ontological dependencies: Relational languages instead of description logics
327 -- 334E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov. Targeted data generation for application testing on databases

Volume 38, Issue 5

219 -- 230Evgenii Vityaev, Alexander V. Demin, Denis Ponomaryov. Probabilistic generalization of formal concepts
231 -- 244Ilya Klyuchnikov, Sergei A. Romanenko. Higher-level supercompilation as a metasystem transition
245 -- 256Mikhail Mandrykin, Vadim Mutilin, Eugene Novikov, Alexey V. Khoroshilov, Pavel Shved. Using linux device drivers for static verification tools benchmarking
257 -- 267Andrey V. Ponomarenko, Vladimir V. Rubanov. Backward compatibility of software interfaces: Steps towards automatic verification
268 -- 275Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman. Model-based testing of internet e-mail protocols
276 -- 280Denis V. Silakov. The use of hardware virtualization in the context of information security

Volume 38, Issue 4

167 -- 182Mikhail R. Kogalovsky. Ontology-based data access systems
183 -- 188V. A. Vasenin, M. A. Krivchikov. ECMA-335 static formal semantics
189 -- 200A. I. Ilyushin, M. A. Olenin, S. A. Vasil'ev. Solution of parallel computation problem based on "space-time" concept
201 -- 209Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann. FSM-based testing from user defined faults adapted to incremental and mutation testing
210 -- 217A. Sapozhnikov. Automation of the construction of models of normal program behavior

Volume 38, Issue 3

109 -- 118A. Korotkov. A new double sorting-based node splitting algorithm for R-tree
119 -- 126R. A. Sokolov, A. V. Ermolovich. Background optimization in full system binary translation
127 -- 133Natalia Shabaldina, R. F. Galimullin. On deriving test suites for nondeterministic finite state machines with time-outs
134 -- 142Pavel Shved, Vadim Mutilin, Mikhail Mandrykin. Experience of improving the blast static verification tool
143 -- 149N. S. Kovalenko, P. A. Pavlov. Optimal grouping algorithm of identically distributed systems
150 -- 155E. I. Ganzha. On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol
156 -- 166Alexander N. Prokopenya. Hamiltonian normalization in the restricted many-body problem by computer algebra methods

Volume 38, Issue 2

57 -- 72Alexander D. Bruno, A. B. Batkhin. Resolution of an algebraic singularity by power geometry algorithms
73 -- 83Thomas Wolf, Eberhard Schrüfer, Kenneth Webster. Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs
84 -- 91Sergei A. Abramov, D. E. Khmelnov. Denominators of rational solutions of linear difference systems of an arbitrary order
92 -- 101Mikhail V. Zinin. BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
102 -- 104O. V. Kaptsov. On the Goursat classification problem
105 -- 108Ekaterina Shemyakova. Laplace transformations as the only degenerate Darboux transformations of first order

Volume 38, Issue 1

1 -- 12Ivar Jacobson, Shihong Huang, Mira Kajko-Mattsson, Paul McMahon, Ed Seymour. Semat - Three Year Vision
13 -- 23Anna A. Gorbenko, Vladimir Yu. Popov. Programming for modular reconfigurable robots
24 -- 33Denis V. Silakov. Using virtualization to protect application address space inside untrusted environment
34 -- 42Mikhail M. Chupilko. Developing test systems for multi-modules hardware designs
43 -- 56A. A. Kalenkova. An algorithm of automatic workflow optimization