Publications
Comprehensive Profiling of an Aging Immune System Reveals Clonal GZMK+ CD8+ T Cells as Conserved Hallmark of Inflammaging
December 2020
Denis A. Mogilenko, Oleg Shpynov, Prabhakar Sairam Andhey, Laura Arthur, Amanda Swain, Ekaterina Esaulova, Simone Brioschi, Irina Shchukina, Martina Kerndl, Monika Bambouskova, Zhangting Yao, Anwesha Laha, Konstantin Zaitsev, Samantha Burdess, Susan Gillfilan, Sheila A. Stewart, Marco Colonna, Maxim N.Artyomov
Diverse Pairs of Matchings
December 2020
Fedor V. Fomin, Petr A. Golovach, Lars Jaffke, Geevarghese Philip, Danil Sagunov
ISAAC 2020: The 31st International Symposium on Algorithms and Computation
Automatic generation of reviews of scientific papers
December 2020
Anna Nikiforovskaya, Nikolai Kapralov, Anna Vlasova, Oleg Shpynov, Aleksei Shpilman
Lipophilicity Prediction with Multitask Learning and Molecular Substructures Representation
December 2020
Nina Lukashina, Alisa Alenicheva, Elizaveta Vlasova, Artem Kondiukov, Aigul Khakimova, Emil Magerramov, Nikita Churikov, Aleksei Shpilman
Enhanced epigenetic profiling of classical human monocytes reveals a specific signature of healthy aging in the DNA methylome
November 2020
Irina Shchukina, Juhi Bagaitkar, Oleg Shpynov, Ekaterina Loginicheva, Sofia Porter, Denis A. Mogilenko, Erica Wolin, Patrick Collins, German Demidov, Mykyta Artomov, Konstantin Zaitsev, Sviatoslav Sidorov, Christina Camell, Monika Bambouskova, Laura Arthur, Amanda Swain, Alexandra Panteleeva, Aleksei Dievskii, Evgeny Kurbatsky, Petr Tsurinov, Roman Chernyatchik, Vishwa Deep Dixit, Marko Jovanovic, Sheila A. Stewart, Mark J. Daly, Sergey Dmitriev, Eugene M. Oltz & Maxim N. Artyomov
Sosed: a tool for finding similar software projects
September 2020
Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko, Timofey Bryksin
Transformer-Based Open Domain Biomedical Question Answering at BioASQ8 Challenge
September 2020
Ashot Kazaryan, Uladzislau Sazanovich, Vladislav Belyaev
Comparing Block-based Programming Models for Two-armed Robots
September 2020
Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ron Garcia, David C. Shepherd
Prototype of a segmented scintillator detector for particle flux measurements on spacecraft
September 2020
Pandemic Programming: How COVID-19 affects software developers and how their organizations can help
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, Rana Alkadhi
Automated Cross-Language Integration Based on Formal Model of Components
August 2020
Artyom Aleksyuk, Vladimir Itsykson
Recursive Expressions for SPARQL Property Paths
August 2020
Ciro Medeiros, Umberto Costa, Semyon Grigorev, Martin A. Musicante
Context-Free Path Querying by Kronecker Product
August 2020
Egor Orachev, Ilya Epelbaum, Rustam Azimov, Semyon Grigorev
Context-free path queries (CFPQ) extend the regular path queries (RPQ) by allowing context-free grammars to be used as constraints for paths. Algorithms for CFPQ are actively developed, but J. Kuijpers et al. have recently concluded, that existing algorithms are not performant enough to be used in real-world applications. Thus the development of new algorithms for CFPQ is justified. In this paper, we provide a new CFPQ algorithm which is based on such linear algebra operations as Kronecker product and transitive closure and handles grammars presented as recursive state machines. Thus, the proposed algorithm can be implemented by using high-performance libraries and modern parallel hardware. Moreover, it avoids grammar growth which provides the possibility for queries optimization.
Building Large k-Cores from Sparse Graphs
August 2020
Fedor Fomin, Danil Sagunov, Kirill Simonov
MFCS 2020: 45th International Symposium on Mathematical Foundations of Computer Science
Imitation Learning Approach for AI Driving Olympics Trained on Real-world and Simulation Data Simultaneously
July 2020
Mikita Sazanovich, Konstantin Chaika, Kirill Krinkin, Aleksei Shpilman
Single-cell RNA-seq analysis of human CSF microglia and myeloid cells in neuroinflammation
July 2020
Ekaterina Esaulova, Claudia Cantoni, Irina Shchukina, Konstantin Zaitsev, Robert C Bucelli, Gregory F Wu, Maxim N Artyomov, Anne H Cross, Brian T Edelson
Reconciling Event Structures with Modern Multiprocessors
July 2020
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Context-Free Path Querying with Single-Path Semantics by Matrix Multiplication
June 2020
Arseniy Terekhov, Artyom Khoroshev, Rustam Azimov, Semyon Grigorev
A recent study showed that the applicability of context-free path querying (CFPQ) algorithms with relational query semantics integrated with graph databases is limited because of low performance and high memory consumption of existing solutions. In this work, we implement a matrix-based CFPQ algorithm by using appropriate high-performance libraries for linear algebra and integrate it with RedisGraph graph database. Also, we introduce a new CFPQ algorithm with single-path query semantics that allows us to extract one found path for each pair of nodes. Finally, we provide the evaluation of our algorithms for both semantics which shows that matrix-based CFPQ implementation for Redis-Graph database is performant enough for real-world data analysis.
Repairing and Mechanising the JavaScript Relaxed Memory Model
June 2020
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod Shu-yu Guo
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
June 2020
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Building Implicit Vector Representations of Individual Coding Style
June 2020
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, Alberto Bacchelli
Context-Free Path Querying via Matrix Equations
June 2020
Yuliya Susanina
A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub
June 2020
Yaroslav Golubev, Maria Eliseeva, Nikita Povarov, Timofey Bryksin
Visualization of Methods Changeability Based on VCS Data
June 2020
Sergey Svitkov, Timofey Bryksin
Recommendation of Move Method Refactoring Using Path-Based Representation of Code
June 2020
Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev, Timofey Bryksin
Modification of Valiant’s algorithm for the string-matching problem
June 2020
Susanina Y.A., Yaveyn A.N., Grigorev S.V.
This paper aims to present Valiant’s algorithm modification, which main advantage is the possibility to divide the parsing table into successively computed layers of disjoint submatrices where each submatrix of the layer can be processed independently. Moreover, our approach is easily adapted for the string-matching problem.
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler
June 2020
Timofey Bryksin, Victor Petukhov, Ilya Alexin, Stanislav Prikhodko, Alexey Shpilman, Vladimir Kovalenko, Nikita Povarov
Epigenetic aging of classical monocytes from healthy individuals
May 2020
Irina Shchukina, Juhi Bagaitkar, Oleg Shpynov, Ekaterina Loginicheva, Sofia Porter, Denis A. Mogilenko, Erica Wolin, Patrick Collins, German Demidov, Mykyta Artomov, Konstantin Zaitsev, Sviatoslav Sidorov, Christina Camell, Monika Bambouskova, Laura Arthur, Amanda Swain, Alexandra Panteleeva, Aleksei Dievskii, Evgeny Kurbatsky, Petr Tsurinov, Roman Chernyatchik, Vishwa Deep Dixit, Marko Jovanovic, Sheila A. Stewart, Mark J. Daly, Sergey Dmitriev, Eugene M. Oltz, Maxim N. Artyomov
Caching Intermediates in a Column-Store with Late Materialization: An Initial Study
April 2020
Single cell RNA sequencing in atherosclerosis research
April 2020
Jesse W Williams, Holger Winkels, Christopher P Durant, Konstantin Zaitsev, Yanal Ghosheh, Klaus Ley
Select autophagy genes maintain quiescence of tissue-resident macrophages and increase susceptibility to Listeria monocytogenes
February 2020
Ya-Ting Wang, Konstantin Zaitsev, Qun Lu, Shan Li, W Timothy Schaiff, Ki-Wook Kim, Lindsay Droit, Craig B Wilen, Chandni Desai, Dale R Balce, Robert C Orchard, Anthony Orvedahl, Sunmin Park, Darren Kreamalmeyer, Scott A Handley, John D Pfeifer, Megan T Baldridge, Maxim N Artyomov, Christina L Stallings, Herbert W Virgin
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
February 2020
Egor Bogomolov, Vladimir Kovalenko, Alberto Bacchelli, Timofey Bryksin
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.
Multi-Objective Optimization for Token-Based Clone Detection
February 2020
Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, Timofey Bryksin
POSTER: Testing concurrency on the JVM with Lincheck
February 2020
Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov
POSTER: Restricted memory-friendly lock-free bounded queues
February 2020
Nikita Koval, Vitaly Aksenov
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
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.
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
January 2020
Fedor Part and Iddo Tzameret
Compilation of OCaml memory model into Power (In Russian)
December 2019
Egor Namakonov, Anton Podkopaev
Path Querying with Conjunctive Grammars by Matrix Multiplication
December 2019
R. Azimov and S. Grigorev
Path querying with conjunctive grammars is known to be undecidable. There is an algorithm for path querying with linear conjunctive grammars which provides an over-approximation of the result, but there is no algorithm for arbitrary conjunctive grammars. We propose the first algorithm for path querying with arbitrary conjunctive grammars. The proposed algorithm is matrix-based and allows us to efficiently apply GPGPU computing techniques and other optimizations for matrix operations.
Artificial Intelligence for Prosthetics-challenge solutions
November 2019
Łukasz Kidziński, Carmichael Ong, Sharada Prasanna Mohanty, Jennifer Hicks, Sean F Carroll, Bo Zhou, Hongsheng Zeng, Fan Wang, Rongzhong Lian, Hao Tian, Wojciech Jaśkowski, Garrett Andersen, Odd Rune Lykkebø, Nihat Engin Toklu, Pranav Shyam, Rupesh Kumar Srivastava, Sergey Kolesnikov, Oleksii Hrinchuk, Anton Pechenko, Mattias Ljungström, Zhen Wang, Xu Hu, Zehong Hu, Minghui Qiu, Jun Huang, Aleksei Shpilman, Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Lance Rane, Aditya Bhatt, Zhengfei Wang, Penghui Qi, Zeyang Yu, Peng Peng, Quan Yuan, Wenxin Li, Yunsheng Tian, Ruihan Yang, Pingchuan Ma, Shauharda Khadka, Somdeb Majumdar, Zach Dwiel, Yinyin Liu, Evren Tumer, Jeremy Watson, Marcel Salathé, Sergey Levine, Scott Delp
Kotless: a Serverless Framework for Kotlin
November 2019
Vladislav Tankov, Yaroslav Golubev, Timofey Bryksin
Lost in Conversation: A Conversational Agent Based on the Transformer and Transfer Learning
November 2019
Sergey Golovanov, Alexander Tselousov, Rauf Kurbanov, Sergey I. Nikolenko
Improved Architecture of Artificial Neural Network for Secondary Structure Analysis
November 2019
Semyon Grigorev and Polina Lunina
Optimizing UAV-to-Car Communications in 3D Environments Through Dynamic UAV Positioning
October 2019
Seilendria A. Hadiwardoyo , Carlos T. Calafate, Juan-Carlos Cano, Kirill Krinkin, Dmitry Klionskiy, Enrique Hernandez-Orallo, Pietro Manzoni
Unmanned Aerial Vehicles can act as relays in areas with limited infrastructure to support car-to-car communications. Prior studies on UAV-to-car communications showed that the irregularity of the terrains has a significant impact on link quality. Thus, in this paper, we propose a positioning technique that relies on Particle Swarm Optimization to optimize the positioning of a UAV in the vehicular environment by considering the irregularities of the terrains that might hinder Line-of-Sight conditions. The proposed technique takes into account the path loss caused by the terrains.
MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning
October 2019
Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
Property Directed Inference of Relational Invariants
October 2019
D. Mordvinov, G. Fedyukovich
End-to-end Deep Object Tracking with Circular Loss Function for Rotated Bounding Box
October 2019
Vladislav Belyaev, Aleksandra Malysheva, Aleksei Shpilman
Implementing Window Functions in a Column-Store with Late Materialization
October 2019
Nadezhda Mukhaleva, Valentin Grigorev and George Chernishev
Distributed Classification of Text Streams: Limitations, Challenges, and Solutions
September 2019
Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov
On Happy Colorings, Cuts, and Structural Parameterizations
September 2019
Ivan Bliznets and Danil Sagunov
Smart Caching for Efficient Functional Dependency Discovery
September 2019
Anastasia Birillo and Nikita Bobrov
Subsets of ILC3− ILC1-like cells generate a diversity spectrum of innate lymphoid cells in human mucosal tissues
August 2019
Marina Cella, Ramya Gamini, Cristiane Sécca, Patrick L Collins, Shanrong Zhao, Vincent Peng, Michelle L Robinette, Jorge Schettini, Konstantin Zaitsev, William Gordon, Jennifer K Bando, Kentaro Yomogida, Victor Cortez, Catrina Fronick, Robert Fulton, Lih-Ling Lin, Susan Gilfillan, Richard A Flavell, Liang Shan, Maxim N Artyomov, Michael Bowman, Eugene M Oltz, Scott A Jelinsky, Marco Colonna
Toxoplasma gondii infection drives conversion of NK cells into ILC1-like cells
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
Large-scale transfer learning for natural language generation
July 2019
Sergey Golovanov, Rauf Kurbanov, Sergey Nikolenko, Kyryl Truskovskyi, Alexander Tselousov, Thomas Wolf
Two-Step Deductive Verification of Control Software Using Reflex
July 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing
July 2019
Artem Trofimov, Igor E. Kuralenok, Nikita Marshalkin, Boris Novikov
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks
July 2019
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Log-based Reading Speed Prediction: a Case Study on War and Peace
July 2019
Igor Tukh, Pavel Braslavski, and Kseniya Buraya
On Satisfiability of Nominal Type Systems With Variance
July 2019
A. Misonizhnik, D. Mordvinov
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.
Bioinformatics Institute 2018/19 project abstracts
June 2019
O. Shpynov, A. Dievskii, P. Tsurinov, et al
Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
June 2019
Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman
Statistical time analysis for regular events with high count rate
June 2019
Smart Contract Design Meets State Machine Synthesis: Case Studies
June 2019
Dmitrii Suvorov, Vladimir Ulyantsev
Word embedding in form of symmetric and skew-symmetric operator
June 2019
Ekaterina Koshchenko, Igor Kuralenok
Evaluation of the Context-Free Path Querying Algorithm Based on Matrix Multiplication
June 2019
Nikita Mishin, Iaroslav Sokolov, Egor Spirin, Vladimir Kutuev, Egor Nemchinov, Sergey Gorbatyuk, and Semyon Grigorev
Evaluation of Move Method refactorings recommendation algorithms: are we doing it right?
May 2019
Evgenii Novozhilov, Ivan Veselov, Mikhail Pravilov, Timofey Bryksin
Complete deconvolution of cellular mixtures based on linearity of transcriptional signatures
May 2019
Konstantin Zaitsev, Monika Bambouskova, Amanda Swain, Maxim N Artyomov
PathMiner : A Library for Mining of Path-Based Representations of Code
May 2019
Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, Alberto Bacchelli
Words and Topics: Content Representations for Book Recommendation
May 2019
Larissa Kolesnichenko, Pavel Braslavski
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
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.
Designing a DBMS development course with automatic assignment evaluation
April 2019
Viacheslav Galaktionov, George Chernishev
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis
April 2019
Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev
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
A quantitative study of two matrix clustering algorithms
April 2019
Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev
LKB1 expressed in dendritic cells governs the development and expansion of thymus-derived regulatory T cells
April 2019
Leonard R. Pelgrom, Thiago A. Patente, Alexey Sergushichev, Ekaterina Esaulova, Frank Otto, Arifa Ozir-Fazalalikhan, Hendrik J. P. van der Zande, Alwin J. van der Ham, Stefan van der Stel, Maxim N. Artyomov & Bart Everts
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.
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
March 2019
Ilya Zakirzyanov, Antonio Morgado, Alexey Ignatiev, Vladimir Ulyantsev, Joao Marques-Silva
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.
Solving Target Set Selection with Bounded Thresholds Faster than 2^n
January 2019
Ivan Bliznets and Danil Sagunov
Function block finite-state model identification using SAT and CSP solvers
January 2019
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
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
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
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
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/
Исследование критериев соответствия текста научному стилю
2019
Блеес Э.И., Заславский М.М.
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
2019
Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
Constructing verification-oriented domain-specific process ontologies
2019
Garanina N.O., Anureev I.S., Zyubin V.E
Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode
2019
Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность
2019
Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.
In Search of the Fastest Concurrent Union-Find Algorithm
2019
Dan Alistarh, Alexander Fedorov, Nikita Koval
Path planning for UAV search using growing area algorithm and clustering
2019
Alexander Fedorov
Архитектура программных систем в контексте технологий Индустрии 4.0
2019
К. В. Чайка , К. В. Кринкин , Ар. Ю. Филатов , Ан. Ю. Филатов
Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies
2019
N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers
2019
Dan Alistarh, Giorgi Nadiradze, Nikita Koval
Scalable FIFO Channels for Programming via Communicating Sequential Processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
POSTER: Lock-free channels for programming via communicating sequential processes
2019
Nikita Koval, Dan Alistarh, Roman Elizarov
A Survey of Smart Contract Safety and Programming Languages
2019
A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun
An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)
2019
Staroletov S., Fedorov V
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
2019
Direct Search for keV-Sterile Neutrino in Nuclear Decay. Troitsk Nu-Mass (Scientific Summary)
2019
A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model
2019
Staroletov S., Dubko A
A comparative evaluation of machine learning methods for robot navigation through human crowds
December 2018
A. Gaydashenko, D. Kudenko, A. Shpilman
Deep Multi-Agent Reinforcement Learning with Relevance Graphs
December 2018
Aleksandra Malysheva, Tegg Taekyong Sung, Chae-Bong Sohn, Daniel Kudenko, Aleksei Shpilman
Semantics-Driven Migration of Java Programs: A Practical Application
December 2018
Aleksyuk, A.O., Itsykson, V.M.
Formalism and Language Tools for Specification of the Semantics of Software Libraries
December 2018
V. Itsykson.
Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing
December 2018
Ivan Sosin, Oleg Svidchenko, Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman
Continuous Gesture Recognition from sEMG Sensor Data with Recurrent Neural Networks and Adversarial Domain Adaptation
November 2018
I. Sosin, D. Kudenko, A. Shpilman
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
Upper and Lower Bounds for Different Parameterizations of (n,3)-MAXSAT
November 2018
Tatiana Belova and Ivan Bliznets
Rainbow World Models
November 2018
V. Chockalingam, T. Sung, F. Behbahani, R. Gargeya, A. Sivanantham, A. Malysheva
Learning to Run with Potential-Based Reward Shaping and Demonstrations from Video Data
November 2018
A. Malysheva, D. Kudenko, A. Shpilman
Stierlitz Meets SVM: Humor Detection in Russian
October 2018
Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski
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
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
Cleaning up after a Party: Post-processing Thesaurus Crowdsourced Data
October 2018
Oksana Antropova, Elena Arslanova, Maxim Shaposhnikov, Pavel Braslavski, Mikhail Mukhin
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
An Ontology of Specification Patterns for Verification of Concurrent Systems
September 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Consistency Maintenance in Distributed Analytical Stream Processing
September 2018
Artem Trofimov
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
Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles
September 2018
Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman
Does reviewer recommendation help developers?
September 2018
Vladimir Kovalenko, Nava Tintarev, Evgeny Pasynkov, Christian Bird, Alberto Bacchelli
Mining file histories: should we consider branches?
September 2018
Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli
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
Deterministic Model for Distributed Speculative Stream Processing
September 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Extended Abstract: F# OpenCL Type Provider
September 2018
Kirill Smirenko, Semyon Grigorev
Extended abstract at TyDe 2018 (at ICFP).
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.
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
Personal Names Popularity Estimation and its Application to Record Linkage
September 2018
Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev
Relational Programming with memoization and negation (In Russian)
August 2018
E. Moiseenko, A. Podkopaev
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
Detecting anomalies in Kotlin code
July 2018
Timofey Bryksin, Victor Petukhov, Kirill Smirenko, Nikita Povarov
Learning to Run with Reward Shaping from Video Data
July 2018
A. Malysheva, A. Shpilman, D. Kudenko
POSTER: Semi-supervised solution for peak calling
July 2018
Oleg Shpynov, Aleksei Dievskii, Roman Chernyatchik, Evgeny Kurbatsky, Petr Tsurinov, Maxim N. Artyomov
FlameStream: Model and Runtime for Distributed Stream Processing
June 2018
Igor Kuralenok, Artem Trofimov, Nikita Marshalkin, Boris Novikov
Building Detection from Satellite Imagery Using a Composite Loss Function
June 2018
S. Golovanov, R. Kurbanov, A. Artamonov, A. Davydow, S. Nikolenko
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
Data Distribution Services Performance Evaluation Framework
May 2018
K. Krinkin, An. Filatov, Ar. Filatov, O. Kurishev, A.Lyanguzov
Evaluation of Modern Laser Based Indoor SLAM Algorithms
May 2018
Kirill Krinkin, Anton Filatov, Artyom Filatov, A. Huletski, D. Kartashov
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
Morita equivalences between algebraic dependent type theories [Preprint]
April 2018
Valery Isaev
An optimistic approach to handle out-of-order events within analytical stream processing
April 2018
Igor Kuralenok, Nikita Marshalkin, Artem Trofimov, Boris Novikov
On-the-Fly Filtering of Aggregation Results in Column-Stores
April 2018
Anastasia Tuchina, Valentin Grigorev, George Chernishev
BFS Enumeration for Breaking Symmetries in Graphs
April 2018
Vyacheslav Moklev, Vladimir Ulyantsev
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
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
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
Exact finite-state machine identification from scenarios and temporal properties
February 2018
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Automated refactoring of object-oriented code using clustering ensembles
February 2018
T. Bryskin, A. Shpilman, D. Kudenko
Opposing Roles of Dendritic Cell Subsets in Experimental GN
January 2018
Sebastian Brähler, Bernd H. Zinselmeyer, Saravanan Raju, Maximilian Nitschke, Hani Suleiman, Brian T. Saunders, Michael W. Johnson, Alexander M.C. Böhner, Susanne F. Viehmann, Derek J. Theisen, Nicole M. Kretzer, Carlos G. Briseño, Konstantin Zaitsev, Olga Ornatsky, Qing Chang, Javier A. Carrero, Jeffrey B. Kopp, Maxim N. Artyomov, Christian Kurts, Kenneth M. Murphy, Jeffrey H. Miner and Andrey S. Shaw
PosDB: An Architecture Overview
January 2018
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
Draft Genome Sequence of Coxiella burnetii Historical Strain Leningrad-2, Isolated from Blood of a Patient with Acute Q Fever in Saint Petersburg, Russia
January 2018
Olga Freylikhman, Artem Kiselev, Sergey Kazakov, Alexey Sergushichev, Yulia Panferova, Nikolay Tokarevich, Anna Kostareva
Behavioural realism and the activation of aggressive concepts in violent video games
January 2018
D. Zendle, D. Kudenko, P. Cairns
Subexponential Parameterized Algorithm for Interval Completion
2018
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk
Reflex Language: a Practical Notation for Cyber-Physical Systems
2018
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
Reinforcement learning from multiple experts demonstrations
2018
M. Li, D. Kudenko
Typed Relational Conversion
2018
Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev
18th International Symposium on Trends in Functional Programming
Physical design tuning of RDF stores
2018
Vsevolod Sevostyanov, Boris Novikov, George Chernishev
Poster: Duplicate finder toolkit
2018
D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov
Сравнение современных лазерных алгоритмов SLAM
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
2018
Методы сравнения качества 2D-SLAM-алгоритмов
2018
Ар. Ю. Филатов, Ан. Ю. Филатов, К. В. Кринкин, Б. Чен, Д. Молодан
Dynamic Selection of Environmental Variables to Improve the Prodiction of Aphid Phenology: A Machine Learning Approach
2018
P. Holloway, D. Kudenko, J. Bell
Assurance in Reinforcement Learning Using Quantitative Verification
2018
G. Mason, R. Calinescu, D. Kudenko, A. Banks
Архитектура платформы для создания мобильных приложений с OUTDOOR-квестами
2018
Мокрецов Р. М., Заславский М. М.
Generator of 2D laser scan based datasets for ROS
2018
Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin
iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets
2018
N. Al-Roussais, D. Kudenko
SMT-based analysis of constraints on .NET types
2018
Aleksandr Misonizhnik and Dmitry Mordvinov
Hardness of Approximation for H-free Edge Modification Problems
2018
Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk
Basics of Software Testing and Verification [in Russian]
2018
Основы тестирования и верификации программного обеспечения
Using Uniform State Abstractions For Reward Shaping With Reinforcement Learning
2018
J. Burden, D. Kudenko
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018
Promising Compilation to ARMv8.3 (In Russian)
December 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Applying reinforcement learning and supervised learning techniques to play Hearthstone
December 2017
Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev
Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks
December 2017
A. Shpilman, D. Boikiy, M. Plyakova, D. Kudenko, A. Burakov, E. Nadezhdina
Context-Free Path Querying with Structural Representation of Result
December 2017
Semyon Grigorev, Anastasiya Ragozina
There are several solutions for CFPQ, but how to provide structural representation of query result which is practical for answer processing and debugging is still an open problem. In this paper we propose a graph parsing technique which allows one to build such representation with respect to given grammar in polynomial time and space for arbitrary context-free grammar and graph. Proposed algorithm is based on generalized LL parsing algorithm, while previous solutions are based mostly on CYK or Earley algorithms, which reduces time complexity in some cases.
On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)
December 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Finding all minimum-size DFA consistent with given examples: SAT-based approach
September 2017
Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
Closed-loop verification of a compensating group drive model using synthesized formal plant model
September 2017
Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto
Borealis Bounded Model Checker: The Coming of Age Story
September 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model
September 2017
Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin
TREM2 Maintains Microglial Metabolic Fitness in Alzheimer’s Disease
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
The microbial metabolite desaminotyrosine protects from influenza through type I interferon
August 2017
Ashley L. Steed, George P. Christophi, Gerard E. Kaiko, Lulu Sun, Victoria M. Goodwin, Umang Jain, Ekaterina Esaulova, Maxim N. Artyomov, David J. Morales, Michael J. Holtzman, Adrianus C. M. Boon, Deborah J. Lenschow, Thaddeus S. Stappenbeck
2D SLAM Quality Evaluation Methods
August 2017
An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan
Evaluation of Heavy-tailed Mutation Operator on Maximum Flow Test Generation Problem
July 2017
Mironovich V., Buzdalov M.
CSP-based inference of function block finite-state models from execution traces
July 2017
Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
Plant trace generation for formal plant model inference: methods and case study
July 2017
Dmitry Avdyukhin, Daniil Chivilikhin, Georgiy Korneev, Vladimir Ulyantsev, Anatoly Shalyto
PosDB: a Distributed Column-Store Engine
June 2017
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
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
A survey of database dependency concepts
April 2017
Nikita Bobrov, Anastasia Birillo, George Chernishev.
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
Ranking Vertices for Active Module Recovery Problem
April 2017
Javlon E. Isomurodov, Alexander A. Loboda, Alexey A. Sergushichev
A study of PosDB Performance in a Distributed Environment
April 2017
George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
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
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation
January 2017
Daniil Berezun and Neil D. Jones
Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку
2017
Заславский М. М., Баландин С. И., Блеес Э. И.
TRIK studio: Technical introduction
2017
Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
Synchronizing constrained horn clauses
2017
Mordvinov, Dmitry, and Grigory Fedyukovich
System for Automatic Checking of Student Solutions for Linux Programming MOOCs
2017
M. Zaslavskiy, M. Kanushin
How to make visual modeling more attractive to software developers
2017
Andrey Terekhov, Timofey Bryksin, Yurii Litvinov
Verifying Safety of Functional Programs with Rosette/Unbound
2017
Dmitry Mordvinov and Grigory Fedyukovich
Семантически-ориентированная миграция Java-программ: опыт практического применения
2017
Алексюк А.О., Ицыксон В.М.
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Chaordic Learning: A Case Study
2017
Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge
A Reinforcement Learning Based Workflow Application Scheduling Approach For SaaS Providers in Dynamic Cloud Environments
2017
Y. Wei, D. Kudenko, S. Liu, L. Pan, L. Wu, X. Meng
Workload-independent data-driven vertical partitioning
2017
Nikita Bobrov, George Chernishev, and Boris Novikov
An evaluation of TANE algorithm for functional dependency detection
2017
Nikita Bobrov, George Chernishev, Dmitry Grigoriev, and Boris Novikov
Message from the editors
2017
G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson
A Study of Several Matrix-Clustering Vertical Partitioning Algorithms in a Disk-Based Environment
2017
Viacheslav Galaktionov, George Chernishev, Kirill Smirnov, Boris Novikov, and Dmitry A. Grigoriev
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
Разработка аспектно-ориентированного расширения для языка Kotlin
2017
Борис Скрипаль, Владимир Ицыксон
Формализм и языковые инструменты для описания семантики программных библиотек
December 2016
Ицыксон В.М.
Cluster Based Approach to Minimize Delay in Energy Aware Routing for IEEE 802.11s Wireless Mesh Networks Under Mobility Conditions
November 2016
Sp. S. Prakash Tn. Nagabhushan, K. Krinkin
The Scan Matchers Research and Comparison: Monte-Carlo, Olson and Hough
November 2016
K. Krinkin, An. Filatov, Ar. Filatov, A. Huletski D. Kartashov
Full Automated Continuous Integration and Testing Infrastructure for Maxscale and MariaDB
November 2016
Zaslavskiy M., Kaluzhniy A., Berlenko T., Kinyaev I., Krinkin K., Turenko T
Role of Mobile OS and LBS Platform in Design of e-Tourism Smart Services
October 2016
Balandina E.K., Balandin S.I., Koucheryavy Y.A., Zaslavskii M.M.
Matrix Clustering Algorithms for Vertical Partitioning Problem: an Initial Performance Study
October 2016
Vyacheslav Galaktionov, George Chernishev, Boris Novikov, and Dmitry Grigoriev
The SLAM Constructor Framework for ROS [Poster presentation]
October 2016
A. Huletski, D. Kartashov, K. Krinkin
TinySLAM Improvements for Indoor Navigation
October 2016
A. Huletski, D. Kartashov, K. Krinkin
A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
October 2016
Haberland R., Krinkin K.
Integrating immunometabolism and macrophage diversity
October 2016
Maxim N. Artyomov, Alexey Sergushichev, Joel D. Schilling
POSTER: Systems Level Characterization of the Epigenomic Changes During Healthy Aging in the Human Blood Monocyte
October 2016
Bagaitkar Juhi, Bambouskova Monica, Oltz Eugene, Porter Sofia, Collins Patrick, Shpynov Oleg, German Demidov, Konstantin Zaytsev
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
September 2016
Azat Abdullin, Marat Akhin
Certified Grammar Transformation to Chomsky Normal Form in F*
August 2016
Marina Polubelova, Sergey Bozhko, Semyon Grigorev
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
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.
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
June 2016
Tatiana Liah, Vladimir Zyubin
Operational Aspects of C/C++ Concurrency
June 2016
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
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.
Speed convergence of Fourier series of special form
June 2016
A. Kolpakov, An. Filatov, Ar. Filatov
The Heaviside step function approximation with Taylor polynomial of exponent
April 2016
A. Kolpakov, Ar. Filatov, An. Filatov
Abstract predicate entailment over points-to heaplets is syntax recognition
April 2016
Haberland R., Krinkin K., Ivanovskiy S.
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
Modified Ant Colony Algorithm for Constructing Finite State Machines from Execution Scenarios and Temporal Formulas
March 2016
Chivilikhin D., Ulyantsev V., Shalyto A.
Верификация объектно-ориентированных программ с динамической памятью на основе ссылочной модели
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.
Discovering geo-magnetic anomalies: A clustering-based approach
2016
E. Volzhina, A. Chudin, B. Novikov, N. Grafeeva, and E. Mikhailova
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation
2016
Daniil Berezun and Neil D. Jones
Database Migration Project: Bridging Industry-Academia Gap
2016
George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov, Andrey Terekhov
Survey on formal methods in robotics
2016
D. A. Mordvinov, Yu. V. Litvinov
K-means Split Revisited: Well-grounded Approach and Experimental Evaluation
2016
Valentin Grigorev and George Chernishev
Message from the ICDE 2016 program committee and general chairs
2016
Mei Hsu, Alfons Kemper, Timos K. Sellis, Boris Novikov, and Eljas Soisalon-Soininen
Adaptive techniques for extracting mental activity phases from heart beat rate streams
2016
Alina Dubatovka, Elena Mikhailova, Mikhail Zotov, and Boris Novikov
Verified operational transformation for trees
2016
Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov
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
Lexical Analysis of Dynamically Generated String Expressions
2016
Marina Polubelova, Semyon Grigorev
Clone detection in reuse of software technical documentation
2016
Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
On fuzzy repetitions detection in documentation reuse
2016
Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
Метод импорта и обработки открытых данных в LBS-платформе
2016
Заславский М. М., Баландин С. И.
Random Model Sampling: Making Craig Interpolation Work When It Should Not
December 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
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
Evaluation of the Modern Visual SLAM Methods
November 2015
K. Krinkin, D. Kartashov, A. Huletski
Design and Implementation Raspberry Pi-based Omni-wheel Mobile Robot
November 2015
K. Krinkin, Elena Stotskaya, Yury Stotskiy
Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool
October 2015
Marat Akhin, Alexandr Suhinin
A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
October 2015
A.Podkopaev, A.Korovianskii, I.Ozernykh
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
Fast Artificial Landmark Detection for Indoor Mobile Robots
September 2015
K. Krinkin, D. Kartashov, A. Huletski
Constructing Parsimonous Hybridization Networks from Multiple Phylogenetic Trees using a SAT-Solver
August 2015
Ulyantsev V., Melnik M.
A hyperprocess-based approach in Arduino programming
August 2015
Andrey Rozov, Vladimir Zyubin
Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications
July 2015
Buzhinsky I., Ulyantsev V., Veijalainen J., Vyatkin V.
Proximity points approach for building recommendation system for the “Open Karelia” information system
June 2015
Berlenko T.A., Krinkin K., Zaslavskiy M.
Priority queueing with multiple packet characteristics
April 2015
Chuprikov P., Nikolenko S., Kogan K.
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
BFS-Based Symmetry Breaking Predicates for DFA Identification
February 2015
Ulyantsev V., Zakirzyanov I., Shalyto A.
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.
Energy Optimized Path Selection in Cluster Based Routing for Wireless Mesh Network
January 2015
Prakash, S.P.S., Nagabhushan, T.N., Krinkin, K.
Применение гомоморфного шифрования для построения криптосистемы с открытым ключом
2015
В.В. Егорова, Д.К. Чечулина, С.Ф. Кренделев
Fully Homomorphic Encryption for Secure Computations in Protected Database
2015
Darya Chechulina, Kirill Shatilov, Sergey Krendelev
A parallel R-tree bulk-loading for shared-memory architecture
2015
Ilya Shkuratov and George Chernishev
Implementation of the new REST API for open source LBS-platform Geo2Tag
2015
Zaslavskiy M., Mouromtsev D.
View to view transformations in domain specific modeling
2015
Koznov, D.V., Larchik, E.V., Terekhov, A.N.
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
2015
Chivilikhin D., Ivanov I., Shalyto A.
Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations
2015
Chivilikhin D., Shalyto A., Patil S., Vyatkin V.
On development of static analysis tools for string-embedded languages
2015
Marat Khabibullin, Andrei Ivanov, Semyon Grigorev
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Bi-objective optimization for approximate query evaluation
2015
Anna Yarygina and Boris Novikov
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
December 2014
M. Akhin, M. Belyaev, V. Itsykson
POSTER: Detecting differential histone modification sites from ChIP-seq data via ranking
November 2014
Evgenii Kurbatckii
Geocontext extraction methods analysis for determining the new approach to automatic semantic places recognition
November 2014
Zaslavskiy M., Mouromtsev D.
POSTER: A switching hidden Markov model for bisulfite sequencing
November 2014
Sergei Lebedev, Dmitry Groshev
On several social network analysis problems
October 2014
Chernishev, G., Sevostyanov, V., Smirnov, K., and Shkuratov, I.
Implementation of IPv4 Reflection Scheme for Linux-Based Storage Systems
August 2014
K. Krinkin, M. Krinkin
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
Order-preserving encryption schemes based on arithmetic coding and matrices
2014
Usoltseva M., Krendelev S. and Yakovlev M
Optimizing resource allocation for approximate real-time query processing
2014
Anna Yarygina and Boris Novikov
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.
Operational semantics of Reflex
2014
Anureev I.S
String-embedded Language Support in Integrated Development Environment
2014
Semen Grigorev, Ekaterina Verbitskaia, Andrei Ivanov, Marina Polubelova, and Ekaterina Mavchun
Precise Garbage Collection for C++ with a Non-Cooperative Compiler
2014
Daniil Berezun, Dmitry Boulytchev
Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics
2014
A. Andrianova and V. Itsykson
Visualization of parallel program execution for software behavior analysis and defect detection.
2014
A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, V. Itsykson
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
2014
Smirnov Kirill, Chernishev George, Fedotovsky Pavel, Erokhin George, Cherednik Kirill
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.
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
2014
Anton Podkopaev, Dmitry Boulytchev
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.
Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties
2014
Chivilikhin D., Ulyantsev V., Shalyto A.
R-tree re-evaluation effort: a report
2014
Kirill Smirnov, George Chernishev, Pavel Fedotovsky, George Erokhin and Kirill Cherednik
Using Quazi-3D Approach for Microtubule Self-Organization Model
2014
Primako E.M., Shpilman A.A.
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
December 2013
M. Akhin, V. Itsykson
Lightweight Linux dynamic libraries profiling technique for embedded systems
October 2013
M. Zaslavskiy, E. Ryabikov, K. Krinkin
Geo-coding in Smart Environment: Integration Principles of Smart-M3 and Geo2Tag
August 2013
K. Krinkin, K.Yudenok
Lock Manager for Own Products
2013
Sergey Egorov, Mikhail Koveshnikov, Nikita Arykov, Alexander Ilin, Sergey Bobrenok, Sergey Krendelev, Alexey Yuzhakov
Прогнозирование характеристик программных проектов с помощью мета-моделирования.
2013
Ицыксон В.М., Баженов А.С.
Безопасные облачные вычисления с помощью гомоморфной криптографии
2013
Жиров А. О., Жирова О. В., Кренделев С. Ф.
Process-oriented programming language for MCU-based automation
2013
Andrei S. Rozov and Vladimir E. Zyubin
Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов
2013
Поляков Владимир, Брыксин Тимофей
Solving Puzzles: Making Use of SMT Solvers Easy
2013
E. Zaychenko, V. Galuzin, V. Itsykson.
A performance analysis of semantic caching for XML query processing
2013
Boris Novikov, Alice Pigul, and Anna Yarygina
New View on Block Encryption (Unpublished)
2013
Egorova V., Chechulina D., Krendelev S. F.
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.
MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
2013
Chivilikhin D., Ulyantsev V.
QReal DSM Platform: An Environment for Creation of Specific Visual IDEs
2013
Anastasiia Kuzenkova ; Anna Deripaska ; Timofey Bryksin ; Yurii Litvinov and Vladimir Polyakov
Role of Microtubules in Formation of Stress Granules
2013
Chudinova E.M., Shpilman A.A., Lubitelev A.V., Ivanov P.A., Nadezhdina E.S.
Practical fully homomorphic encryption over polynomial quotient rings
2013
Alexander Zhirov, Olga Zhirova, Sergey F. Krendelev
QReal: платформа визуального предметно-ориентированного моделирования
2013
Терехов А.Н., Брыксин Т.А., Литвинов Ю.В.
Using Dependencies to Improve Precision of Code Analysis
December 2012
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Process Mining Approach for Traffic Analysis in Wireless Mesh Networks
August 2012
K.Krinkin, E.Kalishenko, S.P.Shiva Prakash
An xml-algebra for efficient set-at-a-time execution
January 2012
M. Lukichev, B. Novikov, and P. Mehra
Exploring influence and interests among users within social networks
2012
Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
2012
Ицыксон В.М.
Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V., Tsarev F.
Learning Finite-State Machines with Ant Colony Optimization
2012
Chivilikhin D., Ulyantsev V.
Document Teaching to write software engineering documents with focus on document design by means of mind maps
2012
Koznov, D.V.
Multistroke Mouse Gestures Recognition in QReal metaCASE Technology
2012
Osechkina M., Litvinov Y.V., Bryksin T.
ACM SIGMOD Programming Contest: an opportunity to study distinguished aspects of database systems and software engineering (in Russian)
2012
Kirill K. Smirnov, Georgiy A. Chernishev
Реализация уровня изоляции Read Committed для древовидных структур данных
2012
Федотовский П. В., Чернышев Г. А., Смирнов К. К.
Molecules that Organize Cell Microtubule Systems and Why are They Doing It
2012
Brodsky I.B., Burakov A.V., Zhapparova O.N., Ivanov P.A., Fokin A.I., Chudinova E.M., Shanina A.N., Shpilman A.A., Nadezhdina E.S.
Document Refactoring the documentation of software product lines
2011
Romanovsky, K., Koznov, D., Minchin, L.
Process model of DSM solution development and evolution for small and medium-sized software companies
2011
Koznov, D.
Empirical study of parallel SQL query execution
2011
Smirnov K., Chernishev G.
Benchmarking Inter and Intra Operator Parallelism on Contemporary Desktop Hardware
2011
Smirnov K., Chernishev G.
On two methods of star query execution (in Russian)
2011
Kirill Smirnov, George Chernishev
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
Программная инженерия. Обеспечение качества программных средств методами статического анализа.
2011
Глухих М.И., Ицыксон В.М.
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011
Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович
Опыт проведения студенческих проектов на примере реализации metaCASE-системы QReal
2011
Брыксин Тимофей Александрович
Document Towards e-government services in Russia
2011
Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
Mind maps merging in collaborative work
2011
Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (In Russian)
2011
A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
Networking and multithreading architectural aspects of distributed DBMS (in Russian)
2011
Smirnov K. K., Chernishev G. A.
Теоретическая механика. Тестирование базовых знаний
October 2010
В. А. Диевский, А. В. Диевский
Using Process-Oriented Programming in LabVIEW
June 2010
Zyubin V. E
Distributed Database Query Engine
2010
Kirill Smirnov, George Chernishev
ScienceDirect goes social: a social network for scientists integrated with online digital library
2010
George Chernishev, Kirill Smirnov
Microtubules govern stress granule mobility and dynamics, Biochimia Biophysica Acta
2010
Nadezhdina E.S., Lomakin A.J., Shpilman A.A., Chudinova E.M., Ivanov P.A.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Hardware Description Language Based on Message Passing and Implicit Pipelining
2010
Dmitry Boulytchev, Oleg Medvedev
Non-Abelian associated orders of wildly ramified extensions
October 2009
М. В. Бондарко, А. В. Диевский
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
2009
M. Kersten, B. Novikov, and J. Teubner, editors.
A knowledge management approach for industrial model-based testing
2009
Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Simple Computer Model Shows Posibility of Non-Motor Microtubule Binded Gradient Transport
2009
Shpilman A.
Information Complexity Hypothesis: a Conceptual Framework for Reasoning on Pragmatics Issues
July 2008
Zyubin V. E
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.
DocLine: A method for software product lines documentation development
2008
Koznov, D.V., Romanovsky, K.Yu.
Computer-supported collaborative learning with mind-maps
2008
Koznov, D., Pliskin, M.
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.
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
Imitational Modeling of Cytoskeleton: Dynamics, Differentiation, Active Transport and Membrane Interactions
2008
Shpilman A., Nadezhdina E.S.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.
Stochastic Modeling of Microtubule Systems
2006
Shpilman A.A.
Stochastic Computer Model of the Cell Microtubule Dynamics
2006
А.А. Shpil’man and E.S. Nadezhdina
Computational Stochastic Modeling of Cellular Microtubule Network
2006
Shpilman A.A., Nadezhdina E.S.
REAL-IT: Model-Based User Interface Development Environment
2005
A.Ivanov, D.Koznov
Macroarchitecture Description Language for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
Macroarchitecture Description for Hardware/Software Codesign (in Russian)
2004
Dmitry Boulytchev
OCL-based automated validation method for UML specifications
2003
Ol'khovich, L., Koznov, D.V.
On Project-Specific Languages and Their Application in Reengineering
2002
Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov
Document A method for recovery and maintenance of software architecture
2001
Koznov, D., Romanovsky, K., Nikitin, A.
An analysis of alternative methods for storing semistructured data in relations
September 2000
I. Nekrestyanov, B. Novikov, and E. Pavlova.
Pattern-matching and Identification of Structural Types in PL/1 (in Russian)
2000
Dmitry Boulytchev
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.
An Automated Control System for a Silicon Single-Crystal Growth Furnace
1996
Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V