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


A Logical Characteristic of Bisimulation Equivalences for Timed Stable Event Structures
An Unfolding Reduction of Safe Time Petri Nets
Constructing Algebraic Lattices for Prime Event Structures
Foundations of SPARQL
Automated Test Generation for Checking Parallelization and Vectorization of Loops in the Compiler
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.