Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarProgramming and Computer Software, Volume 38
Volume 38, Number 1, January 2012
Ivar Jacobson, Shihong Huang, Mira Kajko-Mattsson, Paul McMahon, Ed Seymour:
Semat - Three Year Vision. 1-12- Denis V. Silakov:
Using virtualization to protect application address space inside untrusted environment. 24-33
Volume 38, Number 2, March 2012
- Alexander D. Bruno, A. B. Batkhin:
Resolution of an algebraic singularity by power geometry algorithms. 57-72 - Thomas Wolf, Eberhard Schrüfer, Kenneth Webster:
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. 73-83 - Sergei A. Abramov, D. E. Khmelnov:
Denominators of rational solutions of linear difference systems of an arbitrary order. 84-91 - Mikhail V. Zinin:
BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. 92-101 - Ekaterina Shemyakova:
Laplace transformations as the only degenerate Darboux transformations of first order. 105-108
Volume 38, Number 3, June 2012
- Natalia Shabaldina, R. F. Galimullin:
On deriving test suites for nondeterministic finite state machines with time-outs. 127-133 - Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin:
Experience of improving the blast static verification tool. 134-142 - N. S. Kovalenko, P. A. Pavlov:
Optimal grouping algorithm of identically distributed systems. 143-149 - E. I. Ganzha:
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. 150-155 - Alexander N. Prokopenya:
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. 156-166
Volume 38, Number 4, July 2012
- A. I. Ilyushin, M. A. Olenin, S. A. Vasil'ev:
Solution of parallel computation problem based on "space-time" concept. 189-200 - Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann:
FSM-based testing from user defined faults adapted to incremental and mutation testing. 201-209
Volume 38, Number 5, September 2012
- Evgenii Vityaev, Alexander V. Demin, Denis K. Ponomaryov:
Probabilistic generalization of formal concepts. 219-230 - Ilya G. Klyuchnikov, Sergei A. Romanenko:
Higher-level supercompilation as a metasystem transition. 231-244 - Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved:
Using linux device drivers for static verification tools benchmarking. 245-256 - Andrey V. Ponomarenko, Vladimir V. Rubanov:
Backward compatibility of software interfaces: Steps towards automatic verification. 257-267 - Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman:
Model-based testing of internet e-mail protocols. 268-275 - Denis V. Silakov:
The use of hardware virtualization in the context of information security. 276-280
Volume 38, Number 6, November 2012
- Michael A. H. Fried, Anna Fensel, Federico Michele Facca, Dieter Fensel:
Information systems for enhancing social experience in a conference context: A sensor based approach. 281-293 - Natalya Olegovna Garanina:
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. 294-303 - Elena N. Bozhenkova:
Composition methods for constructing characteristic formulas for dense-time models. 304-314 - Leonid A. Kalinichenko:
Effective support of databases with ontological dependencies: Relational languages instead of description logics. 315-326 - E. A. Kostychev, V. A. Omel'chenko, Sergey V. Zelenov:
Targeted data generation for application testing on databases. 327-334
maintained by 
, founded at 
, founded at 
last updated on 2019-02-16 22:55 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
