Relaxed Parsing of Regular Approximations of String-Embedded Languages
Verbitskaia, Ekaterina, Grigorev, Semyon, Avdyukhin, Dmitry
Published in Perspectives of System Informatics (01.01.2016)
Published in Perspectives of System Informatics (01.01.2016)
Get full text
Book Chapter
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees
Shemetova, Ekaterina, Okhotin, Alexander, Grigorev, Semyon
Published in Theory of computing systems (01.06.2024)
Published in Theory of computing systems (01.06.2024)
Get full text
Journal Article
SPbLA: The Library of GPGPU-powered Sparse Boolean Linear Algebra Operations
Orachev, Egor, Karpenko, Maria, Alimov, Pavel, Grigorev, Semyon
Published in Journal of open source software (20.08.2022)
Published in Journal of open source software (20.08.2022)
Get full text
Journal Article
Bar-Hillel Theorem Mechanization in Coq
Bozhko, Sergey, Khatbullina, Leyla, Grigorev, Semyon
Published in Logic, Language, Information, and Computation (2019)
Published in Logic, Language, Information, and Computation (2019)
Get full text
Book Chapter
GLL-based Context-Free Path Querying for Neo4j
Abzalov, Vadim, Pogozhelskaya, Vlada, Kutuev, Vladimir, Grigorev, Semyon
Year of Publication 19.12.2023
Year of Publication 19.12.2023
Get full text
Journal Article
Context-Free Path Querying with Structural Representation of Result
Get full text
Paper
Journal Article
One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries
Shemetova, Ekaterina, Azimov, Rustam, Orachev, Egor, Epelbaum, Ilya, Grigorev, Semyon
Year of Publication 26.03.2021
Year of Publication 26.03.2021
Get full text
Journal Article
GLL-based Context-Free Path Querying for Neo4j
Abzalov, Vadim, Pogozhelskaya, Vlada, Kutuev, Vladimir, Grigorev, Semyon
Published in arXiv.org (19.12.2023)
Get full text
Published in arXiv.org (19.12.2023)
Paper
Path querying on acyclic graphs using Boolean grammars
Shemetova, E.N., Grigorev, S.V.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2019)
Get full text
Journal Article