![]() |
Young informatics - 2014 |
![]() |
Collection of papers of graduate students and young scientists
|
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 |