Publicaciones

PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code

June 2021

Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, Timofey Bryksin

18th International Conference on Mining Software Repositories (MSR)

Leer más

New Length Dependent Algorithm for Maximum Satisfiability Problem

May 2021

Vasily Alferov, Ivan Bliznets

Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3634-3641

Leer más

Semi-supervised peak calling with SPAN and JBR Genome Browser

May 2021

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

Bioinformatics, btab376

Leer más

Cellular and plasma proteomic determinants of COVID-19 and non-COVID-19 pulmonary diseases relative to healthy aging

May 2021

Laura Arthur, Ekaterina Esaulova, Denis A. Mogilenko, Petr Tsurinov, Samantha Burdess, Anwesha Laha, Rachel Presti, Brian Goetz, Mark A. Watson, Charles W. Goss, Christina A. Gurnett, Philip A. Mudd, Courtney Beers, Jane A. O’Halloran & Maxim N. Artyomov

Nature Aging

Leer más

First-Order Reasoning and Efficient Semi-Algebraic Proofs

May 2021

Fedor Part, Neil Thapen and Iddo Tzameret

Leer más

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, Timofey Bryksin

2021 ACM SIGCSE Technical Symposium

Leer más

Multi-threshold token-based code clone detection

March 2021

Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, Timofey Bryksin

28th IEEE International Conference on Software Analysis, Evolution and Reengineering

Leer más

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

March 2021

Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko

Leer más

BeBoSy: Behavior Examples meet Bounded Synthesis

February 2021

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE Access ( Early Access )

Leer más

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

Leer más

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

Machine Learning for Molecules Workshop at NeurIPS'2020

Leer más

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

Immunity

Leer más

Automatic generation of reviews of scientific papers

December 2020

Anna Nikiforovskaya, Nikolai Kapralov, Anna Vlasova, Oleg Shpynov, Aleksei Shpilman

ICMLA2020

Leer más

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

Leer más

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

Nature Aging

Leer más

Sosed: a tool for finding similar software projects

September 2020

Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko, Timofey Bryksin

35th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Leer más

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

Leer más

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

September 2020

JINST

Leer más

Comparing Block-based Programming Models for Two-armed Robots

September 2020

Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ron Garcia, David C. Shepherd

IEEE Transactions on Software Engineering

Leer más

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

Empirical Software Engineering (EMSE)

Leer más

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

LNCS, vol 12232

Leer más

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.

ADBIS 2020. Advances in Databases and Information Systems. Lecture Notes in Computer Science.

Leer más

Automated Cross-Language Integration Based on Formal Model of Components

August 2020

Artyom Aleksyuk, Vladimir Itsykson

Lecture Notes in Computer Science book series, volume 12271

Leer más

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

Leer más

Recursive Expressions for SPARQL Property Paths

August 2020

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

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

Leer más

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

Neurology-Neuroimmunology Neuroinflammation

Leer más

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

Workshop on AI for Autonomous Driving (AIAD), the 37th International Conference on Machine Learning (ICML2020)

Leer más

Reconciling Event Structures with Modern Multiprocessors

July 2020

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Leer más

Building Implicit Vector Representations of Individual Coding Style

June 2020

Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, Alberto Bacchelli

13th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE)

Leer más

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

17th International Conference on Mining Software Repositories (MSR)

Leer más

A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub

June 2020

Yaroslav Golubev, Maria Eliseeva, Nikita Povarov, Timofey Bryksin

17th International Conference on Mining Software Repositories (MSR)

Leer más

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.

Proceedings of the Institute for System Programming

Leer más

Recommendation of Move Method Refactoring Using Path-Based Representation of Code

June 2020

Zarina Kurbatova, Ivan Veselov, Yaroslav Golubev, Timofey Bryksin

4th International Workshop on Refactoring (IWoR)

Leer más

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

41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)

Leer más

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

41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)

Leer más

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.

GRADES-NDA'20: Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)

Leer más

Context-Free Path Querying via Matrix Equations

June 2020

Yuliya Susanina

Context-free path querying (CFPQ) widely used for graph-structured data analysis in different areas. It is crucial to develop highly efficient algorithms for CFPQ since the size of the input data is typically large. We show how to reduce GFPQ evaluation to solving systems of matrix equations over R --- a problem for which there exist high-performance solutions. Also, we demonstrate the applicability of our approach to real-world data analysis.
Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data

Leer más

Visualization of Methods Changeability Based on VCS Data

June 2020

Sergey Svitkov, Timofey Bryksin

17th International Conference on Mining Software Repositories (MSR)

Leer más

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

bioRxiv preprint

Leer más

Single cell RNA sequencing in atherosclerosis research

April 2020

Jesse W Williams, Holger Winkels, Christopher P Durant, Konstantin Zaitsev, Yanal Ghosheh, Klaus Ley

Circulation research

Leer más

Caching Intermediates in a Column-Store with Late Materialization: An Initial Study

April 2020

22nd International Workshop On Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2020), EDBT/ICDT 2020, Copenhagen, Denmark

Leer más

Declarative analysis in “Troitsk nu-mass” experiment

April 2020

Journal of Physics Conference Series

Leer más

POSTER: Testing concurrency on the JVM with Lincheck

February 2020

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

PPoPP 2020: 433-434

POSTER: Restricted memory-friendly lock-free bounded queues

February 2020

Nikita Koval, Vitaly Aksenov

PPoPP 2020: 433-434

Optimizing GPU programs by partial evaluation

February 2020

Aleksey Tyurin, Daniil Berezun, Semyon Grigorev

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

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

Leer más

Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering

February 2020

Egor Bogomolov, Vladimir Kovalenko, Alberto Bacchelli, Timofey Bryksin

arXiv preprint

Leer más

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

Nature microbiology

Leer más

Multi-Objective Optimization for Token-Based Clone Detection

February 2020

Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, Timofey Bryksin

arXiv preprint

Leer más

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

Leer más

Making DBMSes Dependency-Aware

January 2020

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

Leer más

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

Leer más

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

Leer más

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.

Programming and Computer Software

Leer más

Compilation of OCaml memory model into Power (In Russian)

December 2019

Egor Namakonov, Anton Podkopaev

Proceedings of ISP RAS

Leer más

Lost in Conversation: A Conversational Agent Based on the Transformer and Transfer Learning

November 2019

Sergey Golovanov, Alexander Tselousov, Rauf Kurbanov, Sergey I. Nikolenko

The NeurIPS '18 Competition

Leer más

Improved Architecture of Artificial Neural Network for Secondary Structure Analysis

November 2019

Semyon Grigorev and Polina Lunina

BMC Bioinformatics

Leer más

Kotless: a Serverless Framework for Kotlin

November 2019

Vladislav Tankov, Yaroslav Golubev, Timofey Bryksin

34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Leer más

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

The NeurIPS '18 Competition

Leer más

Property Directed Inference of Relational Invariants

October 2019

D. Mordvinov, G. Fedyukovich

Proceedings of 19th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2019

Leer más

MAGNet: Multi-agent Graph Network for Deep Multi-agent Reinforcement Learning

October 2019

Aleksandra Malysheva, Daniel Kudenko, Aleksei Shpilman

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

Leer más

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

October 2019

Vladislav Belyaev, Aleksandra Malysheva, Aleksei Shpilman

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

Leer más

Implementing Window Functions in a Column-Store with Late Materialization

October 2019

Nadezhda Mukhaleva, Valentin Grigorev and George Chernishev

9th International Conference on Model and Data Engineering, MEDI 2019

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.

Proceedings of the 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

Kotlin language for science and Kmath library

October 2019

AIP Conference Proceedings

Leer más

Distributed Classification of Text Streams: Limitations, Challenges, and Solutions

September 2019

Artem Trofimov, Nikita Sokolov, Mikhail Shavkunov, Igor Kuralenok, and Boris Novikov

In Proceedings of Real-Time Business Intelligence and Analytics (BIRTE 2019). ACM, New York, NY, USA, Article 2, 6 pages

Leer más

Smart Caching for Efficient Functional Dependency Discovery

September 2019

Anastasia Birillo and Nikita Bobrov

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

Leer más

On Happy Colorings, Cuts, and Structural Parameterizations

September 2019

Ivan Bliznets and Danil Sagunov

WG 2019: Graph-Theoretic Concepts in Computer Science

Leer más

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

Nature immunology

Leer más

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

eLife

Leer más

Shape-based event pileup separation in Troitsk nu-mass experiment

August 2019

JINST

Leer más

Lower Bounds for the Happy Coloring Problems

July 2019

Ivan Bliznets and Danil Sagunov

COCOON 2019: Computing and Combinatorics

Leer más

Log-based Reading Speed Prediction: a Case Study on War and Peace

July 2019

Igor Tukh, Pavel Braslavski, and Kseniya Buraya

AIST

Leer más

Large-scale transfer learning for natural language generation

July 2019

Sergey Golovanov, Rauf Kurbanov, Sergey Nikolenko, Kyryl Truskovskyi, Alexander Tselousov, Thomas Wolf

Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics

Leer más

Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing

July 2019

Artem Trofimov, Igor E. Kuralenok, Nikita Marshalkin, Boris Novikov

arXiv preprint

Leer más

On Satisfiability of Nominal Type Systems With Variance

July 2019

A. Misonizhnik, D. Mordvinov

33rd European Conference on Object-Oriented Programming (ECOOP 2019)

Leer más

Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks

July 2019

Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev

ACM

Leer más

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

Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia

Word embedding in form of symmetric and skew-symmetric operator

June 2019

Ekaterina Koshchenko, Igor Kuralenok

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

Leer más

Smart Contract Design Meets State Machine Synthesis: Case Studies

June 2019

Dmitrii Suvorov, Vladimir Ulyantsev

arXiv preprint arXiv:1906.02906

Leer más

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

Leer más

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

Recently proposed matrix multiplication based algorithm for context-free path querying (CFPQ) offloads the most performance-critical parts onto boolean matrices multiplication. Thus, it is possible to achieve high performance of CFPQ by means of modern parallel hardware and software. In this paper, we provide results of empirical performance comparison of different implementations of this algorithm on both real-world data and synthetic data for the worst cases.
Proceedings of the 2nd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)

Leer más

Statistical time analysis for regular events with high count rate

June 2019

JINST

Leer más

Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform

June 2019

Artyom Lobanov, Timofey Bryksin, and Alexey Shpilman

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

Leer más

Bioinformatics Institute 2018/19 project abstracts

June 2019

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

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

Leer más

Evaluation of Move Method refactorings recommendation algorithms: are we doing it right?

May 2019

Evgenii Novozhilov, Ivan Veselov, Mikhail Pravilov, Timofey Bryksin

3rd International Workshop on Refactoring (IWoR)

Leer más

Complete deconvolution of cellular mixtures based on linearity of transcriptional signatures

May 2019

Konstantin Zaitsev, Monika Bambouskova, Amanda Swain, Maxim N Artyomov

Nature communications

Leer más

Words and Topics: Content Representations for Book Recommendation

May 2019

Larissa Kolesnichenko, Pavel Braslavski

Dialog

Leer más

PathMiner : A Library for Mining of Path-Based Representations of Code

May 2019

Vladimir Kovalenko, Egor Bogomolov, Timofey Bryksin, Alberto Bacchelli

16th International Conference on Mining Software Repositories (MSR)

Leer más

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

Cell Research, volume 29, pages 406–419

Leer más

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

Leer más

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

April 2019

Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev

Springer, Cham

Leer más

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)

Leer más

Designing a DBMS development course with automatic assignment evaluation

April 2019

Viacheslav Galaktionov, George Chernishev

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

Leer más

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

Leer más

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.

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

Leer más

Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

March 2019

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

Springer, Cham

Leer más

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

January 2019

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

BioRxiv

Leer más

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

Leer más

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

January 2019

Ivan Bliznets and Danil Sagunov

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

Leer más

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

January 2019

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE Transactions on Industrial Informatics

Leer más

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

January 2019

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

Circulation research

Leer más

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

Leer más

Bridging the Gap Between Programming Languages and Hardware Weak Memory Models

January 2019

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

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

Leer más

Designing Proton and Electron Detector for Monitoring Solar Cosmic Rays

January 2019

Bulletin of the Lebedev Physics Institute

Leer más

GENOMIC DATA ACCESS SERVICE

2019

Kalinin Vladislav Il'ich, Cherniatchik Roman Igorevich

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

Leer más

Организация дисциплины "Введение в программную инженерию" как способ комплексного погружения студентов в специальность

2019

Берленко Т.А., Заславский М.М, Чайка К.В., Кринкин К.В.

Материалы XXV международной научно-методической конференции //Современное образование: содержание, технологии, качество

Leer más

Constructing verification-oriented domain-specific process ontologies

2019

Garanina N.O., Anureev I.S., Zyubin V.E

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

POSTER: Lock-free channels for programming via communicating sequential processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

PPoPP 2019: 417-418

Constructive Negation for MiniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Leer más

Physics potential of the International Axion Observatory (IAXO)

2019

JCAP

Leer más

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Leer más

Scalable FIFO Channels for Programming via Communicating Sequential Processes

2019

Nikita Koval, Dan Alistarh, Roman Elizarov

Euro-Par 2019: 317-333

Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers

2019

Dan Alistarh, Giorgi Nadiradze, Nikita Koval

SPAA 2019: 145-154

In Search of the Fastest Concurrent Union-Find Algorithm

2019

Dan Alistarh, Alexander Fedorov, Nikita Koval

OPODIS 2019: 15:1-15:16

Measurements with a TRISTAN prototype detector system at the "troitsk nu-mass" experiment in integral and differential mode

2019

JINST

Leer más

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

2019

JETP Letters

Leer más

Reactor like TGE model

2019

AIP Conference Proceedings

Leer más

A Survey of Smart Contract Safety and Programming Languages

2019

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

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

Leer más

Архитектура программных систем в контексте технологий Индустрии 4.0

2019

К. В. Чайка , К. В. Кринкин , Ар. Ю. Филатов , Ан. Ю. Филатов

Сборник докладов XXII Международной конференции по мягким вычислениям и измерениям (SCM-2019)

Relational Interpreters for Search Problems

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Leer más

Certified Semantics for miniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Leer más

Survey on Blockchain Technology, Consensus Algorithms, and Alternative Distributed Technologies

2019

N. Mishin, A. Fefelov, V. Bushev, I. Kirilenko, and D. Berezun

SEIM-19

Leer más

Path planning for UAV search using growing area algorithm and clustering

2019

Alexander Fedorov

SEIM 2019: 20-24

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

2019

SPIN 2019 26th International Symposium on Model Checking of Software

Leer más

Исследование критериев соответствия текста научному стилю

2019

Блеес Э.И., Заславский М.М.

Научно-технический вестник информационных технологий, механики и оптики. Т. 19. № 2. С. 299–305. doi: 10.17586/2226-1494-2019-19-2-299-305

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

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model

2019

Staroletov S., Dubko A

System Informatics. P. 13-44

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

2019

Staroletov S., Fedorov V

10th workshop “Program semantics, specification and verification: Theory and applications”

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

December 2018

A. Gaydashenko, D. Kudenko, A. Shpilman

ICMLA

Leer más

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

Leer más

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

Leer más

Framework for Deep Reinforcement Learning with GPU-CPU Multiprocessing

December 2018

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

Open Access Software

Leer más

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

Leer más

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

Leer más

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

November 2018

I. Sosin, D. Kudenko, A. Shpilman

ICARCV

Leer más

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

November 2018

