Skip to main content
SpringerLink
Log in

Perspectives of System Informatics

12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Nikolaj Bjørner

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Irina Virbitskaite

    1. AP Ershov Institute of Informatics Systems, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrei Voronkov

    1. School of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11964)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PSI 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Rapid Instruction Decoding for IA-32

    • Yauhen Klimiankou
    Pages 1-9

  3. Case-Based Genetic Optimization of Web User Interfaces

    • Maxim Bakaev, Vladimir Khvorostov
    Pages 10-25

  4. Inter-country Competition and Collaboration in the miRNA Science Field

    • Artemiy Firsov, Igor Titov
    Pages 26-40

  5. Archival Information Systems: New Opportunities for Historians

    • Irina Krayneva, Sergey Troshkov
    Pages 41-49

  6. Two-Step Deductive Verification of Control Software Using Reflex

    • Igor Anureev, Natalia Garanina, Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
    Pages 50-63

  7. Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing

    • Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon
    Pages 64-79

  8. Parallel Factorization of Boolean Polynomials

    • Vadiraj Kulkarni, Pavel Emelyanov, Denis Ponomaryov, Madhava Krishna, Soumyendu Raha, S. K. Nandy
    Pages 80-94

  9. Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains

    • Yury Zagorulko, Olesya Borovikova
    Pages 95-105

  10. The Analytical Object Model as a Base of Heterogeneous Data Integration

    • Anna Korobko, Anna Metus
    Pages 106-115

  11. Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm

    • Nikolay Kobalo, Alexander Kulikov, Igor Titov
    Pages 116-124

  12. A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax

    • Thomas Baar
    Pages 125-139

  13. Nobrainer: An Example-Driven Framework for C/C++ Code Transformations

    • Valeriy Savchenko, Konstantin Sorokin, Georgiy Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov et al.
    Pages 140-155

  14. A Logical Approach to the Analysis of Aerospace Images

    • Valeriy Kuchuganov, Denis Kasimov, Aleksandr Kuchuganov
    Pages 156-166

  15. Data Compression Algorithms in Analysis of UI Layouts Visual Complexity

    • Maxim Bakaev, Ekaterina Goltsova, Vladimir Khvorostov, Olga Razumnikova
    Pages 167-184

  16. Computable Topology for Reliable Computations

    • Margarita Korovina, Oleg Kudinov
    Pages 185-198

  17. About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers

    • Sergey Kratov
    Pages 199-204

  18. An Ontology-Based Approach to the Agile Requirements Engineering

    • Marina Murtazina, Tatiana Avdeenko
    Pages 205-213

  19. Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

    • Sophia A. Zelenova, Sergey V. Zelenov
    Pages 214-222

  20. Verification and Validation of Semantic Annotations

    • Oleksandra Panasiuk, Omar Holzknecht, Umutcan Şimşek, Elias Kärle, Dieter Fensel
    Pages 223-231
Back to top

Other volumes

  1. Perspectives of System Informatics

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.


The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory,  and much more.


Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Nikolaj Bjørner

  • AP Ershov Institute of Informatics Systems, Novosibirsk, Russia

    Irina Virbitskaite

  • School of Computer Science, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation