Mikhail Barash

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Visual Languages

Context Free Grammars

Top Venues

MoDELS (Companion)

Theor. Comput. Sci.

SPLASH Companion

Publications

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
Containers for GUI Models. Programming (2024)
Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)
Mikhail Barash, Yulia Startsev, Rolf Martin Glomsrud
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization. SPLASH Companion (2023)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
The Ultimate GUI Framework: Are We There Yet? Eelco Visser Commemorative Symposium (2023)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
Towards Reusable GUI Structures. SPLASH Companion (2023)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
A domain-specific language for structure manipulation in constraint system-based GUIs. J. Comput. Lang. 74 (2023)
Mikhail Barash
Towards a Spreadsheet-Based Language Workbench. MoDELS (Companion) (2021)
Mikhail Barash
Vision: the next 700 language workbenches. SLE (2021)
Mikhail Barash
Example-driven software language engineering. SLE (2020)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
Manipulating GUI structures declaratively. GPCE (2020)
Mikhail Barash
Enabling language engineering for the masses. MoDELS (Companion) (2020)
Mikhail Barash
A New Life for Legacy Language Definition Approaches? STAF Workshops (2020)
Mikhail Barash, Alexander Okhotin
Linear-space recognition for grammars with contexts. Theor. Comput. Sci. 719 (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ (2018)
Mikhail Barash, Ion Petre
A Foundational Framework for Step-by-step Model Construction. Fundam. Informaticae 154 (1-4) (2017)
Mikhail Barash, Alexander Okhotin
Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts. Theory Comput. Syst. 61 (2) (2017)
Mikhail Barash, Alexander Okhotin
Generalized LR Parsing for Grammars with Contexts. CSR (2015)
Mikhail Barash, Alexander Okhotin
Two-sided context specifications in formal grammars. Theor. Comput. Sci. 591 (2015)
Mikhail Barash, Alexander Okhotin
Linear grammars with one-sided contexts and their automaton representation. RAIRO Theor. Informatics Appl. 49 (2) (2015)
Mikhail Barash, Alexander Okhotin
Linear Grammars with One-Sided Contexts and Their Automaton Representation. LATIN (2014)
Mikhail Barash, Alexander Okhotin
Grammars with two-sided contexts. AFL (2014)
Mikhail Barash, Alexander Okhotin
An extension of context-free grammars with one-sided context specifications. Inf. Comput. 237 (2014)
Mikhail Barash
Programming language specification by a grammar with contexts. NCMA (2013)
Mikhail Barash, Alexander Okhotin
Defining Contexts in Context-Free Grammars. LATA (2012)