Research output per year
Research output per year
-
Linear-space recognition for grammars with contexts
Barash, M. & Okhotin, A., 2018, In: Theoretical Computer Science. 719, p. 73–85 13 p.Research output: Contribution to journal › Article › Scientific › peer-review
1 Citation (Scopus) -
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B
Vistbakka, I., Barash, M. & Troubitsyna, E., 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Butler, M. J., Raschke, A., Son Hoang, T. & Reichl, K. (eds.). Springer, p. 386–391Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
5 Citations (Scopus) -
A Further Look at the Distance-Availability Weighted Piece Selection Method: A BitTorrent Piece Selection Method for On-Demand Media Streaming
Sandvik, P. & Neovius, M., 2010, In: International Journal on Advances in Networks and Services. 3, 3&4, p. 473-483 11 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access