• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (2):

• Mikhail Barash, Ion Petre, A Foundational Framework for Step-by-Step Model Construction. Fundamenta Informaticae 154, 1–10, 2017.
• Mikhail Barash, Alexander Okhotin, An Extension of Context-Free Grammars with One-Sided Context Specifications. Information and Computation 237, 268–293, 2014.

Articles in proceedings (6):

• Inna Vistbakka, Mikhail Barash, Elena Troubitsyna, Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. In: Michael J. Butler, Alexander Raschk, Thai Son Hoang, Klaus Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Lecture Notes in Computer Science 10817, 386–391, Springer, 2018.
• Mikhail Barash, Alexander Okhotin, Grammars with Two-Sided Contexts. In: Zoltan Esik, Zoltan Fulop (Eds.), Proceedings 14th International Conference on Automata and Formal Languages, 94–108, EPTCS, 2014.
• Mikhail Barash, Alexander Okhotin, Linear Grammars with One-Sided Contexts and Their Automaton Representation. In: Alberto Pardo, Alfredo Viola (Eds.), LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings, Lecture Notes in Computer Science 8392, 190–201, Springer, 2014.
• Mikhail Barash, Programming Language Specification by a Grammar with Contexts. In: Suna Bensch, Frank Drewes, Rudolf Freund, Friedrich Otto (Eds.), Fifth Workshop on Non-Classical Models of Automata and Applications - NCMA 2013, Umeå, Sweden, August 13 - August 14, 2013, Proceedings, books@ocg.at 294, 51–67, Österreichische Computer Gesellschaft, 2013.
• Mikhail Barash, Recursive Descent Parsing for Grammars with Contexts. In: Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack (Eds.), SOFSEM 2013: Theory and Practice of Computer Science, II, 10–21, Institute of Computer Science AS CR, 2013.
• Mikhail Barash, Alexander Okhotin, Defining Contexts in Context-Free Grammars. In: Adrian-Horia Dediu, Carlos Martin-Vide (Eds.), Language and Automata Theory and Applications, LNCS 7183, 106–118, Springer, 2012.

Ph.D. thesis (1):

• Mikhail Barash, Defining Contexts in Context-Free Grammars. TUCS Dissertations 204. University of Turku, 2015.

Technical reports (5):

• Mikhail Barash, Enabling Language Engineering for the Masses: Language Workbench Language Wheel. TUCS Technical Reports 1200, 2018.
• Mikhail Barash, Contexts in Recursive Descent Parsing. TUCS Technical Reports 1151, TUCS, 2015.
• Mikhail Barash, Alexander Okhotin, Linear Grammars with One-Sided Contexts and Their Automaton Representation. TUCS Technical Reports 1088, TUCS, 2013.
• Mikhail Barash, Alexander Okhotin, Grammars With Two-Sided Contexts. TUCS Technical Reports 1090, Turku Centre for Computer Science, 2013.
• Alexander Okhotin, Mikhail Barash, Defining Contexts in Context-Free Grammars. TUCS Technical Reports 1025, Turku Centre for Computer Science, 2012.