by Barash, Mikhail, Okhotin, Alexander
Published in Electronic proceedings in theoretical computer science (21.05.2014)

by Barash, Mikhail, Okhotin, Alexander
Published in Theoretical computer science (06.04.2018)

by Barash, Mikhail, Okhotin, Alexander
Published in Theoretical computer science (02.08.2015)

by Barash, Mikhail, Okhotin, Alexander
Published in Information and computation (01.10.2014)

by Barash, Mikhail, Okhotin, Alexander
Published in Theory of computing systems (01.08.2017)

by Barash, Mikhail, Petre, Ion
Published in Fundamenta informaticae (01.01.2017)

by Barash, Mikhail, Okhotin, Alexander
Published in RAIRO. Informatique théorique et applications (01.04.2015)

by Stokke, Knut Anders, Barash, Mikhail, Järvi, Jaakko
Published in Journal of computer languages (Online) (01.01.2023)

by Haeri, Seyed Hossein, Thompson, Peter W., Van Roy, Peter, Haveraaen, Magne, Davies, Neil J., Barash, Mikhail, Hammond, Kevin, Chapman, James
Published in Electronic proceedings in theoretical computer science (21.08.2023)

by Barash, Mikhail
Published in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.10.2021)

by Barash, Mikhail, Okhotin, Alexander
Published in Computer Science -- Theory and Applications (2015)

by Barash, Mikhail, Okhotin, Alexander
Published in LATIN 2014: Theoretical Informatics (2014)

by Vistbakka, Inna, Barash, Mikhail, Troubitsyna, Elena
Published in 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 (2018)

by Barash, Mikhail, Okhotin, Alexander
Published in Language and Automata Theory and Applications (2012)

by Barash, Mikhail, Pech, Václav
Published in Domain-Specific Languages in Practice (2021)

by Seyed Hossein Haeri, Thompson, Peter W, Peter Van Roy, Haveraaen, Magne, Davies, Neil J, Barash, Mikhail, Hammond, Kevin, Chapman, James
Published in arXiv.org (21.08.2023)

by Barash, Mikhail, Okhotin, Alexander
Published in arXiv.org (22.05.2014)