A. Malysheva, D. Kudenko, A. Shpilman

ICARCV

Leer más

Rainbow World Models

November 2018

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

AIIDE-18 Workshop: Learning to Play

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

November 2018

Tatiana Belova and Ivan Bliznets

COCOA 2018: Combinatorial Optimization and Applications

Leer más

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

November 2018

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

October 2018

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

AINL

Leer más

Stierlitz Meets SVM: Humor Detection in Russian

October 2018

Anton Ermilov, Natasha Murashkina, Valeria Goryacheva, Pavel Braslavski

AINL

Leer más

Does reviewer recommendation help developers?

September 2018

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

IEEE Transactions on Software Engineering

Leer más

Personal Names Popularity Estimation and its Application to Record Linkage

September 2018

Ksenia Zhagorina, Pavel Braslavski, Vladimir Gusev

ADBIS

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

Mining file histories: should we consider branches?

September 2018

Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli

33rd ACM/IEEE International Conference on Automated Software Engineering (ASE)

Leer más

Contextually indexed contextual categories

September 2018

Valery Isaev

Leer más

Extended Abstract: F# OpenCL Type Provider

September 2018

Kirill Smirenko, Semyon Grigorev

Extended abstract at TyDe 2018 (at ICFP).

Leer más

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

Leer más

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

Leer más

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

Leer más

Automatic Recommendation of Move Method Refactorings Using Clustering Ensembles

September 2018

Timofey Bryksin, Evgenii Novozhilov, and Aleksei Shpilman

2nd International Workshop on Refactoring (IWoR)

Leer más

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Leer más

Detecting anomalies in Kotlin code

July 2018

Timofey Bryksin, Victor Petukhov, Kirill Smirenko, Nikita Povarov

2nd International Workshop on Machine Learning techniques for Programming Languages

Leer más

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

Leer más

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

Leer más

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

Leer más

Indexed type theories

June 2018

Valery Isaev

arXiv

Leer más

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

Leer más

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)

Leer más

Building Detection from Satellite Imagery Using a Composite Loss Function

June 2018

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

CVPR Workshop

Leer más

Code review for newcomers: is it different?

May 2018

Vladimir Kovalenko, Alberto Bacchelli

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

Morita equivalences between algebraic dependent type theories [Preprint]

April 2018

Valery Isaev

arXiv

Leer más

Data-based code synthesis in IntelliJ IDEA

April 2018

V. Tankov and T. Bryksin

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

Leer más

BFS Enumeration for Breaking Symmetries in Graphs

April 2018

Vyacheslav Moklev, Vladimir Ulyantsev

arXiv

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

Exact finite-state machine identification from scenarios and temporal properties

February 2018

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Springer Berlin Heidelberg

Leer más

Automated refactoring of object-oriented code using clustering ensembles

February 2018

T. Bryskin, A. Shpilman, D. Kudenko

AAAI Workshop on Natural Language Processing for Software Engineering

Leer más

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

Genome Announc vol. 6 no. 3 e01464-17

Leer más

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

1 Journal of the american society of nephrology

Leer más

DataForge: Modular platform for data storage and analysis

January 2018

The European Physical Journal Conferences

Leer más

Behavioural realism and the activation of aggressive concepts in violent video games

January 2018

D. Zendle, D. Kudenko, P. Cairns

Entertainment Computing

Leer más

PosDB: An Architecture Overview

January 2018

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

Programming and Computer Software

Leer más

Processing of higher count rates in Troitsk nu-mass experiment

January 2018

The European Physical Journal Conferences

Leer más

Application of Turchin's method of statistical regularization

January 2018

The European Physical Journal Conferences

Leer más

Hardness of Approximation for H-free Edge Modification Problems

2018

Ivan Bliznets, Marek Cygan, Pawel Komosa, Michal Pilipczuk

ACM Transactions on Computation Theory

Leer más

Improving Refutational Completeness of Relational Search via Divergence Test

2018

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming

Leer más

Generator of 2D laser scan based datasets for ROS

2018

Arthur Huletski, Dmitriy Kartashov and Kirill Krinkin

Leer más

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

2018

Мокрецов Р. М., Заславский М. М.

Научно-технический вестник информационных технологий, механики и оптики. Т. 18. № 3. С. 511-520.

Leer más

Методы сравнения качества 2D-SLAM-алгоритмов

2018

Ар. Ю. Филатов, Ан. Ю. Филатов, К. В. Кринкин, Б. Чен, Д. Молодан

"Известия ЛЭТИ", №8, с. 87-95.

Leer más

Сравнение современных лазерных алгоритмов SLAM

2018

Ар. Ю. Филатов, Ан. Ю. Филатов, А. Т. Гулецкий, Д. А. Карташов, К. В. Кринкин

"Известия ЛЭТИ"

Leer más

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

2018

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

Reflex Language: a Practical Notation for Cyber-Physical Systems

2018

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

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

2018

Modeling and Analysis of Information Systems

Leer más

Poster: Duplicate finder toolkit

2018

D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov

40th ACM/IEEE International Conference on Software Engineering, ICSE 2018

Leer más

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

Leer más

Basics of Software Testing and Verification [in Russian]

2018

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

Lanbook publishing

Leer más

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

2018

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

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

Leer más

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

2018

Ицыксон В.М.

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

Leer más

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

2018

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

SEIM-2018

Leer más

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

SEIM-2018

Leer más

SMT-based analysis of constraints on .NET types

2018

Aleksandr Misonizhnik and Dmitry Mordvinov

CEUR: 44-52

Using Uniform State Abstractions For Reward Shaping With Reinforcement Learning

2018

J. Burden, D. Kudenko

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

Reinforcement learning from multiple experts demonstrations

2018

M. Li, D. Kudenko

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

Typed Relational Conversion

2018

Petr Lozov, Andrey Vyatkin, Dmitry Boulytchev

18th International Symposium on Trends in Functional Programming

Leer más

On fibrant objects in model categories

2018

Valery Isaev

Theory and Applications of Categories, Vol. 33, No. 3, 2018, pp. 43–66.

Leer más

Dynamic Selection of Environmental Variables to Improve the Prodiction of Aphid Phenology: A Machine Learning Approach

2018

P. Holloway, D. Kudenko, J. Bell

Ecological Indicators

Leer más

Assurance in Reinforcement Learning Using Quantitative Verification

2018

G. Mason, R. Calinescu, D. Kudenko, A. Banks

Advances in Hybridization of Intelligent Methods. Smart Innovation, Systems and Technologies

Leer más

Subexponential Parameterized Algorithm for Interval Completion

2018

Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk

ACM Transactions on Algorithms (TALG)

Leer más

iSynchronizer: A Tool for Extracting, Integration and Analysis of MovieLens and IMDb Datasets

2018

N. Al-Roussais, D. Kudenko

Holistic User Modelling Workshop at UMAP '18

Typed Embedding of a Relational Language in OCaml

2018

Proceedings ML/OCAML 2016

Leer más

Applying reinforcement learning and supervised learning techniques to play Hearthstone

December 2017

Ilya Kachalsky, Ilya Zakirzyanov, Vladimir Ulyantsev

IEEE

Leer más

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

NTV SPbSTU

Leer más

Promising Compilation to ARMv8.3 (In Russian)

December 2017

A. Podkopaev, O. Lahav, V. Vafeiadis

Proceedings of ISP RAS

Leer más

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

ICMLA

Leer más

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.

Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia (CEE-SECR '17)

Leer más

VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model

September 2017

Arthur Huletski; Dmitriy Kartashov; Kirill Krinkin

Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference

Leer más

Finding all minimum-size DFA consistent with given examples: SAT-based approach

September 2017

Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev

Springer, Cham

Leer más

Borealis Bounded Model Checker: The Coming of Age Story

September 2017

Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Present and Ulterior Software Engineering (pp. 119--137)

Leer más

Model structures on categories of models of type theories

September 2017

Valery Isaev

Mathematical Structures in Computer Science

Leer más

Closed-loop verification of a compensating group drive model using synthesized formal plant model

September 2017

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto

IEEE

Leer más

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

Science Vol 357, Issue 6350

Leer más

2D SLAM Quality Evaluation Methods

August 2017

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

Leer más

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

Cell, Volume 170, Issue 4

Leer más

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

July 2017

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

IEEE

Leer más

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

July 2017

Mironovich V., Buzdalov M.

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

Leer más

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

July 2017

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

IEEE

Leer más

Graph Parsing by Matrix Multiplication

July 2017

Rustam Azimov, Semyon Grigorev

arXiv

Leer más

Promising Compilation to ARMv8 POP

June 2017

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Leer más

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

June 2017

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

Nature Microbiology 2, Article number: 17101

Leer más

PosDB: a Distributed Column-Store Engine

June 2017

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

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

Leer más

A survey of database dependency concepts

April 2017

Nikita Bobrov, Anastasia Birillo, George Chernishev.

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

Leer más

Ranking Vertices for Active Module Recovery Problem

April 2017

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

Algorithms for Computational Biology

Leer más

Genomic landscape of high-grade meningiomas

April 2017

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

npj Genomic Medicine 2, Article number: 15

Leer más

A study of PosDB Performance in a Distributed Environment

April 2017

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

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

Leer más

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

January 2017

Daniil Berezun and Neil D. Jones

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

Leer más

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

January 2017

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

bioRxiv

Leer más

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

Springer International Publishing, Cham, pages 163–177

Leer más

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

13th EAI International Conference on Collaborative Computing

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

Leer más

Chaordic Learning: A Case Study

2017

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

Leer más

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)

Leer más

TRIK Studio: Technical Introduction

2017

Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin

Proceedings of the 20th Conference of Open Innovations Association FRUCT

Leer más

Untyped Lambda-Calculus Normalization by Traversals (in Russian)

2017

Berezun D.A.

Известия вузов. Северо Кавказский регион. Технические науки. – 2017. – No 4. – C. 5–12.

Leer más

Complete Head Linear Reduction (in Russian)

2017

Berezun D.A.

St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems

Leer más

Synchronizing constrained horn clauses

2017

Mordvinov, Dmitry, and Grigory Fedyukovich

LPAR, EPiC Series in Computing. EasyChair

Verifying Safety of Functional Programs with Rosette/Unbound

2017

Dmitry Mordvinov and Grigory Fedyukovich

TRIK studio: Technical introduction

2017

Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin

