Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Polubelova, Marina Igorevna

E-mail:

https://www.mathnet.ru/eng/person106828
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2016
1. M. I. Polubelova, S. V. Grigorev, “Lexical analysis of dynamically generated string expressions”, Sistemy i Sredstva Inform., 26:2 (2016),  43–62  mathnet  mathscinet  elib
2. M. I. Polubelova, S. N. Bozhko, S. V. Grigorev, “Certified grammar transformation to Chomsky normal form in F*”, Proceedings of ISP RAS, 28:2 (2016),  127–138  mathnet  elib
2014
3. S. Grigorev, E. Verbitskaia, M. Polubelova, A. Ivanov, E. Mavchun, “IDE support of string-embedded languages”, Model. Anal. Inform. Sist., 21:6 (2014),  131–143  mathnet

Organisations