Peer-reviewed publications

A1 Journal article (refereed)
Linear-space recognition for grammars with contexts (2018)
Barash M, Okhotin A
Theoretical Computer Science
View on publisher's site
A4 Conference proceedings
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B (2018)
Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
Springer
View on publisher's site
A1 Journal article (refereed)
A Foundational Framework for Step-by-Step Model Construction (2017)
Mikhail Barash, Ion Petre
Fundamenta Informaticae
View on publisher's site

Last updated on 2019-01-01 at 08:08