Evaluation of the context-free path querying algorithm based on matrix multiplication

Mishin, N., Sokolov, I., Spirin, E., Kutuev, V., Nemchinov, E., Gorbatyuk, S. & Grigorev, S., 30 июн 2019, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Arora, A., Bhattacharya, A. & Fletcher, G. (ред.). Association for Computing Machinery

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

The composition of dense neural networks and formal grammars for secondary structure analysis

Grigorev, S. & Lunina, P., 1 янв 2019, BIOINFORMATICS 2019 - 10th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019. De Maria, E., Gamboa, H. & Fred, A. (ред.). SciTePress, стр. 234-241 8 стр.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Bar-Hillel Theorem Mechanization in Coq

Bozhko, S., Khatbullina, L. & Grigorev, S., 2019, Logic, Language, Information, and Computation : 26th International Workshop, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (ред.). Berlin, Heidelberg: Springer Nature, стр. 264-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11541 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Parser combinators for context-free path querying

Kirillov, I., Nozkin, I. & Grigorev, S., 17 сен 2018, Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018. Erdweg, S. & Oliveira, B. C. D. S. (ред.). Association for Computing Machinery, стр. 13-23 11 стр. (Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Context-free path querying by matrix multiplication

Azimov, R. & Grigorev, S., 10 июн 2018, Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018. Bhattacharya, A., Fletcher, G., Roy, S., Arora, A., Larriba Pey, J. L. & West, R. (ред.). Association for Computing Machinery, a5. (Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Extended context-free grammars parsing with generalized LL

Gorokhov, A. & Grigorev, S., 1 янв 2018, Tools and Methods of Program Analysis - 4th International Conference, TMPA 2017, Revised Selected Papers. Zakharov, V., Itsykson, V. & Scedrov, A. (ред.). Springer Nature, стр. 24-37 14 стр. (Communications in Computer and Information Science; том 779).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Context-free path querying with structural representation of result

Grigorev, S. & Ragozina, A., 20 окт 2017, CEE-SECR 2017 - Proceedings of the 13th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, 3166104. (ACM International Conference Proceeding Series).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Relaxed parsing of regular approximations of string-embedded languages

Grigorev, S. & Avdyukhin, D., 1 янв 2016, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (ред.). Springer Nature, стр. 291-302 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9609).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование