Young informatics - 2014

Collection of papers of graduate students and young scientists
Issue 4
Edited by N.S. Gribovskaya, Ph.D.
Novosibirsk 2014

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.

The articles are available in Russian only as PDF document


Arabadzhi O.V., Gribovskaya N.S.
A Logical Characteristic of Bisimulation Equivalences for Timed Stable Event Structures
Borovlyov V.A.
An Unfolding Reduction of Safe Time Petri Nets
Erofeev E.K.
Constructing Algebraic Lattices for Prime Event Structures
Leshtaev S.V.
Foundations of SPARQL
Pankratov S.B.
Automated Test Generation for Checking Parallelization and Vectorization of Loops in the Compiler
Plotnikova Yu.E.
An Alternative Characterization of Zones for Time Petri Nets with Dynamic Priorities



You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.