Åbo datatekniska forsknings- och utbildningscentrum (TUCS)

Forskningsresultat

Publikationer per år 2010 2010 2018 2018

• 7 Citeringar
• 2 h-index
• 2 Artikel
• 1 Konferensbidrag

Publikationer per år

Publikationer per år

Sökresultat

• 2018

  Linear-space recognition for grammars with contexts

  Barash, M. & Okhotin, A., 2018, I: Theoretical Computer Science. 719, s. 73–85 13 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
  2 Citeringar (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. (red.). Springer, s. 386–391

  Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
  5 Citeringar (Scopus)
• 2010

  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, I: International Journal on Advances in Networks and Services. 3, 3&4, s. 473-483 11 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång