Marina Walden

Julkaisut

Julkaisuja vuodessa 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Konferenssiartikkeli
• 36 Tutkimusraportti
• 13 Artikkeli
• 9 Luku
• 14 Lisää
  • 8 Antologia/toimitettu lehti
  • 2 Tiivistelmä
  • 1 Muu myötävaikuttaminen
  • 1 Tohtorinväitöskirja
  • 1 Lisensiaatin tutkielma
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 1996

  Refining Action Systems within B-Tool

  Waldén, M. & Sere, K., 1996, FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. Oxford, England: Springer Verlag, s. 84-103 (Lecture Notes in Computer Science; Vuosikerta 1051).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Parallel and Distributed System 100%
  • Case Study 50%
  • Algorithms 50%
  • Load Balancing 50%
  • Embedding 50%
  11 Sitaatiot (Scopus)
• 1994

  Verification of a distributed algorithm due to Tajibnapis

  Sere, K. & Walden, M., 1994, Proceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93). Turku, Finland, s. 161-172

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen