Forelesning

• Mikhail Barash (2021). Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS. (ekstern lenke)

Forskningsrapport

• Seyed Hossein Haeri; Peter W Thompson; Peter Van Roy et al. (2022). On the Algebraic Properties of Timeliness. (ekstern lenke)

Kapittel i fagbok

• Mikhail Barash; Václav Pech (2021). Teaching MPS: Experiences from Industry and Academia. (ekstern lenke)

Konferanseposter

• Knut Anders Stokke; Mikhail Barash; Karl Henrik Elg Barlinn et al. (2021). Multi-way dataflow specifications in graphical user interfaces. (ekstern lenke)
• Benjamin Chtioui Richard Chetioui; Mikhail Barash; Magne Haveraaen (2021). An Ecosystem Architecture for the Magnolia Programming Language. (ekstern lenke)

Vitenskapelig artikkel

• Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus et al. (2025). Algebraic reasoning for timeliness-guided system design. (ekstern lenke)
• Knut Anders Stokke; Mikhail Barash; Jaakko Timo Henrik Järvi (2023). The Ultimate GUI Framework: Are We There Yet?. (ekstern lenke)
• Knut Anders Stokke; Mikhail Barash; Jaakko Timo Henrik Järvi (2023). A domain-specific language for structure manipulation in constraint system-based GUIs. (ekstern lenke)
• Seyed Hossein Haeri; Peter W. Thompson; Peter Van Roy et al. (2023). Algebraic Reasoning About Timeliness. (ekstern lenke)
• Mikhail Barash (2020). A New Life for Legacy Language Definition Approaches?. (ekstern lenke)
• Mikhail Barash (2020). A New life for legacy language de_nition approaches?. (ekstern lenke)

Vitenskapelig bokkapittel

• Philipp Riemer; Yury Nikulin; Ashley Claymore et al. (2025). Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization. (ekstern lenke)
• Knut Anders Stokke; Mikhail Barash; Jaakko Järvi (2023). Towards Reusable GUI Structures. (ekstern lenke)
• Mikhail Barash; Yulia Startsev; Rolf Martin Glomsrud (2023). Involving Users in Design of a Widely Used Language. A Case of ECMAScript (JavaScript) Standardization. (ekstern lenke)
• Mikhail Barash (2021). Towards a Spreadsheet-Based Language Workbench. (ekstern lenke)
• Mikhail Barash (2021). Vision: the next 700 language workbenches. (ekstern lenke)
• Mikhail Barash (2020). Enabling language engineering for the masses. (ekstern lenke)
• Mikhail Barash (2020). Example-driven software language engineering. (ekstern lenke)
• Mikhail Barash (2020). Specifying software languages: grammars, projectional editors and unconventional approaches. (ekstern lenke)
• Knut Anders Stokke; Mikhail Barash; Jaakko Timo Henrik Järvi (2020). Manipulating GUI structures declaratively. (ekstern lenke)

Se en fullstendig oversikt over publikasjoner i NVA.