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

Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

May 2022

Anna Vlasova, Maria Tigina, Ilya Vlasov, Anastasiia Birillo, Yaroslav Golubev, and Timofey Bryksin

19th International Conference on Mining Software Repositories (MSR'22)

A Large-Scale Comparison of Python Code in Jupyter Notebooks and Scripts

Relativistic runaway electron avalanches within complex thunderstorm electric field structures

37th International Conference on Software Maintenance and Evolution (ICSME'21)

Design of the Event Metadata System for the Experiments at NICA

September 2021

July 2021

May 2021

Nozik A., Hamitov T.

This paper is dedicated to the simulation of the so-called trapping-effect observed in the Troitsk nu-mass experiment. The effect is caused by the magnetic trapping of decay electrons in the windowless gaseous tritium source and the gradual evaporation of those electrons. As a result, alongside regular tritium beta-spectrum electrons, we see additional electrons that are initially trapped in the source and escape it with changed energy. The spectrum of evaporated electrons is quite peculiar (almost flat for monochromatic initial electrons) and could not be directly measured in the experiment. So one has to rely on simulations. Also, it is possible that the same effect could be observed in other cases of magnetic traps. © 2021 IOP Publishing Ltd and Sissa Medialab.

Journal of Instrumentation

Flatland Competition 2020: MAPF and MARL for Efficient Train Coordination on a Grid World

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

TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks

March 2021

Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, andTimofey Bryksin

2021 ACM SIGCSE Technical Symposium (SIGCSE'21)

TNM: A Tool for Mining of Socio-Technical Data from Git Repositories

March 2021

Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko

MSR 2021

An Empirical Study of Partial Deduction for MiniKanren

March 2021

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Multi-Threshold Token-Based Code Clone Detection

March 2021

Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, and Timofey Bryksin

28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER'21)

Balancing Rational and Other-Regarding Preferences in Cooperative-Competitive Environments

February 2021

Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman

International Conference on Autonomous Agents and MultiAgent Systems (AAMAS'2021)

BeBoSy: Behavior Examples meet Bounded Synthesis

February 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

BCNNM: A Framework for in silico Neural Tissue Development Modeling

January 2021

Dmitrii V. Bozhko, Georgii K. Galumov, Aleksandr I. Polovian, Sofiia M. Kolchanova, Vladislav O. Myrov, Viktoriia A. Stelmakh and Helgi B. Schiöth

Front. Comput. Neurosci

Making Weak Memory Models Fair

2021

O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis

Distinguished Paper Award at OOPSLA'21

OOPSLA

Are Cryptocurrency Markets Running Behind the Fed? A Significant Shift in Crypto Markets Microstructure

2021

Roland Grinis, Andrei Kislitsyn, Ilia Drozdov, Konstantin Shulga

In this research we show that 2021 became a year when crypto markets significantly adjusted behavioural patterns, showing an increased institutional influence.
We have come to two key conclusions that might indicate significant changes in the cryptocurrency market microstructure.
Firstly, in contrast to recent research, we note that BTC/USD was sensitive to major Fed policy announcements in Q2-Q3 2021 similar to main asset classes.
Secondly, OTC Liquidity Providers tend to provide twice as narrow spreads in comparison to Centralised Crypto Exchanges during market volatility related to macroeconomic news.

Cryptocurrency Research eJournal

A Survey of Programming Language Memory Models

2021

E. Moiseenko, A. Podkopaev, D. Koznov

Journal 'Programming and Computer Software',

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

2021

Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov

Syrcose'21

Beyond the elementary representations of program invariants over algebraic data type

2021

Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

2021

Daniil Berezun, Dmitry Boulytchev

TFPIE-2021

Differentiable programming for particle physics simulations

The Post Language: Process-Oriented Extension for IEC 61131-3 Structured Text

September 2020

V. Bashev, I. Anureev and V. Zyubin

2020 International Russian Automation Conference (RusAutoCon), Sochi, Russia, 2020, pp. 994-999

Prototype of a segmented scintillator detector for particle flux measurements on spacecraft

September 2020

JINST

Transformer-Based Open Domain Biomedical Question Answering at BioASQ8 Challenge

September 2020

Ashot Kazaryan, Uladzislau Sazanovich, Vladislav Belyaev

CLEF 2020 - Conference and Labs of the Evaluation Forum

Building Large k-Cores from Sparse Graphs

August 2020

Fedor Fomin, Danil Sagunov, Kirill Simonov

June 2020

Sergey Svitkov and Timofey Bryksin

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

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

POSTER: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

PPoPP 2020: 433-434

POSTER: Testing concurrency on the JVM with Lincheck

February 2020

Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov

PPoPP 2020: 433-434

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

Making DBMSes Dependency-Aware

January 2020

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

Path Querying with Conjunctive Grammars by Matrix Multiplication

December 2019

October 2019

AIP Conference Proceedings

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

October 2019

September 2019

Anastasia Birillo and Nikita Bobrov

In Proc. of 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019

June 2019

Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman

The 20th International Conference on Artificial Intelligence in Education (AIED'19)

Bar-Hillel Theorem Mechanization in Coq

June 2019

Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev

The Bar-Hillel theorem states that context-free languages are closed under intersection with a regular set. This theorem has a constructive proof and thus provides a formal justification of correctness of the algorithms for applications mentioned above. Mechanization of the Bar-Hillel theorem, therefore, is both a fundamental result of formal language theory and a basis for the certified implementation of the algorithms for applications. In this work, we present the mechanized proof of the Bar-Hillel theorem in Coq.

Logic, Language, Information, and Computation

Bioinformatics Institute 2018/19 project abstracts

June 2019

O. Shpynov, A. Dievskii, P. Tsurinov, et al

Saint-Petersburg, ISBN 978-5-6043094-2-1

Smart Contract Design Meets State Machine Synthesis: Case Studies

June 2019

Dmitrii Suvorov, Vladimir Ulyantsev

arXiv preprint arXiv:1906.02906

Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication

Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis

April 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Springer, Cham

Multi-Agent SLAM Approaches for Low-Cost Platforms

April 2019

Anton Filatov, Krinkin Kirill

Modern SLAM (Simultaneous Localization and Mapping) algorithms launched on a moving agent are bounded with its computation resources. The consistent way out is to add more computing agents that might explore the environment quicker than one and thus to decrease the load of each agent. This paper presents the state of art in area of Multi-agent SLAM algorithms and describes problems that are faced in front of a developer of such approach. The outstanding problem of Multiagent SLAM - merging of maps built by separate agent during algorithm is also considered in this paper. Moreover the algorithm that extends laser 2D single hypothesis SLAM for multiple agents is introduced with evaluation of its performance.

Proceedings of the 24st Conference of Open Innovations Association FRUCT

Towards safe cyber-physical systems: the Reflex language and its transformational semantics

April 2019

Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E

14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6.

A quantitative study of two matrix clustering algorithms

April 2019

Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev

Proceedings of the Fourth Conference on Software Engineering and Information Management (SEIM-2019)

Mobile Robot Pose Estimation Based on Position/Velocity Sensor Fusion

April 2019

Kirill Krinkin, Artyom Filatov

An autonomous self driving platform receives information about environment using only its onboard sensors. And it seems obvious that using several sensors could provide more certain information with reduced measurement error. But a general question is how to fuse measurements from different kinds of sensors (like a camera and an accelerometer) to get refined data about a platform or world state. This paper presents a theory based on groups that proves a possibility of correctness of error extraction from a moving model. And there are results of application this theory on fusing measurements from two sensors: odometer and scan matcher

The Composition of Dense Neural Networks and Formal Grammars for Secondary Structure Analysis

March 2019

Semyon Grigorev and Polina Lunina

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

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

March 2019

Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva

Springer, Cham

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

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

January 2019

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

Alexander Fedorov

SEIM 2019: 20-24

Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)

2019

JETP Letters

2019

JINST

Physics potential of the International Axion Observatory (IAXO)

2019

JCAP

Relational Interpreters for Search Problems

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

2019

SPIN 2019 26th International Symposium on Model Checking of Software

GENOMIC DATA ACCESS SERVICE

2019

Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich

ПРОЦЕССЫ УПРАВЛЕНИЯ И УСТОЙЧИВОСТЬ

Deep Multi-Agent Reinforcement Learning with Relevance Graphs

December 2018

Aleksandra Malysheva, Tegg Taekyong Sung, Chae-Bong Sohn, Daniel Kudenko, Aleksei Shpilman

NeurIPS Deep Reinforcement Learning Workshop

A comparative evaluation of machine learning methods for robot navigation through human crowds

December 2018

A. Gaydashenko, D. Kudenko, A. Shpilman

ICMLA

Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing

December 2018

Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman

Open Access Software

Semantics-Driven Migration of Java Programs: A Practical Application

December 2018

Aleksyuk, A.O., Itsykson, V.M.

Automatic Control and Computer Sciences, Volume 52, Issue 7, pp 581–588

Formalism and Language Tools for Specification of the Semantics of Software Libraries

December 2018

V. Itsykson.

Automatic Control and Computer Sciences, Volume 51, Issue 7, pp. 531-538

Molecular Sets (MOSES): A Benchmarking Platform for Molecular Generation Models

November 2018

Daniil Polykovskiy, Alexander Zhebrak, Benjamin Sanchez-Lengeling, Sergey Golovanov, Oktai Tatanov, Stanislav Belyaev, Rauf Kurbanov, Aleksey Artamonov, Vladimir Aladinskiy, Mark Veselov, Artur Kadurin, Sergey Nikolenko, Alan Aspuru-Guzik, Alex Zhavoronkov

arXiv preprint

PosDB — прототип распределенной дисковой колоночной СУБД.

November 2018

Video

Доклад на московской секции ACM SIGMOD

Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data

November 2018

A. Malysheva, D. Kudenko, A. Shpilman

ICARCV

Rainbow World Models

November 2018

V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva

AIIDE-18 Workshop: Learning to Play

Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation

November 2018

I. Sosin, D. Kudenko, A. Shpilman

ICARCV

Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT

November 2018

Tatiana Belova and Ivan Bliznets

COCOA 2018: Combinatorial Optimization and Applications

Cleaning up after a Party: Post-processing Thesaurus Crowdsourced Data

October 2018

Oksana Antropova, Elena Arslanova, Maxim Shaposhnikov, Pavel Braslavski, Mikhail Mukhin

AINL

High-Dimensional Analysis Delineates Myeloid and Lymphoid Compartment Remodeling during Successful Immune-Checkpoint Cancer Therapy

October 2018

Matthew M. Gubin, Ekaterina Esaulova, Jeffrey P. Ward, Olga N. Malkova, Daniele Runci, Pamela Wong, Takuro Noguchi, Cora D. Arthur, Wei Meng, Elise Alspach, Ruan F.V. Medrano, Catrina Fronick, Michael Fehlings, Evan W. Newell, Robert S. Fulton, Kathleen C.F. Sheehan, Stephen T. Oh, Robert D. Schreiber, Maxim N. Artyomov

Cell

Stierlitz Meets SVM: Humor Detection in Russian

October 2018

Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski

AINL

Transcriptome Analysis Reveals Nonfoamy Rather Than Foamy Plaque Macrophages Are Proinflammatory in Atherosclerotic Murine Models

October 2018

Kyeongdae Kim , Dahee Shim , Jun Seong Lee , Konstantin Zaitsev , Jesse W. Williams , Ki-Wook Kim , Man-Young Jang , Hyung Seok Jang , Tae Jin Yun , Seung Hyun Lee , Won Kee Yoon , Annik Prat , Nabil G. Seidah , Jungsoon Choi , Seung-Pyo Lee , Sang-Ho Yoon , Jin Wu Nam , Je Kyung Seong , Goo Taeg Oh , Gwendalyn J. Randolph , Maxim N. Artyomov , Cheolho Cheong , and Jae-Hoon Choi

Circulation Research

Construction of Efficient V-Gram Dictionary for Sequential Data Analysis

October 2018

Igor Kuralenok, Natalia Starikova, Aleksandr Khvorov, and Julian Serdyuk

The 27th ACM International Conference on Information and Knowledge Management (CIKM ’18), October 22–26, 2018, Torino, Italy. ACM, New York, NY, USA, 10 pages

Extended Abstract: F# OpenCL Type Provider

September 2018

Kirill Smirenko, Semyon Grigorev

Extended abstract at TyDe 2018 (at ICFP).

Does Reviewer Recommendation Help Developers?

September 2018

Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, and Alberto Bacchelli

IEEE Transactions on Software Engineering

Counterexample-guided inference of controller logic from execution traces and temporal formulas

September 2018

Daniil Chivilikhin, Igor Buzhinsky, Vladimir Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Personal Names Popularity Estimation and its Application to Record Linkage

September 2018

Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev

ADBIS

POSTER: Semi-supervised solution for robust peak calling of Low Input ChIP-Seq

September 2018

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

Proceedings of the 17th European conference on computational biology

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

Contextually indexed contextual categories

September 2018

Valery Isaev

Parser combinators for context-free path querying

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

Mining File Histories: Should We Consider Branches?

September 2018

Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli

33rd ACM/IEEE International Conference on Automated Software Engineering (ASE'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

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)

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

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

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

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

Building Detection from Satellite Imagery Using a Composite Loss Function

June 2018

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

CVPR Workshop

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

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)

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

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

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)

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

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

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

Data-Based Code Synthesis in IntelliJ IDEA

April 2018

Vladislav Tankov and Timofey Bryksin

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

Morita equivalences between algebraic dependent type theories [Preprint]

April 2018

Valery Isaev

arXiv

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

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

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

January 2018

The European Physical Journal Conferences

Processing of higher count rates in Troitsk nu-mass experiment

January 2018

The European Physical Journal Conferences

PosDB: An Architecture Overview

January 2018

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

Programming and Computer Software

Physical design tuning of RDF stores

2018

Vsevolod Sevostyanov, Boris Novikov, George Chernishev

Joint Proceedings of Baltic DB&IS 2018 Conference Forum and Doctoral Consortium

December 2017

September 2017

Anna Potapenko, Artem Popov, Konstantin Vorontsov

Conference on Artificial Intelligence and Natural Language

2017

Mordvinov, Dmitry, and Grigory Fedyukovich

LPAR, EPiC Series in Computing. EasyChair

Chaordic Learning: A Case Study

2017

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

TRIK Studio: Technical Introduction

2017

Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin

Proceedings of the 20th Conference of Open Innovations Association FRUCT

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

The design of an adaptive column-store system

2017

George Chernishev

Journal of Big Data, 4:5,

October 2016

Valery Isaev

arXiv

Matrix Clustering Algorithms for Vertical Partitioning Problem: an Initial Performance Study

October 2016

Vyacheslav Galaktionov, George Chernishev, Boris Novikov, and Dmitry Grigoriev

Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), Ershovo, Moscow Region, Russia

August 2016

Marina Polubelova, Sergey Bozhko, Semyon Grigorev

Proceedings of the Institute for System Programming

Solving Generalized Maximum-Weight Connected Subgraph Problem for Network Enrichment Analysis

August 2016

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

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»

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).

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

Operational Aspects of C/C++ Concurrency

June 2016

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

arXiv

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

The Heaviside step function approximation with Taylor polynomial of exponent

April 2016

A. Kolpakov, Ar. Filatov, An. Filatov

Izvestiya SPbGETU «LETI»

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

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

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

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

January 2016

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

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

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

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

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

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

2016

E. Moiseenko, D. Berezun

SEIM-16

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

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

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

2016

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

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

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.

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

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

Lexical Analysis of Dynamically Generated String Expressions

2016

Marina Polubelova, Semyon Grigorev

Systems and Means of Informatics

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

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

The formalism for semantics specification of software libraries

2016

V. Itsykson

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

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

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

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

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

October 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

NTV SPbSTU 4 (224)

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

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

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

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.

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)

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.

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.

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

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

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

2015

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

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

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

2015

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

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

Fully Homomorphic Encryption for Secure Computations in Protected Database

2015

Darya Chechulina, Kirill Shatilov, Sergey Krendelev

FedCSIS Position Papers 2015: 125-131

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

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

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

2015

M. Belyaev, V. Itsykson

Innopolis

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

2015

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

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

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

2015

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

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

Combinators and Type-Driven Transformers in Objective Caml

2015

Dmitry Boulytchev

Science of Computer Programming

Generalized Table-based LL-parsing

2015

Ragozina Anastasiya, Grigorev Semyon

Systems and Means of Informatics

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

2015

Ilya Shkuratov and George Chernishev

In proceedings of CIMSP'15

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: A switching hidden Markov model for bisulfite sequencing

November 2014

Sergei Lebedev, Dmitry Groshev

Proceedings of the 14th European conference on computational biology

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

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

APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS

2014

Krendelev S.F., Kuzmenok A.Yu.

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

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

Optimizing resource allocation for approximate real-time query processing

2014

Anna Yarygina and Boris Novikov

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

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

R-tree re-evaluation effort: a report

2014

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

Technical report

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.

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

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

2014

Primako E.M., Shpilman A.A.

V ICMBB

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

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

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

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

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

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

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

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

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

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

A performance analysis of semantic caching for XML query processing

2013

Boris Novikov, Alice Pigul, and Anna Yarygina

IJKBO, 3(4):40–60

Solving Puzzles: Making Use of SMT Solvers Easy

2013

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

1st Workshop "Fun With Formal Methods"

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

GLR-based Abstract Parsing

2013

Semen Grigorev and Iakov Kirilenko

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

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

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

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

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 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)

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

2013

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

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

2011

Ахин М.Х., Ицыксон В.М.

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

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

2011

Ицыксон В.М., Зозуля А.В.

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

2010

Kirill Smirnov, George Chernishev

Contest Poster, ACM SIGMOD/PODS 2010, Indianapolis.

Non-Abelian associated orders of wildly ramified extensions

October 2009

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

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

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

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

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

2009

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

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

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 Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Software Engineering Conference in Russia (CEE-SECR)

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

2009

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

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

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

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

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

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

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

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

Temporal databases: From theory to applications

2008

B. Novikov and E. Gorshkova

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

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

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

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

BURS-based Instruction Set Selection

2006

Dmitry Boulytchev

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

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

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

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

Cooking Raw Types in Java

2005

Dmitry Boulytchev, Eugene Vigdorchik

Workshop on Multiparadigm Programming with Object-Oriented Languages

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

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

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

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