Ershov Informatics Conference

Keyphrases

Publications

2019

Marina Murtazina, Tatiana V. Avdeenko
An Ontology-Based Approach to the Agile Requirements Engineering. Ershov Informatics Conference (2019)
Maxim Bakaev, Vladimir Khvorostov
Case-Based Genetic Optimization of Web User Interfaces. Ershov Informatics Conference (2019)
Vadiraj Kulkarni, Pavel G. Emelyanov, Denis K. Ponomaryov, Madhava Krishna C, Soumyendu Raha, S. K. Nandy
Parallel Factorization of Boolean Polynomials. Ershov Informatics Conference (2019)
Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
Two-Step Deductive Verification of Control Software Using Reflex. Ershov Informatics Conference (2019)
Thomas Baar
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax. Ershov Informatics Conference (2019)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
Towards Automatic Deductive Verification of C Programs over Linear Arrays. Ershov Informatics Conference (2019)
Valeriy V. Savchenko, Konstantin S. Sorokin, Georgiy A. Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov, Alexander S. Volkov, Kwangwon Sun
Nobrainer: An Example-Driven Framework for C/C++ Code Transformations. Ershov Informatics Conference (2019)
Margarita V. Korovina, Oleg V. Kudinov
Computable Topology for Reliable Computations. Ershov Informatics Conference (2019)
Sophia A. Zelenova, Sergey V. Zelenov
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS. Ershov Informatics Conference (2019)
Oleksandra Panasiuk, Omar Holzknecht, Umutcan Simsek, Elias Kärle, Dieter Fensel
Verification and Validation of Semantic Annotations. Ershov Informatics Conference (2019)
Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. Ershov Informatics Conference (2019)
Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann
Causality-Based Testing in Time Petri Nets. Ershov Informatics Conference (2019)
Yauhen Klimiankou
Rapid Instruction Decoding for IA-32. Ershov Informatics Conference (2019)
Anna V. Korobko, Anna Metus
The Analytical Object Model as a Base of Heterogeneous Data Integration. Ershov Informatics Conference (2019)
Nikolay Kobalo, Alexander Kulikov, Igor Titov
Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm. Ershov Informatics Conference (2019)
Irina Krayneva, Sergey Troshkov
Archival Information Systems: New Opportunities for Historians. Ershov Informatics Conference (2019)
Sergey Kratov
About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers. Ershov Informatics Conference (2019)
Maxim Bakaev, Ekaterina Goltsova, Vladimir Khvorostov, Olga Razumnikova
Data Compression Algorithms in Analysis of UI Layouts Visual Complexity. Ershov Informatics Conference (2019)
Yury A. Zagorulko, Olesya Borovikova
Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains. Ershov Informatics Conference (2019)
Torben Ægidius Mogensen
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress). Ershov Informatics Conference (2019)
Artemiy Firsov, Igor Titov
Inter-country Competition and Collaboration in the miRNA Science Field. Ershov Informatics Conference (2019)
Valeriy N. Kuchuganov, Denis R. Kasimov, Aleksandr V. Kuchuganov
A Logical Approach to the Analysis of Aerospace Images. Ershov Informatics Conference (2019)

volume 11964, 2019

Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers Ershov Informatics Conference 11964 (2019)

volume 10742, 2018

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers Ershov Informatics Conference 10742 (2018)

2017