Open Innovations Association (FRUCT), 2017 20th Conference of. IEEE

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

System Informatics, Volume 10, pp 67-76

Leer más

System for Automatic Checking of Student Solutions for Linux Programming MOOCs

2017

M. Zaslavskiy, M. Kanushin

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

Leer más

Метод обработки в реальном времени открытых данных, содержащих гео-контекстную разметку

2017

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

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

Leer más

The design of an adaptive column-store system

2017

George Chernishev

Journal of Big Data, 4:5,

Leer más

Разработка аспектно-ориентированного расширения для языка Kotlin

2017

Борис Скрипаль, Владимир Ицыксон

Конференция по программной инженерии и организации информации​ (SEIM)

Leer más

Message from the editors

2017

G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson

CEUR Workshop Proceedings, 1864

Implementing common table expressions for MariaDB

2017

G. Shalygina and B. Novikov

CEUR Workshop Proceedings, 1864

Leer más

An evaluation of TANE algorithm for functional dependency detection

2017

Nikita Bobrov, George Chernishev, Dmitry Grigoriev, and Boris Novikov

In Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, and Ladjel Bellatreche, editors, Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, volume 10563 of Lecture Notes in Computer Science, pages 208–222. Springer

Leer más

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

2017

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

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

Leer más

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

2017

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

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

Leer más

Workload-independent data-driven vertical partitioning

2017

Nikita Bobrov, George Chernishev, and Boris Novikov

In Marite Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, and Stefano Rizzi, editors, New Trends in Databases and Information Systems - ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings, volume 767 of Communications in Computer and Information Science, pages 275–284. Springer

Leer más

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

December 2016

Ицыксон В.М.

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

Leer más

The Scan Matchers Research and Comparison: Monte-Carlo, Olson and Hough

November 2016

K. Krinkin, An. Filatov, Ar. Filatov, A. Huletski D. Kartashov

Proceedings 19th Conference of Open Innovations Association FRUCT — Finland, University of Jyväskylä, 9-11 Nov 2016, Pp 99-105

Leer más

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

Proceedings of the 19th Conference of Open Innovations Association FRUCT

Leer más

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

Proceedings 19th Conference of Open Innovations Association FRUCT — Finland, University of Jyväskylä, 9-11 Nov 2016 Pp: 189-195

Leer más

TinySLAM Improvements for Indoor Navigation

October 2016

A. Huletski, D. Kartashov, K. Krinkin

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

Leer más

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

Leer más

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

Leer más

A SLAM research framework for ROS

October 2016

A. Huletski, D. Kartashov

Central & Eastern European Software Engineering Conference in Russia (CEE-SECR ’16)

Leer más

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.

UBICOMM 2016, The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies

Leer más

The SLAM Constructor Framework for ROS [Poster presentation]

October 2016

A. Huletski, D. Kartashov, K. Krinkin

2016 IEEE/RSJ International Conference on Intelligent Robots and Systems October 9-14, 2016, Daejeon, Daejeon, Korea

Leer más

Model category of marked objects

October 2016

Valery Isaev

arXiv

Leer más

Integrating immunometabolism and macrophage diversity

October 2016

Maxim N. Artyomov, Alexey Sergushichev, Joel D. Schilling

Seminars in Immunology, Volume 28, Issue 5

Leer más

A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction

October 2016

Haberland R., Krinkin K.

The Tenth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2016) ISBN: 978-1-61208-506-7 Pp. 1-9

Leer más

By the power of SMT! Mining Function Contracts to Better Bounded Model Checking

September 2016

Azat Abdullin, Marat Akhin

SoftwareMining 2016: Proceedings of the 5th International Workshop on Software Mining

Leer más

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

August 2016

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

Leer más

Certified Grammar Transformation to Chomsky Normal Form in F*

August 2016

Marina Polubelova, Sergey Bozhko, Semyon Grigorev

Proceedings of the Institute for System Programming

Leer más

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

Leer más

Operational Aspects of C/C++ Concurrency

June 2016

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

arXiv

Leer más

Speed convergence of Fourier series of special form

June 2016

A. Kolpakov, An. Filatov, Ar. Filatov

Izvestiya SPbGETU «LETI»

Leer más

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

Leer más

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

Leer más

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

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

Leer má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

Nucleic Acids Research, Vol. 44

Leer más

The Heaviside step function approximation with Taylor polynomial of exponent

April 2016

A. Kolpakov, Ar. Filatov, An. Filatov

Izvestiya SPbGETU «LETI»

Leer más

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

Leer más

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

arXiv

Leer más

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

January 2016

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

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Leer más

The formalism for semantics specification of software libraries

2016

V. Itsykson

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

Leer más

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

2016

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

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

Leer más

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

2016

E. Moiseenko, D. Berezun

SEIM-16

Leer más

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

Leer más

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

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.

Leer más

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

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

Evaluation of the Modern Visual SLAM Methods

November 2015

K. Krinkin, D. Kartashov, A. Huletski

AINL-ISMW FRUCT Conference Proceedings

Leer más

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

Leer más

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

Leer más

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

Leer más

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

October 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

NTV SPbSTU 4 (224)

Leer más

Fast Artificial Landmark Detection for Indoor Mobile Robots

September 2015

K. Krinkin, D. Kartashov, A. Huletski

