Marina Walden

Publications

Research output per year 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Conference contribution
• 36 Commissioned report
• 13 Article
• 9 Chapter
• 14 More
  • 8 Edited Book/Edited Journal
  • 2 Abstract
  • 1 Other contribution
  • 1 Doctoral Thesis
  • 1 Licenciate's thesis
  • 1 Working paper

Research output per year

Research output per year

Search results

• 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, p. 84-103 (Lecture Notes in Computer Science; vol. 1051).

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Parallel and Distributed System 100%
  • Case Study 50%
  • Algorithms 50%
  • Load Balancing 50%
  • Embedding 50%
  11 Citations (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, p. 161-172

  Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific