Marina Walden

Publikationer

Publikationer per år 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Konferensbidrag
• 36 Beställd rapport
• 13 Artikel
• 9 Kapitel
• 14 Mer
  • 8 Antologi/redigerad tidskrift
  • 2 Sammanfattning
  • 1 Övriga bidrag
  • 1 Doktorsavhandling
  • 1 Licentiatuppsats
  • 1 Arbetsdokument

Publikationer per år

Publikationer per år

Sökresultat

• ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

  Bert, D. (red.), Bowen, J. (red.), King, S. (red.) & Walden, M. (red.), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • User 100%
  • Formal Specification 50%
  • Academia 50%
  • Specifications 50%
  • Computer 50%

• The 22nd Nordic Workshop on Programming Theory (NWPT 2010)

  Walden, M. (red.) & Petre, L. (red.), 2012, Elsevier.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

• Special issue of the 15th Nordic Workshop on Programming Theory

  Sere, K. (red.) & Walden, M. (red.), 2004, 2 red. Turku, Finland: Nordic Journal of Computing.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Turku 100%

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (red.), Hallerstede, S. (red.) & Walden, M. (red.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nr. 18)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (red.), 2017, Turku Centre for Computer Science.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010

  Walden, M. (red.) & Petre, L. (red.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; nr. 57)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts

  Sere, K. (red.) & Walden, M. (red.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; vol. 03-34)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Volume 100%
  • Presentation 100%
  • Congressional Report 100%

• NWPT 2017 - Special issue

  Walden, M. (red.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  17 Nedladdningar (Pure)