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

  Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms

  Walden, M., Apr 1996, Turku: Åbo Akademi University.

  Research output: Types of Thesis › Licenciate's thesis