FedCSIS proceedings

Leer más

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

Leer más

A hyperprocess-based approach in Arduino programming

August 2015

Andrey Rozov, Vladimir Zyubin

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

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.

Leer más

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

Leer más

Priority queueing with multiple packet characteristics

April 2015

Chuprikov P., Nikolenko S., Kogan K.

Proceedings of 2015 IEEE Conference on Computer Communications (INFOCOM)

Leer más

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.

Leer más

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.

Leer más

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.

Leer más

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)

Leer más

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

Leer más

Generalized Table-based LL-parsing

2015

Ragozina Anastasiya, Grigorev Semyon

Systems and Means of Informatics

Leer más

Combinators and Type-Driven Transformers in Objective Caml

2015

Dmitry Boulytchev

Science of Computer Programming

Leer más

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

2015

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

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

Leer más

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

2015

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

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

Leer más

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

2015

M. Belyaev, V. Itsykson

Innopolis

Leer más

Visualization of Execution Paths for Concurrent Programs

2015

Marat Akhin, Andrei Eleshevich

Proceedings of the International Workshop on Applications in Information Technology

Leer más

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

Leer más

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

Leer más

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

Leer más

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

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

Leer más

Fully Homomorphic Encryption for Secure Computations in Protected Database

2015

Darya Chechulina, Kirill Shatilov, Sergey Krendelev

FedCSIS Position Papers 2015: 125-131

Leer más

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

2015

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

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

Leer más

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

2015

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

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

Leer más

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

Leer más

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.

Leer más

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

Leer más

POSTER: A switching hidden Markov model for bisulfite sequencing

November 2014

Sergei Lebedev, Dmitry Groshev

Proceedings of the 14th European conference on computational biology

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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.

R-tree re-evaluation effort: a report

2014

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

Technical report

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

Leer más

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

Optimizing resource allocation for approximate real-time query processing

2014

Anna Yarygina and Boris Novikov

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

Leer más

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

2014

Primako E.M., Shpilman A.A.

V ICMBB

Leer más

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

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

Leer más

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

Leer más

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

Leer más

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

Leer más

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

Leer más

APERIODIC GENERATORS OF PSEUDORANDOM NUMBERS

2014

Krendelev S.F., Kuzmenok A.Yu.

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

Leer más

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

Leer más

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

Leer más

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

Leer más

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

2013

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

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

Leer más

Lock Manager for Own Products

2013

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

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

Leer más

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

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

2013

Chernishev G.

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

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

Leer más

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

2013

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

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

Leer más

GLR-based Abstract Parsing

2013

Semen Grigorev and Iakov Kirilenko

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

Leer más

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

Leer más

Solving Puzzles: Making Use of SMT Solvers Easy

2013

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

1st Workshop "Fun With Formal Methods"

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

2013

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

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

Leer más

New View on Block Encryption (Unpublished)

2013

Egorova V., Chechulina D., Krendelev S. F.

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

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

2013

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

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

Leer más

A performance analysis of semantic caching for XML query processing

2013

Boris Novikov, Alice Pigul, and Anna Yarygina

IJKBO, 3(4):40–60

Leer más

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)

Leer más

Using Dependencies to Improve Precision of Code Analysis

December 2012

M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko

Automatic Control and Computer Sciences, Volume 46, Issue 7

Leer más

Process Mining Approach for Traffic Analysis in Wireless Mesh Networks

August 2012

K.Krinkin, E.Kalishenko, S.P.Shiva Prakash

Internet of Things, Smart Spaces and Next Generation Networking. Lecture Notes in Computer Science (LNCS)

Leer más

An xml-algebra for efficient set-at-a-time execution

January 2012

M. Lukichev, B. Novikov, and P. Mehra

Computer Science and Information Systems, 9:63–80

Leer más

Document Teaching to write software engineering documents with focus on document design by means of mind maps

2012

Koznov, D.V.

Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012 pp. 112-118

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.

III SCBM

Реализация уровня изоляции Read Committed для древовидных структур данных

2012

Федотовский П. В., Чернышев Г. А., Смирнов К. К.

Материалы третьей межвузовской научной конференции по проблемам информатики СПИСОК-2012

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

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

Exploring influence and interests among users within social networks

2012

Jose Simoes, Julia Kiseleva, Elena Sivogolovko, and Boris Novikov

In Ajith Abraham, editor, Computational Social Networks, pages 177–206. Springer London

Leer más

Querying big data

2012

Boris Novikov, Natalia Vassilieva, and Anna Yarygina

In Proceedings of the 13th International Conference on Computer Systems and Technologies, CompSysTech ’12, pages 1–10, New York, NY, USA

Leer más

Multistroke Mouse Gestures Recognition in QReal metaCASE Technology

2012

Osechkina M., Litvinov Y.V., Bryksin T.

Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012)

Leer más

Learning Finite-State Machines with Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V.

Lecture Notes in Computer Science, Vol. 7461/2012, pp. 268-275

Leer más

Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization

2012

Chivilikhin D., Ulyantsev V., Tsarev F.

