Mikhail Barash

30 papers B 5C 2Misc 1Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algebraic reasoning for timeliness-guided system design.
J. Log. Algebraic Methods Program.
Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs
2026 J jnl
Programming Language Standardization and Specification Workshop Report.
J. Object Technol.
Mikhail Barash, Yulia Startsev
2025 — ed.
Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025), Koblenz, Germany, June 10-13, 2025.
STAF Workshops
Amir Shayan Ahmadian, Ralf Lämmel, Sobhan Yassipour Tehrani, Iván Alfonso, Shekoufeh Kolahdouz Rahimi, Arne Lange, Thomas Weber, Colin Atkinson, Uwe Aßmann, Antonio Cicchetti, José Antonio Hernández López, Riccardo Rubei, Robert Clarisó, Lars Hamann, Mikhail Barash, Vadim Zaytsev, Andreas Schmitz, Friedrich Steimann, Maria Wimmer, Sandra Greiner, Georg Hinkel, Théo Le Calvar
2025 — conf
Open and Original Problems in Software Language Engineering 2025 workshop report.
STAF Workshops
Mikhail Barash, Vadim Zaytsev
2025 B conf
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization.
SLE
Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash
2024 — conf
Containers for GUI Models.
Programming
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
2023 J jnl
A domain-specific language for structure manipulation in constraint system-based GUIs.
J. Comput. Lang.
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
2023 — conf
Algebraic Reasoning About Timeliness.
ICE
Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
2023 — conf
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization.
SPLASH Companion
Mikhail Barash, Yulia Startsev, Rolf Martin Glomsrud
2023 — conf
The Ultimate GUI Framework: Are We There Yet?
Eelco Visser Commemorative Symposium
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
2023 — conf
Towards Reusable GUI Structures.
SPLASH Companion
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
2021 — ch.
Teaching MPS: Experiences from Industry and Academia.
Domain-Specific Languages in Practice
Mikhail Barash, Vaclav Pech
2021 — conf
Towards a Spreadsheet-Based Language Workbench.
MoDELS (Companion)
Mikhail Barash
2021 B conf
Vision: the next 700 language workbenches.
SLE
Mikhail Barash
2020 — conf
A New Life for Legacy Language Definition Approaches?
STAF Workshops
Mikhail Barash
2020 — conf
Enabling language engineering for the masses.
MoDELS (Companion)
Mikhail Barash
2020 B conf
Example-driven software language engineering.
SLE
Mikhail Barash
2020 B conf
Manipulating GUI structures declaratively.
GPCE
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
2018 J jnl
Linear-space recognition for grammars with contexts.
Theor. Comput. Sci.
Mikhail Barash, Alexander Okhotin
2018 C conf
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.
ABZ
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
2017 J jnl
A Foundational Framework for Step-by-step Model Construction.
Fundam. Informaticae
Mikhail Barash, Ion Petre
2017 J jnl
Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts.
Theory Comput. Syst.
Mikhail Barash, Alexander Okhotin
2015 Misc conf
Generalized LR Parsing for Grammars with Contexts.
CSR
Mikhail Barash, Alexander Okhotin
2015 J jnl
Linear grammars with one-sided contexts and their automaton representation.
RAIRO Theor. Informatics Appl.
Mikhail Barash, Alexander Okhotin
2015 J jnl
Two-sided context specifications in formal grammars.
Theor. Comput. Sci.
Mikhail Barash, Alexander Okhotin
2014 J jnl
An extension of context-free grammars with one-sided context specifications.
Inf. Comput.
Mikhail Barash, Alexander Okhotin
2014 — conf
Grammars with two-sided contexts.
AFL
Mikhail Barash, Alexander Okhotin
2014 B conf
Linear Grammars with One-Sided Contexts and Their Automaton Representation.
LATIN
Mikhail Barash, Alexander Okhotin
2013 — conf
Programming language specification by a grammar with contexts.
NCMA
Mikhail Barash
2012 C conf
Defining Contexts in Context-Free Grammars.
LATA
Mikhail Barash, Alexander Okhotin