External Links

    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
    runs on