Mikhail Barash

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
NWTP 2022 - special issue Journal of Logical and Algebraic Methods in Programming	2026-03-09	Paper
Algebraic reasoning for timeliness-guided system design Journal of Logical and Algebraic Methods in Programming	2025-12-30	Paper
Grammars with two-sided contexts	2021-06-22	Paper
Grammars with two-sided contexts (available as arXiv preprint)	2021-06-22	Paper
Linear-space recognition for grammars with contexts Theoretical Computer Science	2018-03-12	Paper
A foundational framework for step-by-step model construction Fundamenta Informaticae	2018-01-19	Paper
Generalized LR parsing algorithm for grammars with one-sided contexts Theory of Computing Systems	2017-10-20	Paper
Generalized LR parsing for grammars with contexts Lecture Notes in Computer Science	2015-10-20	Paper
Linear grammars with one-sided contexts and their automaton representation RAIRO - Theoretical Informatics and Applications	2015-08-14	Paper
Two-sided context specifications in formal grammars Theoretical Computer Science	2015-07-13	Paper
An extension of context-free grammars with one-sided context specifications Information and Computation	2014-07-18	Paper
Linear grammars with one-sided contexts and their automaton representation LATIN 2014: Theoretical Informatics	2014-03-31	Paper
Defining contexts in context-free grammars Language and Automata Theory and Applications	2012-06-08	Paper

Research outcomes over time

This page was built for person: Mikhail Barash