Collaboration platforms, such as GitHub and Slack, are a vital instrument in the day-to-day routine of software engineering teams. The data stored in these platforms has a significant value for datadriven methods that assist with decision-making and help improve software quality. However, the distribution of this data across different platforms leads to the fact that combining it is a very timeconsuming process. Most existing algorithms for socio-technical assistance, such as recommendation systems, are based only on data directly related to the purpose of the algorithms, often originating from a single system. In this work, we explore the capabilities of a multimodal recommendation system in the context of software engineering. Using records of interaction between employees in a software company in messenger channels and repositories, as well as the organizational structure, we build several channel recommendation models for a software engineering collaboration platform, and compare them on historical data. In addition, we implement a channel recommendation bot and assess the quality of recommendations from the best models with a user study. We find that the multimodal recommender yields better recommendations than unimodal baselines, allows to mitigate the overfitting problem, and helps to deal with cold start. Our findings suggest that the multimodal approach is promising for other recommendation problems in software engineering.

MSR 2022

Improving State-of-the-Art in One-Class Classification by Leveraging Unlabeled Data

March 2022

Farid Bagirov, Dmitry Ivanov, Aleksei Shpilman

Arxiv preprint

Legacy of Tunka-Rex Software and Data

December 2021

P. Bezyazeekov for the Tunka-Rex Collaboration

The 5th International Workshop on Deep Learning in Computational Physics (DLCP2021) - Short papers

Using Modern Machine Learning Methods on KASCADE Data for Outreach and Education

December 2021

V. Tokareva, D. Kostunin, I. Plokhikh and V. Sotnikov

The 5th International Workshop on Deep Learning in Computational Physics (DLCP2021)

Relativistic runaway electron avalanches within complex thunderstorm electric field structures

Design of the Event Metadata System for the Experiments at NICA

September 2021

July 2021

Gertsenberger K., Alexandrov I., Filozova I., Alexandrov E., Moshkin A., Chebotov A., Mineev M., Pryahina D., Shestakova G., Yakovlev A., Nozik A., Klimai P.

Acquiring, storing, processing and analyzing experimental and simulated data are an integral part of all modern high-energy physics experiments. These tasks are of particular importance in the experiments of the NICA megaproject at the Joint Institute for Nuclear Research (JINR) due to the high interaction rate and particle multiplicity of ion collision events. Therefore the task of automating the considered processes for the NICA complex is a very urgent topic. This article describes the status of the development of new information systems as well as a set of convenient information services for collaboration members to automate storing and processing of data and information on the experiments. The Geometry Information System and Online Electronic Logbook, which are on the final stage of implementation, are presented. In addition, the design of the Condition Database and Event Metadata System, which are scheduled to be completed next year, are described in detail. The systems provide storing of information required for event processing and physics analysis and organize a transparent, unified access and data management throughout the life cycle of the scientific research in the NICA megaproject. One of the key aspects—the integration of the information systems with the experiment software systems—is also presented.

Physics of Particles and Nuclei

Classification and Denoising of Cosmic-Ray Radio Signals using Deep Learning

July 2021

A. Rehman, A. Coleman, F.G. Schröder and D. Kostunin

PoS ICRC 2021 (2021) 417

First-Order Reasoning and Efficient Semi-Algebraic Proofs

May 2021

Fedor Part, Neil Thapen and Iddo Tzameret

LICS 2021

Semi-supervised peak calling with SPAN and JBR Genome Browser

May 2021

Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Petr Tsurinov, Maxim N Artyomov

Bioinformatics, btab376

Electron evaporation from magnetic trap in Troitsk nu-mass experiment

May 2021

March 2021

Florian Laurent, Manuel Schneider, Christian Scheller, Jeremy Watson, Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Konstantin Makhnev, Oleg Svidchenko, Vladimir Egorov, Dmitry Ivanov, Aleksei Shpilman, Evgenija Spirovska, Oliver Tanevski, Aleksandar Nikov, Ramon Grunder, David Galevski, Jakov Mitrovski, Guillaume Sartoretti, Zhiyao Luo, Mehul Damani, Nilabha Bhattacharya, Shivam Agarwal, Adrian Egli, Erik Nygren, Sharada Mohanty

NeurIPS 2020 Competition and Demonstration Track

2021

Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich

Mechanized Theory of Event Structures: A Case of Parallel Register Machine

2021

Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov

Syrcose'21

September 2020

Paul Ralph, Sebastian Baltes, Gianisa Adisaputri, Richard Torkar, Vladimir Kovalenko, Marcos Kalinowski, Nicole Novielli, Shin Yoo, Xavier Devroey, Xin Tan, Minghui Zhou, Burak Turhan, Rashina Hoda, Hideaki Hata, Gregorio Robles, Amin Milani Fard, and Rana Alkadhi

Empirical Software Engineering (EMSE)

August 2020

LNCS, vol 12232

Recursive Expressions for SPARQL Property Paths

August 2020

Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante

Regular expressions are used in SPARQL property paths to query RDF graphs. However, regular expressions can only define the most limited class of languages, called regular languages. Context-free languages are a wider class containing all regular languages. There are no context-free expressions to define them, so it is necessary to write grammars. We propose an extension of regular expressions, called recursive expressions, to support the definition of a subset of context-free languages. The goal of our work is therefore to provide simple operators allowing the definition of languages as close as possible to context-free languages.

ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium

Context-Free Path Querying by Kronecker Product

August 2020

June 2020

Yaroslav Golubev, Maria Eliseeva, Nikita Povarov and Timofey Bryksin