Proceedings of the 14th international conference on Genetic and Evolutionary Computation companion (GECCO'12), pp. 603-606

Leer más

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

2012

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

Программная инженерия, #6

Leer más

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

2012

Ицыксон В.М.

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

Leer más

Seamless WLAN Off-load of 3G Networks

January 2011

N. Amelichev, M. Krinkin, K. Krinkin

Proceedings of IEEE Russia North-West Section, 2011, Vol. 1.

Leer más

Empirical study of parallel SQL query execution

2011

Smirnov K., Chernishev G.

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

Document Refactoring the documentation of software product lines

2011

Romanovsky, K., Koznov, D., Minchin, L.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4980 LNCS, pp. 158-170

Process model of DSM solution development and evolution for small and medium-sized software companies

2011

Koznov, D.

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC 6037606, pp. 85-92

Mind maps merging in collaborative work

2011

Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.

Programming and Computer Software 37 (6), pp. 315-321

Document Towards e-government services in Russia

2011

Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.

KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing pp. 294-301

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

2011

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

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

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

2011

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

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

Leer más

Обнаружение клонов исходного кода: теория и практика

2011

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

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

Leer más

Networking and multithreading architectural aspects of distributed DBMS (in Russian)

2011

Smirnov K. K., Chernishev G. A.

Программные продукты и системы. – №. 1.

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

NTV SPbSTU 4 (128)

Leer más

Efficiently Scrapping Boilerplate Code in OCaml

2011

Dmitry Boulytchev, Sergey Mechtaev

Workshop on ML

Leer más

Опыт проведения студенческих проектов на примере реализации metaCASE-системы QReal

2011

Брыксин Тимофей Александрович

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

Leer más

Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal

2011

Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович

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

Leer más

Benchmarking Inter and Intra Operator Parallelism on Contemporary Desktop Hardware

2011

Smirnov K., Chernishev G.

SYRCoDIS. – С. 62-67.

On two methods of star query execution (in Russian)

2011

Kirill Smirnov, George Chernishev

In proceedings of SPISOK conference p. 253-257.

Теоретическая механика. Тестирование базовых знаний

October 2010

В. А. Диевский, А. В. Диевский

Using Process-Oriented Programming in LabVIEW

June 2010

Zyubin V. E

Proceedings of the Second IASTED International Multi-Conference on “Automation, control, and information technology”: Control, Diagnostics, and Automation, Novosibirsk

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

2010

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

Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада

ScienceDirect goes social: a social network for scientists integrated with online digital library

2010

George Chernishev, Kirill Smirnov

Contest Poster, ACM SIGIR 2010, Geneve.

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.

Biochimia Biophysica Acta

Hardware Description Language Based on Message Passing and Implicit Pipelining

2010

Dmitry Boulytchev, Oleg Medvedev

Proceedings of the 2010 East-West Design & Test Symposium

Leer más

Distributed Database Query Engine

2010

Kirill Smirnov, George Chernishev

Contest Poster, ACM SIGMOD/PODS 2010, Indianapolis.

Язык спецификаций поведения программных компонентов.

2010

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

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

Leer más

Source code modification technology based on parameterized code patterns

2010

Itsykson V., Timofeev D.

Software Engineering Conference in Russia (CEE-SECR)

Leer más

Non-Abelian associated orders of wildly ramified extensions

October 2009

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

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

2009

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

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

Leer más

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

2009

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

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

Leer más

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

2009

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

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

Leer más

Automatic Defect Detection in Industrial C/C++ Software

2009

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

Software Engineering Conference in Russia (CEE-SECR)

Leer más

A Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Software Engineering Conference in Russia (CEE-SECR)

Leer más

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

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

Leer más

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

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

Leer más

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

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

2008

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

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

Leer má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

Biophysics

Computer-supported collaborative learning with mind-maps

2008

Koznov, D., Pliskin, M.

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

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

Temporal databases: From theory to applications

2008

B. Novikov and E. Gorshkova

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

Leer más

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

Hyper-automaton: A Model of Control Algorithms

2007

Vladimir E. Zyubin

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

Leer más

Database Application Tuning

2006

B. Novikov and H. Dombrovskaya

BHV, St.-Petersburg

Leer más

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

Computational Stochastic Modeling of Cellular Microtubule Network

2006

Shpilman A.A., Nadezhdina E.S.

46th Annual Meeting of the American Society for Cell Biology

BURS-based Instruction Set Selection

2006

Dmitry Boulytchev

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

Leer más

Cooking Raw Types in Java

2005

Dmitry Boulytchev, Eugene Vigdorchik

Workshop on Multiparadigm Programming with Object-Oriented Languages

Leer más

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

Macroarchitecture Description for Hardware/Software Codesign (in Russian)

2004

Dmitry Boulytchev

System Programming

Leer más

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

2004

Dmitry Boulytchev

System Programming

Leer más

Efficient Code Generation Algorithms (in Russian)

2004

Dmitry Boulytchev

System Informatics

Leer más

OCL-based automated validation method for UML specifications

2003

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

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

Towards collaborative video authoring

2003

Boris Novikov and Oleg Proskurnin

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

Leer más

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

Leer más

An Empirical Study of Retargetable Compilers

2001

Dmitry Boulytchev, Dmitry Lomov

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

Leer más

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

Leer más

Digital libraries as a new class of information systems

2000

M. Kogalovsky and B. Novikov

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

Leer más

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

2000

Dmitry Boulytchev

Automated Reengeneering of Programs, Saint Petersburg

Leer más

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