Defining Contexts in Context-Free Grammars. - Mikhail Barash; Alexander Okhotin (LATA, 2012)

Programming language specification by a grammar with contexts. - Mikhail Barash (NCMA, 2013)

Grammars with two-sided contexts. - Mikhail Barash; Alexander Okhotin (AFL, 2014)

An extension of context-free grammars with one-sided context specifications. - Mikhail Barash; Alexander Okhotin (Inf. Comput., 2014)

Generalized LR Parsing for Grammars with Contexts. - Mikhail Barash; Alexander Okhotin (CSR, 2015)

Linear grammars with one-sided contexts and their automaton representation. - Mikhail Barash; Alexander Okhotin (RAIRO Theor. Informatics Appl., 2015)

Two-sided context specifications in formal grammars. - Mikhail Barash; Alexander Okhotin (Theor. Comput. Sci., 2015)

A Foundational Framework for Step-by-step Model Construction. - Mikhail Barash; Ion Petre (Fundam. Informaticae, 2017)

Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts. - Mikhail Barash; Alexander Okhotin (Theory Comput. Syst., 2017)

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. - Inna Vistbakka; Mikhail Barash; Elena Troubitsyna (ABZ, 2018)

Linear-space recognition for grammars with contexts. - Mikhail Barash; Alexander Okhotin (Theor. Comput. Sci., 2018)

Manipulating GUI structures declaratively. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi (GPCE, 2020)

Enabling language engineering for the masses. - Mikhail Barash (MoDELS (Companion), 2020)

Example-driven software language engineering. - Mikhail Barash (SLE, 2020)

A New Life for Legacy Language Definition Approaches? - Mikhail Barash (STAF Workshops, 2020)

Teaching MPS: Experiences from Industry and Academia. - Mikhail Barash; Vaclav Pech (Domain-Specific Languages in Practice, 2021)

Towards a Spreadsheet-Based Language Workbench. - Mikhail Barash (MoDELS (Companion), 2021)

Vision: the next 700 language workbenches. - Mikhail Barash (SLE, 2021)

The Ultimate GUI Framework: Are We There Yet? - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi (Eelco Visser Commemorative Symposium, 2023)

Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization. - Mikhail Barash; Yulia Startsev; Rolf Martin Glomsrud (SPLASH Companion, 2023)

Towards Reusable GUI Structures. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi (SPLASH Companion, 2023)

Algebraic Reasoning About Timeliness. - Seyed Hossein Haeri; Peter W. Thompson 002; Peter Van Roy; Magne Haveraaen; Neil J. Davies; Mikhail Barash; Kevin Hammond; James Chapman 001 (ICE, 2023)

A domain-specific language for structure manipulation in constraint system-based GUIs. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi (J. Comput. Lang., 2023)

Containers for GUI Models. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi; Elisabeth Stenholm; Håkon Robbestad Gylterud (Programming, 2024)

Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization. - Philipp Riemer; Yury Nikulin; Ashley Claymore; Mikhail Barash (SLE, 2025)