17th International Conference on Mining Software Repositories (MSR'20)

POSTER: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

PPoPP 2020: 433-434

Optimizing GPU programs by partial evaluation

February 2020

Aleksey Tyurin, Daniil Berezun, Semyon Grigorev

While GPU utilization allows one to speed up computations to the orders of magnitude, memory management remains the bottleneck making it often a challenge to achieve the desired performance. Hence, different memory optimizations are leveraged to make memory being used more effectively. We propose an approach automating memory management utilizing partial evaluation, a program transformation technique that enables data accesses to be pre-computed, optimized, and embedded into the code, saving memory transactions. An empirical evaluation of our approach shows that the transformed program could be up to 8 times as efficient as the original one in the case of CUDA C naïve string pattern matching algorithm implementation.

PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Making DBMSes Dependency-Aware

January 2020

Conference on Innovative Data Systems Research (CIDR), Amsterdam, Netherlands

Research Challenges Of Industry 4.0

January 2020

Konstantin Chaika

The paper describes the definitions of industry 4.0 and the factors that influence their formation. It describes the areas that it affects and which are involved in the formation of a new generation industry. Paper also discusses problems that arise in areas related to industry 4.0 when combining them and possible ways to solve them, especially the organization of the production process. Making a focus on properties of software for industrial devices.

International Scientific Journal Industry 4.0

Human and mouse single-nucleus transcriptomics reveal TREM2-dependent and TREM2-independent cellular responses in Alzheimer’s disease

January 2020

Yingyue Zhou, Wilbur M Song, Prabhakar S Andhey, Amanda Swain, Tyler Levy, Kelly R Miller, Pietro L Poliani, Manuela Cominelli, Shikha Grover, Susan Gilfillan, Marina Cella, Tyler K Ulland, Konstantin Zaitsev, Akinori Miyashita, Takeshi Ikeuchi, Makoto Sainouchi, Akiyoshi Kakita, David A Bennett, Julie A Schneider, Michael R Nichols, Sean A Beausoleil, Jason D Ulrich, David M Holtzman, Maxim N Artyomov, Marco Colonna

Nature medicine

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

January 2020

Fedor Part and Iddo Tzameret

11th Innovations in Theoretical Computer Science Conference (ITCS) 2020

Path Querying with Conjunctive Grammars by Matrix Multiplication

December 2019

October 2019

Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman

XVI International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY)

Kotlin language for science and Kmath library

October 2019

AIP Conference Proceedings

End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box

October 2019

Vladislav Belyaev, Aleksandra Malysheva, Aleksei Shpilman

XVI International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY)

Optimizing UAV-to-Car Communications in 3D Environments Through Dynamic UAV Positioning

October 2019

August 2019

Eugene Park, Swapneel Patel, Qiuling Wang, Prabhakar Andhey, Konstantin Zaitsev, Sophia Porter, Maxwell Hershey, Michael Bern, Beatrice Plougastel-Douglas, Patrick Collins, Marco Colonna, Kenneth M Murphy, Eugene Oltz, Maxim Artyomov, L David Sibley, Wayne M Yokoyama

eLife

June 2019

We propose a way to combine formal grammars and artificial neural networks for biological sequences processing. Formal grammars encode the secondary structure of the sequence and neural networks deal with mutations and noise. In contrast to the classical way, when probabilistic grammars are used for secondary structure modeling, we propose to use arbitrary (not probabilistic) grammars which simplifies grammar creation. Instead of modeling the structure of the whole sequence, we create a grammar which only describes features of the secondary structure. Then we use matrix-based parsing to extract features: the fact that some substring can be derived from some nonterminal is a feature. After that, we use a dense neural network to process features.

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOINFORMATICS

Interferon lambda protects the female reproductive tract against Zika virus infection

January 2019

Elizabeth A Caine, Suzanne M Scheaffer, Nitin Arora, Konstantin Zaitsev, Maxim N Artyomov, Carolyn B Coyne, Kelle H Moley, Michael S Diamond

Nature communications

Path querying on acyclic graphs using Boolean grammars

January 2019

Shemetova E.N., Grigorev S.V.

One of the problems in graph data analysis is querying for specific paths. Such queries are usually performed by means of a formal grammar that describes the allowed edge-labeling of the paths. Path query is said to be calculated using relational query semantics if it is evaluated to triple ((A,v1,v2), such that there is a path from v1 to v2 such that the labels on the edges of this path form a string derivable from the nonterminal A. We focus on the Boolean languages that use Boolean grammars to describe the labeling of paths. Although path querying using relational query semantics and Boolean grammars is known to be undecidable, in this work we propose a path querying algorithm on acyclic graphs which uses relational query semantics and Boolean grammars and approximates the exact solution. To achieve better performance in compare with the naive algorithm, considered classes of graphs were limited to acyclic graphs.

Proceedings of the Institute for System Programming

Tissue resident CCR2− and CCR2+ cardiac macrophages differentially orchestrate monocyte recruitment and fate specification following myocardial injury

January 2019

Geetika Bajpai, Andrea Bredemeyer, Wenjun Li, Konstantin Zaitsev, Andrew L Koenig, Inessa Lokshina, Jayaram Mohan, Brooke Ivey, His-Min Hsiao, Carla Weinheimer, Attila Kovacs, Slava Epelman, Maxim Artyomov, Daniel Kreisel, Kory J Lavine

Circulation research

Function block finite-state model identification using SAT and CSP solvers

January 2019

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE Transactions on Industrial Informatics

GADMA: Genetic algorithm for inferring demographic history of multiple populations from allele frequency spectrum data

January 2019

Ekaterina Noskova, Vladimir Ulyantsev, Klaus-Peter Koepfli, Stephen J O'brien, Pavel Dobrynin

BioRxiv

Bridging the Gap Between Programming Languages and Hardware Weak Memory Models

January 2019

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

Project page: http://plv.mpi-sws.org/imm/

46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Lisbon, Portugal

Solving Target Set Selection with Bounded Thresholds Faster than 2^n

January 2019

Ivan Bliznets and Danil Sagunov

13th International Symposium on Parameterized and Exact Computation (IPEC 2018)

Designing Proton and Electron Detector for Monitoring Solar Cosmic Rays

January 2019

Bulletin of the Lebedev Physics Institute

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers

2019

Dan Alistarh, Giorgi Nadiradze, Nikita Koval

SPAA 2019: 145-154

A Survey of Smart Contract Safety and Programming Languages

2019

A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun

Preliminary Proceedings of the 13 rd Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2019), May 29-31, 2019 – Saratov, Russian Federation

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Constructive Negation for MiniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Path planning for UAV search using growing area algorithm and clustering

2019

September 2018

Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov and Maxim Artyomov

Proceedings of the 17th European conference on computational biology

September 2018

Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon Grigorev

Transparent integration of a domain-specific language for specification of context-free path queries (CFPQs) into a general-purpose programming language as well as static checking of errors in queries may greatly simplify the development of applications using CFPQs. LINQ and ORM can be used for the integration, but they have issues with flexibility: query decomposition and reusing of subqueries are a challenge. Adaptation of parser combinators technique for paths querying may solve these problems. Conventional parser combinators process linear input, and only the Trails library is known to apply this technique for path querying. We demonstrate that it is possible to create general parser combinators for CFPQ which support arbitrary context-free grammars and arbitrary input graphs. We implement a library of such parser combinators and show that it is applicable for realistic tasks.

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala

Consistency Maintenance in Distributed Analytical Stream Processing

September 2018

Artem Trofimov

In: Benczúr A. et al. (eds) New Trends in Databases and Information Systems. ADBIS 2018. Communications in Computer and Information Science, vol 909. Springer, Cham

Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles

September 2018

Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman

2nd International Workshop on Refactoring (IWoR'18)

Deterministic Model for Distributed Speculative Stream Processing

September 2018

Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov

In: Benczúr A., Thalheim B., Horváth T. (eds) Advances in Databases and Information Systems. ADBIS 2018. Lecture Notes in Computer Science, vol 11019. Springer, Cham

Detecting Near Duplicates in Software Documentation

September 2018

D.V. Luciv, D.V. Koznov, G.A. Chernishev, A.N. Terekhov, K.Y. Romanovsky, D.A. Grigoriev

Programming and Computer Software

An Ontology of Specification Patterns for Verification of Concurrent Systems

September 2018

Garanina N. O., Zyubin V., Lyakh T., Gorlatch S

New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Detecting Anomalies in Kotlin Code

July 2018

Timofey Bryksin, Victor Petukhov, Kirill Smirenko, and Nikita Povarov

2nd International Workshop on Machine Learning techniques for Programming Languages (ML4PL'18)

POSTER: Semi-supervised solution for peak calling

July 2018

Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov, Maxim N. Artyomov

Proceedings of Biata2018 Bioinformatics: from algorithms to applications

Active Learning of Formal Plant Models For Cyber-Physical Systems

July 2018

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

IEEE

Learning to Run with Reward Shaping from Video Data

July 2018

A. Malysheva, A. Shpilman, D. Kudenko

Workshop on Adaptive and Learning Agents (ALA) at ICML-AAMAS

Automated Refactoring of Object-Oriented Code Using Clustering Ensembles

June 2018

Timofey Bryskin, Alexey Shpilman, and Daniel Kudenko

AAAI Workshop on Natural Language Processing for Software Engineering (NLP4SE'18)

Context-free path querying by matrix multiplication

June 2018

Rustam Azimov, Semyon Grigorev

GRADES-NDA '18 Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)

Indexed type theories

June 2018

Valery Isaev

arXiv

FlameStream: Model and Runtime for Distributed Stream Processing

June 2018

Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov

BeyondMR'18 Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond

Building Detection from Satellite Imagery Using a Composite Loss Function

June 2018

S. Golovanov, R. Kurbanov, A. Artamonov, A. Davydow, S. Nikolenko

CVPR Workshop

Code Review for Newcomers: Is It Different?

May 2018

Vladimir Kovalenko and Alberto Bacchelli

11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE'18)

Evaluation of Modern Laser Based Indoor SLAM Algorithms

May 2018

Kirill Krinkin, Anton Filatov, Artyom Filatov, A. Huletski, D. Kartashov

Proceedings of the 22st Conference of Open Innovations Association FRUCT

An Immunocompetent Mouse Model of Zika Virus Infection

May 2018

Matthew J. Gorman, Elizabeth A. Caine, Konstantin Zaitsev, Matthew C. Begley, James Weger-Lucarelli, Melissa B. Uccellini, Shashank Tripathi, Juliet Morrison, Boyd L. Yount, Kenneth H. Dinnon III, Claudia Rückert, Michael C. Young, Zhe Zhu, Shelly J. Robertson, Kristin L. McNally, Jing Ye, Bin Cao, Indira U. Mysorekar, Gregory D. Ebel, Ralph S. Baric, Sonja M. Best, Maxim N. Artyomov, Adolfo Garcia-Sastre, Michael S. Diamond

Cell Host & Microbe, Volume 23, Issue 5, p672–685.e6

Data Distribution Services Performance Evaluation Framework

May 2018

K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov

Proceedings of the 22st Conference of Open Innovations Association FRUCT

Bhlhe40 is an essential repressor of IL-10 during Mycobacterium tuberculosis infection

May 2018

Jeremy P. Huynh, Chih-Chung Lin, Jacqueline M. Kimmey, Nicholas N. Jarjour, Elizabeth A. Schwarzkopf, Tara R. Bradstreet, Irina Shchukina, Oleg Shpynov, Casey T. Weaver, Reshma Taneja, Maxim N. Artyomov, Brian T. Edelson, Christina L. Stallings

Journal of Experimental Medicine

Data-Based Code Synthesis in IntelliJ IDEA

April 2018

Vladislav Tankov and Timofey Bryksin

3rd Conference on Software Engineering and Information Management (SEIM'18)

An optimistic approach to handle out-of-order events within analytical stream processing

April 2018

Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov

Proceedings of the Third Conference on Software Engineering and Information Management. Saint Petersburg, Russia. CEUR Workshop Proceedings, 2135

On-the-Fly Filtering of Aggregation Results in Column-Stores

April 2018

Anastasia Tuchina, Valentin Grigorev, George Chernishev

In Proceedings of the Third Conference on Software Engineering and Information Management. Saint Petersburg, Russia. CEUR Workshop Proceedings, 2135

Electrophilic properties of itaconate and derivatives regulate the IκBζ–ATF3 inflammatory axis

April 2018

Monika Bambouskova, Laurent Gorvel, Vicky Lampropoulou, Alexey Sergushichev, Ekaterina Loginicheva, Kendall Johnson, Daniel Korenfeld, Mary Elizabeth Mathyer, Hyeryun Kim, Li-Hao Huang, Dustin Duncan, Howard Bregman, Abdurrahman Keskin, Andrea Santeford, Rajendra S. Apte, Raghav Sehgal, Britney Johnson, Gaya K. Amarasinghe, Miguel P. Soares, Takashi Satoh, Shizuo Akira, Tsonwin Hai, Cristina de Guzman Strong, Karine Auclair, Thomas P. Roddy, Scott A. Biller, Marko Jovanovic, Eynav Klechevsky, Kelly M. Stewart, Gwendalyn J. Randolph & Maxim N. Artyomov

Nature

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

arXiv

Morita equivalences between algebraic dependent type theories [Preprint]

April 2018

Valery Isaev

arXiv

Targeted sequencing analysis of ACVR2A gene identifies novel risk variants associated with preeclampsia

March 2018

Andrey S. Glotov, Sergey V. Kazakov, Elena S. Vashukova, Vladimir S. Pakin, Maria M. Danilova, Yulia A. Nasykhova, Aleksey E. Masharsky, Elena V. Mozgovaya, Dina R. Eremeeva, Marina S. Zainullina & Vladislav S. Baranov

The Journal of Maternal-Fetal & Neonatal Medicine

Irg1 expression in myeloid cells prevents immunopathology during M. tuberculosis infection

March 2018

Sharmila Nair, Jeremy P. Huynh, Vicky Lampropoulou, Ekaterina Loginicheva, View ORCID ProfileEkaterina Esaulova, Anshu P. Gounder, View ORCID ProfileAdrianus C.M. Boon, Elizabeth A. Schwarzkopf, Tara R. Bradstreet, Brian T. Edelson, Maxim N. Artyomov, Christina L. Stallings, Michael S. Diamond

Journal of Experimental Medicine

Exact finite-state machine identification from scenarios and temporal properties

February 2018

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Springer Berlin Heidelberg

Application of Turchin's method of statistical regularization

January 2018

The European Physical Journal Conferences

DataForge: Modular platform for data storage and analysis

January 2018

The European Physical Journal Conferences

2018

Proceedings ML/OCAML 2016

2018

Modeling and Analysis of Information Systems

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

SEIM-2018

Автоматизация проверки корректности использования программных библиотек

2018

М. Гусев, В. Ицыксон

SEIM-2018

LibSL — язык спецификации компонентов программного обеспечения

2018

Ицыксон В.М.

Программная инженерия, № 5. С. 209-220

Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2018

Егорова И.С., Ицыксон В.М.

Информационно-управляющие системы. № 2. С. 67–75.

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

System Informatics 12 (2018), pp. 84–104

Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators

2018

Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94.

December 2017

August 2017

Tyler K. Ulland, Wilbur M. Song, Stanley Ching-Cheng Huang, Jason D. Ulrich, Alexey Sergushichev, Wandy L. Beatty, Alexander A. Loboda, Yingyue Zhou, Nigel J. Cairns, Amal Kambal, Ekaterina Loginicheva, Susan Gilfillan, Marina Cella, Herbert W. Virgin, Emil R. Unanue, Yaming Wang, Maxim N. Artyomov, David M. Holtzman, Marco Colonna

Cell, Volume 170, Issue 4

2D SLAM Quality Evaluation Methods

August 2017

An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan

Plant trace generation for formal plant model inference: methods and case study

July 2017

Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto

IEEE

Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem

July 2017

Mironovich V., Buzdalov M.

GECCO '17 Proceedings of the Genetic and Evolutionary Computation Conference Companion

CSP-based inference of function block finite-state models from execution traces

July 2017

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Graph Parsing by Matrix Multiplication

July 2017

Rustam Azimov, Semyon Grigorev

arXiv

PosDB: a Distributed Column-Store Engine

June 2017

George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov

In Proceedings of A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition), Moscow, Russia

Promising Compilation to ARMv8 POP

June 2017

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Structural basis for human respiratory syncytial virus NS1-mediated modulation of host responses

June 2017

Srirupa Chatterjee, Priya Luthra, Ekaterina Esaulova, Eugene Agapov, Benjamin C. Yen, Dominika M. Borek, Megan R. Edwards, Anuradha Mittal, David S. Jordan, Parameshwar Ramanan, Martin L. Moore, Rohit V. Pappu, Michael J. Holtzman, Maxim N. Artyomov, Christopher F. Basler, Gaya K. Amarasinghe & Daisy W. Leung

Nature Microbiology 2, Article number: 17101

Ranking Vertices for Active Module Recovery Problem

April 2017

Javlon E. Isomurodov, Alexander A. Loboda, Alexey A. Sergushichev

Algorithms for Computational Biology

A study of PosDB Performance in a Distributed Environment

April 2017

George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov

In Proceedings of the Second Conference on Software Engineering and Information Management. Saint Petersburg, Russia. CEUR Workshop Proceedings, 1864

A survey of database dependency concepts

April 2017

Nikita Bobrov, Anastasia Birillo, George Chernishev.

Proceedings of the Second Conference on Software Engineering and Information Management. Saint Petersburg, Russia

Genomic landscape of high-grade meningiomas

April 2017

Wenya Linda Bi, Noah F. Greenwald, Malak Abedalthagafi, Jeremiah Wala, Will J. Gibson, Pankaj K. Agarwalla, Peleg Horowitz, Steven E. Schumacher, Ekaterina Esaulova, Yu Mei, Aaron Chevalier, Matthew A. Ducar, Aaron R. Thorner, Paul van Hummelen, Anat O. Stemmer-Rachamimov, Maksym Artyomov, Ossama Al-Mefty, Gavin P. Dunn, Sandro Santagata, Ian F. Dunn & Rameen Beroukhim

npj Genomic Medicine 2, Article number: 15

MetaCherchant-an algorithm for analyzing genomic environment of antibiotic resistance gene in gut microbiota

January 2017

E. I. Olekhnovich, A. T. Vasilyev, V. I. Ulyantsev, A. V. Tyakht

bioRxiv

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation

January 2017

Daniil Berezun and Neil D. Jones

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2017

И.С. Егорова , В.М. Ицыксон.

Информационно-управляющие системы. 2017, №6, С. 66-75.

Implementing common table expressions for MariaDB

2017

G. Shalygina and B. Novikov

CEUR Workshop Proceedings, 1864

Chaordic Learning: A Case Study

2017

Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge

Семантически-ориентированная миграция Java-программ: опыт практического применения

2017

Алексюк А.О., Ицыксон В.М.

Моделирование и анализ информационных систем, 24(6):677-690

How to make visual modeling more attractive to software developers

2017

Andrey Terekhov, Timofey Bryksin, Yurii Litvinov

Proceeding of Present and Ulterior Software Engineering (PAUSE) symposium

TRIK Studio: Technical Introduction

2017

Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin

Proceedings of the 20th Conference of Open Innovations Association FRUCT

System for Automatic Checking of Student Solutions for Linux Programming MOOCs

2017

M. Zaslavskiy, M. Kanushin

Second Conference on Software Engineering and Information Management (SEIM-2017) (short papers)

October 2016

A. Huletski, D. Kartashov, K. Krinkin

2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems Sept 19-21, 2016, Baden-Baden, Germany

August 2016

Alexander A. Loboda, Maxim N. Artyomov, Alexey A. Sergushichev

Certified Grammar Transformation to Chomsky Normal Form in F*

August 2016

Marina Polubelova, Sergey Bozhko, Semyon Grigorev

Proceedings of the Institute for System Programming

Itaconate Links Inhibition of Succinate Dehydrogenase with Macrophage Metabolic Remodeling and Regulation of Inflammation

July 2016

V. Lampropoulou, A. Sergushichev, M. Bambouskova, S. Nair, E. Vincent, E. Loginicheva, L. Cervantes-Barragan, X. Ma, S. Huang, T. Griss, C. Weinheimer, S. Khader, G. Randolph, E. Pearce, R. G. Jones, A. Diwan, M. Diamond,M. N. Artyomov

Cell Metabolism

Speed convergence of Fourier series of special form

June 2016

A. Kolpakov, An. Filatov, Ar. Filatov

Izvestiya SPbGETU «LETI»

Relaxed Parsing of Regular Approximations of String-Embedded Languages

June 2016

Ekaterina Verbitskaia , Semyon Grigorev, Dmitry Avdyukhin

We present a technique for syntax analysis of a regular set of input strings. This problem is relevant for the analysis of string-embedded languages when a host program generates clauses of embedded language at run time. Our technique is based on a generalization of RNGLR algorithm, which, inherently, allows us to construct a finite representation of parse forest for regularly approximated set of input strings. This representation can be further utilized for semantic analysis and transformations in the context of reengineering, code maintenance, program understanding etc. The approach in question implements relaxed parsing: non-recognized strings in approximation set are ignored with no error detection.

Perspectives of System Informatics

The Reflex Language Usage to Automate the Large Solar Vacuum Telescope

June 2016

Tatiana Liah, Vladimir Zyubin

17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).

MetaFast: fast reference-free graph-based comparison of shotgun metagenomic data

June 2016

Ulyantsev V.I., Kazakov S.V., Dubinkina V.B., Tyakht A.V., Alexeev D.G.

Bioinformatics

Operational Aspects of C/C++ Concurrency

June 2016

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

arXiv

Abstract predicate entailment over points-to heaplets is syntax recognition

April 2016

Haberland R., Krinkin K., Ivanovskiy S.

Proceedings 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology (FRUCT-ISPIT), 2016 Pp. 66-74

GAM: a web-service for integrated transcriptional and metabolic network analysis

April 2016

Alexey A. Sergushichev, Alexander A. Loboda, Abhishek K. Jha, Emma E. Vincent, Edward M. Driggers, Russell G. Jones, Edward J. Pearce and Maxim N. Artyomov

Nucleic Acids Research, Vol. 44

The Heaviside step function approximation with Taylor polynomial of exponent

April 2016

A. Kolpakov, Ar. Filatov, An. Filatov

Izvestiya SPbGETU «LETI»

Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas

March 2016

Chivilikhin D., Ulyantsev V., Shalyto A.

Automation and Remote Control, Vol. 77, No. 3. - P.473-484

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

arXiv

Assessment of k-mer spectrum applicability for metagenomic dissimilarity analysis

January 2016

Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G.

BMC Bioinformatics

Верификация объектно-ориентированных программ с динамической памятью на основе ссылочной модели

January 2016

Р. Хаберланд, С. А. Ивановский, К. В. Кринкин

Известия СПбГЭТУ “ЛЭТИ”

Survey on formal methods in robotics

2016

D. A. Mordvinov, Yu. V. Litvinov

SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Energy Aware Power Save Mode based AODV Routing for IEEE 802.11s Wireless Mesh Networks

2016

S.P. Shiva Prakash, T.N. Nagabhushan, K.Krinkin

International Journal of Computer Applications, Foundation of Computer Science (FCS), NY, USA Vol. 137 No 4 – 2016

Lexical Analysis of Dynamically Generated String Expressions

2016

Marina Polubelova, Semyon Grigorev

Systems and Means of Informatics

On fuzzy repetitions detection in documentation reuse

2016

Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.

Programming and Computer Software, 42 (4), pp. 216-224

Clone detection in reuse of software technical documentation

2016

Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185

The formalism for semantics specification of software libraries

2016

V. Itsykson

Системная информатика, № 8, 2016

Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation

2016

Daniil Berezun and Neil D. Jones

META 2016 Fifth International Valentin Turchin Workshop on Metacomputation

Message from the ICDE 2016 program committee and general chairs

2016

Mei Hsu, Alfons Kemper, Timos K. Sellis, Boris Novikov, and Eljas Soisalon-Soininen

In 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016, pages i–ii. IEEE Computer Society

Adaptive techniques for extracting mental activity phases from heart beat rate streams

2016

Alina Dubatovka, Elena Mikhailova, Mikhail Zotov, and Boris Novikov

n Guntis Arnicans, Vineta Arnicane, Juris Borzovs, and Laila Niedrite, editors, Databases and Information Systems IX - Selected Papers from the Twelfth International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, volume 291 of Frontiers in Artificial Intelligence and Applications, pages 197–210. IOS Press

Discovering geo-magnetic anomalies: A clustering-based approach

2016

E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova

In Proceedings of the International FRUCT Conference on Intelligence, Social Media and Web, ISMW FRUCT

Database Migration Project: Bridging Industry-Academia Gap

2016

George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov, Andrey Terekhov

In Proceedings of DAMDID / RCDL'2016 (local), pages 132–137, Ershovo

K-means Split Revisited: Well-grounded Approach and Experimental Evaluation

2016

Valentin Grigorev and George Chernishev

In Proceedings of the 2016 International Conference on Management of Data (SIGMOD '16). ACM, New York, NY, USA, 2251-2252.

Метод импорта и обработки открытых данных в LBS-платформе

2016

Заславский М. М., Баландин С. И.

Научно-технический вестник информационных технологий, механики и оптики. Т. 16. № 5. С. 816-822.

Incremental Garbage Collection Library for C++ (in Russian)

2016

E. Moiseenko, D. Berezun

SEIM-16

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver

December 2015

M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 49, Issue 7

Random Model Sampling: Making Craig Interpolation Work When It Should Not

December 2015

Marat Akhin, Sam Kolton, Vladimir Itsykson

Automatic Control and Computer Sciences, Volume 49, Issue 7

Evaluation of the Modern Visual SLAM Methods

November 2015

K. Krinkin, D. Kartashov, A. Huletski

AINL-ISMW FRUCT Conference Proceedings

Design and Implementation Raspberry Pi-based Omni-wheel Mobile Robot

November 2015

K. Krinkin, Elena Stotskaya, Yury Stotskiy

PROCEEDING OF THE AINL-ISMW FRUCT CONFERENCE

Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool

October 2015

Marat Akhin, Alexandr Suhinin

CEE-SECR '15: Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia

Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose-Independent Tumor Growth

October 2015

E. Vincent, A. Sergushichev, T. Griss, M. Gingras, B. Samborska, T. Ntimbane, P. Coelho, J. Blagih, T. Raissi, L. Choinière, G. Bridon, E. Loginicheva, B. Flynn, E. Thomas, J. Tavaré, D. Avizonis, A. Pause, D. Elder, M. Artyomov, R. Jones

Molecular Cell, Vol. 60, Issue 2, p195–207

On development of static analysis tools for string-embedded languages

October 2015

Marat Khabibullin, Andrei Ivanov, Semyon Grigorev

CEE-SECR '15: Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, Article No.: 5, Pages 1–10

A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)

October 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

NTV SPbSTU 4 (224)

Fast Artificial Landmark Detection for Indoor Mobile Robots

September 2015

K. Krinkin, D. Kartashov, A. Huletski

FedCSIS proceedings

A hyperprocess-based approach in Arduino programming

August 2015

Andrey Rozov, Vladimir Zyubin

International Conference on Advanced Technology & Sciences (ICAT’15), Antalya

Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver

August 2015

Ulyantsev V., Melnik M.

Proceedings of International Conference on Algorithms for Computational Biology. - 2015. - 141-153

Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

July 2015

Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.

Proceedings of International Conference on Industrial Informatics. - 2015. - P. 1213-1218.

Proximity points approach for building recommendation system for the “Open Karelia” information system

June 2015

Berlenko T.A., Krinkin K., Zaslavskiy M.

Proceedings of International Conference on Soft Computing and Measurements, SCM 2015

Priority queueing with multiple packet characteristics

April 2015

Chuprikov P., Nikolenko S., Kogan K.

Proceedings of 2015 IEEE Conference on Computer Communications (INFOCOM)

Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization

March 2015

Abhishek K. Jha, Stanley Ching-Cheng Huang, Alexey Sergushichev, Vicky Lampropoulou, Yulia Ivanova, Ekaterina Loginicheva, Karina Chmielewski, Kelly M. Stewart, Juliet Ashall, Bart Everts, Edward J. Pearce, Edward M. Driggers, and Maxim N. Artyomov

Immunity. - Vol. 42, No. 3. - P. 419-430.

BFS-Based Symmetry Breaking Predicates for DFA Identification

February 2015

Ulyantsev V., Zakirzyanov I., Shalyto A.

Proceedings of International Conference on Language and Automata Theory and Applications. - 2015. - P. 611-622.

Modification of the Method of Generation of Control Finite-State Machines with Continuous Actions on Training Examples

January 2015

Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A.

Journal of Computer and Systems Sciences International. - 2015. - Vol. 54., No. 6. - P. 853-865.

Energy Optimized Path Selection in Cluster Based Routing for Wireless Mesh Network

January 2015

Prakash, S.P.S., Nagabhushan, T.N., Krinkin, K.

1st International Conference on Computational Intelligence and Networks (CINE)

Combinators and Type-Driven Transformers in Objective Caml

2015

Dmitry Boulytchev

Science of Computer Programming

View to view transformations in domain specific modeling

2015

Koznov, D.V., Larchik, E.V., Terekhov, A.N.

Programming and Computer Software, 41 (4), pp. 208-214

Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

2015

Chivilikhin D., Ivanov I., Shalyto A.

Proceedings of 17th Genetic and Evolutionary Computation Conference companion (GECCO'15 companion), pp. 1185-1188

Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations

2015

Chivilikhin D., Shalyto A., Patil S., Vyatkin V.

Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN'15), pp. 1239-1242

On development of static analysis tools for string-embedded languages

2015

Marat Khabibullin, Andrei Ivanov, Semyon Grigorev

Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia

Visualization of Execution Paths for Concurrent Programs

2015

Marat Akhin, Andrei Eleshevich

Proceedings of the International Workshop on Applications in Information Technology

A parallel R-tree bulk-loading for shared-memory architecture

2015

Ilya Shkuratov and George Chernishev

In proceedings of CIMSP'15

Towards Self-management in a Distributed Column-Store System

2015

Chernishev George

In: Morzy T., Valduriez P., Bellatreche L. (eds) New Trends in Databases and Information Systems. ADBIS 2015. Communications in Computer and Information Science, vol 539. Springer, Cham.

Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification

2015

M. Belyaev, V. Itsykson

Innopolis

Generalized Table-based LL-parsing

2015

Ragozina Anastasiya, Grigorev Semyon

Systems and Means of Informatics

Implementation of the new REST API for open source LBS-platform Geo2Tag

2015

Zaslavskiy M., Mouromtsev D.

Proceedings of Artificial Intelligence and Natural Language and Information Extraction, Social Media and Web Search FRUCT Conference, AINL-ISMW FRUCT

Fully Homomorphic Encryption for Secure Computations in Protected Database

2015

Darya Chechulina, Kirill Shatilov, Sergey Krendelev

FedCSIS Position Papers 2015: 125-131

Применение гомоморфного шифрования для построения криптосистемы с открытым ключом

2015

В.В. Егорова, Д.К. Чечулина, С.Ф. Кренделев

Проблемы информационной безопасности. Компьютерные системы, №4, 2015 стр. 115-120

Советский суперкомпьютер К-340А и секретные вычисления.

2015

С.Ф. Кренделев

Проблемы информационной безопасности. Компьютерные системы, №4, 2015 стр. 121-123

Query processing: Beyond sql and relations (tutorial)

2015

Boris Novikov

In Tadeusz Morzy, Patrick Valduriez, and Ladjel Bellatreche, editors, Advances in Databases and Information Systems - 19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings, volume 9282 of Lecture Notes in Computer Science, page X. Springer

Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде

2015

А. Алексюк, В. Ицыксон

Материалы конференции "Инструменты и методы анализа программ (TMPA-2015)"

Bi-objective optimization for approximate query evaluation

2015

Anna Yarygina and Boris Novikov

In Tadeusz Morzy, Patrick Valduriez, and Ladjel Bellatreche, editors, New Trends in Databases and Information Systems - ADBIS 2015 Short Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD, Poitiers, France, September 8-11, 2015. Proceedings, volume 539 of Communications in Computer and Information Science, pages 153–161. Springer

Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ

2015

М.А. Беляев, В.М. Ицыксон

Моделирование и анализ информационных систем

Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions

December 2014

M. Akhin, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 48, Issue 7

POSTER: Detecting differential histone modification sites from ChIP-seq data via ranking

November 2014

Evgenii Kurbatckii

Proceedings of the 14th European conference on computational biology

Geocontext extraction methods analysis for determining the new approach to automatic semantic places recognition

November 2014

Zaslavskiy M., Mouromtsev D.

Proceedings of the 16th Conference of Open Innovations Association FRUCT

POSTER: A switching hidden Markov model for bisulfite sequencing

November 2014

Sergei Lebedev, Dmitry Groshev

Proceedings of the 14th European conference on computational biology

On several social network analysis problems

October 2014

Chernishev, G., Sevostyanov, V., Smirnov, K., and Shkuratov, I.

In Selected Papers of XVI All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, Digital Collections Dubna, Russia

Implementation of IPv4 Reflection Scheme for Linux-Based Storage Systems

August 2014

K. Krinkin, M. Krinkin

Internet of Things, Smart Spaces, and Next Generation Networks and Systems Lecture Notes in Computer Science ISSN 0302-9743, Ч. 8638

Geo-Coded Environment for Integrated Smart Systems

February 2014

K. Krinkin and K. Yudenok

ICN 2014, The Thirteenth International Conference on Networks ISSN: 2308-4413, ISBN: 978-1-61208-318-6

Dependence of stress granule formation on microtubules supports the idea of stress granule specific “glue” arising in stress conditions

2014

Shpilman A., Shudinova E., Ivanov P., Nadezhdina E.

54th Annual Meeting of the American Society for Cell Biology

Optimizing resource allocation for approximate real-time query processing

2014

Anna Yarygina and Boris Novikov

Computer Science and Information Systems, 11(1):69–88

The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment

2014

Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill

In: Voronkov A., Virbitskaite I. (eds) Perspectives of System Informatics. PSI 2014. Lecture Notes in Computer Science, vol 8974. Springer, Berlin, Heidelberg

Investigation on Dependence of Stress Granules Formation on Microtubule Network Parameters and Stress Agent Concentration Through Numerical Model

2014

Shpilman A.A., Chudinova E.V., Lubitelev A., Ivanov P.A. Nadezhdina E.S.

V ICMBB

APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS

2014

Krendelev S.F., Kuzmenok A.Yu.

Yakutian Mathematical Journal 2014, ¹4 pp. 31-38

Order-preserving encryption schemes based on arithmetic coding and matrices

2014

Usoltseva M., Krendelev S. and Yakovlev M

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems pp. 891–899

Solution for secure private data storage in a cloud. In Computer Science and Information Systems (FedCSIS)

2014

Kirill Shatilov, Vladislav Boiko, Sergey Krendelev, Diana Anisutina, Artem Sumaneev

Proceedings of the 2014 Federated Conference on, pр. 885–889. IEEE

Polynomial-Time Optimal Pretty-Printing Combinators with Choice

2014

Anton Podkopaev, Dmitry Boulytchev

Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Using Quazi-3D Approach for Microtubule Self-Organization Model

2014

Primako E.M., Shpilman A.A.

V ICMBB

String-embedded Language Support in Integrated Development Environment

2014

Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia 2014

R-tree re-evaluation effort: a report

2014

Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik

Technical report

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement

2014

Fedotovsky P.V., Cherednik K.E., Chernishev G.A.

Труды Института системного программирования РАН. – Т. 26. – №. 4.

Visualization of parallel program execution for software behavior analysis and defect detection.

2014

A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya

Tenth annual conference "Software Engineering Conference (Russia)"

Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics

2014

A. Andrianova and V. Itsykson

Systems and Means of Informatics. Volume 24, Issue 2

Operational semantics of Reflex

2014

Anureev I.S

System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10

Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties

2014

Chivilikhin D., Ulyantsev V., Shalyto A.

Proceedings of the 13th International Conference on Machine Learning and Applications (ICMLA'14), pp. 350-355

Precise Garbage Collection for C++ with a Non-Cooperative Compiler

2014

Daniil Berezun, Dmitry Boulytchev

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia

Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step

December 2013

M. Akhin, V. Itsykson

Automatic Control and Computer Sciences, Volume 47, Issue 7

Lightweight Linux dynamic libraries profiling technique for embedded systems

October 2013

M. Zaslavskiy, E. Ryabikov, K. Krinkin

In Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia (CEE-SECR ’13). ACM, New York, NY, USA, , Article 6 , 5 pages. DOI=10.1145/2556610.2556618

Geo-coding in Smart Environment: Integration Principles of Smart-M3 and Geo2Tag

August 2013

K. Krinkin, K.Yudenok

Internet of Things, Smart Spaces, and Next Generation Networking Lecture Notes in Computer Science Volume 8121

Role of Microtubules in Formation of Stress Granules

2013

Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.

AIPRC

A performance analysis of semantic caching for XML query processing

2013

Boris Novikov, Alice Pigul, and Anna Yarygina

IJKBO, 3(4):40–60

Process-oriented programming language for MCU-based automation

2013

Andrei S. Rozov and Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

QReal DSM Platform: An Environment for Creation of Specific Visual IDEs

2013

Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov

Proceedings of 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013)

GLR-based Abstract Parsing

2013

Semen Grigorev and Iakov Kirilenko

Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia

Безопасные облачные вычисления с помощью гомоморфной криптографии

2013

Жиров А. О., Жирова О. В., Кренделев С. Ф.

Безопасность информационных технологий : журнал. — 2013. — Январь (№ 1). — С. 1—12. — ISSN 2074-7128

MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines

2013

Chivilikhin D., Ulyantsev V.

Proceedings of the 15th Genetic and Evolutionary Computation Conference (GECCO'13), pp. 511-518

QReal: платформа визуального предметно-ориентированного моделирования

2013

Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.

Программная инженерия

Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов

2013

Поляков Владимир, Брыксин Тимофей

Компьютерные инструменты в образовании

Practical fully homomorphic encryption over polynomial quotient rings

2013

Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev

Internet Security (WorldCIS), 2013 World Congress on pр. 70-75

Solving Puzzles: Making Use of SMT Solvers Easy

2013

E. Zaychenko, V. Galuzin, V. Itsykson.

1st Workshop "Fun With Formal Methods"

To Sort or not to Sort: The Evaluation of R-Tree and B+-Tree in Transactional Environment with Ordered Result Set Requirement

2013

Chernishev G.

SYRCoDIS. – Т. 1031. – С. 27-34.

Прогнозирование характеристик программных проектов с помощью мета-моделирования.

2013

Ицыксон В.М., Баженов А.С.

Девятая ежегодная конференция "Разработка ПО"

Lock Manager for Own Products

2013

Sergey Egorov, Mikhail Koveshnikov, Nikita Arykov, Alexander Ilin, Sergey Bobrenok, Sergey Krendelev, Alexey Yuzhakov

Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia (CEE-SECR '13 ), Article No. 9

2011

Глухих М.И., Ицыксон В.М.

Учебное пособие. СПб: Изд-во Политехн. ун-та

2010

Dmitry Boulytchev, Oleg Medvedev

Proceedings of the 2010 East-West Design & Test Symposium

Non-Abelian associated orders of wildly ramified extensions

October 2009

М. В. Бондарко, А. В. Диевский

Automatic Defect Detection in Industrial C/C++ Software

2009

Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.

Software Engineering Conference in Russia (CEE-SECR)

A knowledge management approach for industrial model-based testing

2009

Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.

KMIS 2009 - 1st International Conference on Knowledge Management and Information Sharing, Proceedings pp. 200-205

A Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Software Engineering Conference in Russia (CEE-SECR)

Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology

2009

M. Kersten, B. Novikov, and J. Teubner, editors.

EDBT’09: Foreword

Simple Computer Model Shows Posibility of Non-Motor Microtubule Binded Gradient Transport

2009

Shpilman A.

49th Annual Meeting of the American Society for Cell Biology

Исследование средств построения моделей исходного кода программ на языках C и C++.

2009

Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №1

Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ

2009

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.

Информационно-управляющие системы. №2

Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ

2009

Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.

Системное программирование. Выпуск 4

Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues

July 2008

Zyubin V. E

Proceedings of IEEE International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON-08. Novosibirsk Scientific Center, Novosibirsk, Russia

Temporal databases: From theory to applications

2008

B. Novikov and E. Gorshkova

Programming and Computer Software, 34(1):1–6

Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения

2008

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5

Disturbance of the Radial System of Interphase Microtubules in the Presence of Excess Serum in Cell Culture Medium

2008

E.V. Usova, A.V.Burakov, A.A. Shpilman, E.S. Nadezhdina

Biophysics

Автоматическое обнаружение дефектов программных систем на основе метода проверки модели

2008

Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5

DocLine: A method for software product lines documentation development

2008

Koznov, D.V., Romanovsky, K.Yu.

Programming and Computer Software 34 (4), pp. 216-224

Computer-supported collaborative learning with mind-maps

2008

Koznov, D., Pliskin, M.

Communications in Computer and Information Science 17 CCIS, pp. 478-489

Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions

2008

Shpilman A., Nadezhdina E.S.

48th Annual Meeting of the American Society for Cell Biology

In silico vs in vitro: Mimitation v1.0 program allows to predic morphological and dynamic changes of tubulin cytoskeleton caused by microtubule stabilization

2008

Shpilman A.A, Nadezhdina E.S.

Biological Motility: Achievements and Perspectives

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

IEEE International Conference on Control and Communications, SIBCON-2013, Krasnoyarsk

Stochastic Computer Model of the Cell Microtubule Dynamics

2006

А.А. Shpil’man and E.S. Nadezhdina

Biophysics

Stochastic Modeling of Microtubule Systems

2006

Shpilman A.A.

I ICMBB

Database Application Tuning

2006

B. Novikov and H. Dombrovskaya

BHV, St.-Petersburg

Computational Stochastic Modeling of Cellular Microtubule Network

2006

Shpilman A.A., Nadezhdina E.S.

46th Annual Meeting of the American Society for Cell Biology

BURS-based Instruction Set Selection

2006

Dmitry Boulytchev

Proceedings of 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Cooking Raw Types in Java

2005

Dmitry Boulytchev, Eugene Vigdorchik

Workshop on Multiparadigm Programming with Object-Oriented Languages

REAL-IT: Model-Based User Interface Development Environment

2005

A.Ivanov, D.Koznov

Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, P. 31-41

Efficient Code Generation Algorithms (in Russian)

2004

Dmitry Boulytchev

System Informatics

Macroarchitecture Description for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

System Programming

Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

System Programming

OCL-based automated validation method for UML specifications

2003

Ol'khovich, L., Koznov, D.V.

Source of the DocumentProgramming and Computer Software 29 (6), pp. 323-327

Towards collaborative video authoring

2003

Boris Novikov and Oleg Proskurnin

In Leonid A. Kalinichenko, Rainer Manthey, Bernhard Thalheim, and Uwe Wloka, editors, Advances in Databases and Information Systems, 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings, volume 2798 of Lecture Notes in Computer Science, pages 370–380. Springer

On Project-Specific Languages and Their Application in Reengineering

2002

Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR 995802, pp. 177-185

An Empirical Study of Retargetable Compilers

2001

Dmitry Boulytchev, Dmitry Lomov

Proceedings of 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Document A method for recovery and maintenance of software architecture

2001

Koznov, D., Romanovsky, K., Nikitin, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2244 LNCS, pp. 324-327

An analysis of alternative methods for storing semistructured data in relations

September 2000

I. Nekrestyanov, B. Novikov, and E. Pavlova.

In Proc. of the ADBIS’2000, volume 1884 of Lecture Notes in Computer Science, pages 354–361, Prague, Chech, Springer

Digital libraries as a new class of information systems

2000

M. Kogalovsky and B. Novikov

Programming and Computer Software, 26(3):119–122

Pattern-matching and Identification of Structural Types in PL/1 (in Russian)

2000

Dmitry Boulytchev

Automated Reengeneering of Programs, Saint Petersburg

RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems

1999

Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., Ivanov, A.N.

Programming and Computer Software 25 (5), pp. 276-281

An Automated Control System for a Silicon Single-Crystal Growth Furnace

1996

Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V

Autometria, Vol. 32, No 2 (1996), pp. 25–30