Marina Walden

Emailmarina.waldenabofi

Research activity per year

52 Conference contribution
36 Commissioned report
13 Article
9 Chapter
More

8 results

Filter

2019

NWPT 2017 - Special issue
Walden, M. (ed.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Open Access
File

17 Downloads (Pure)
2017

Proceedings of the 29th Nordic Workshop on Programming Theory
Walden, M. (ed.), 2017, Turku Centre for Computer Science.
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
2013

Proceedings of the 4th Rodin User and Developer Workshop
Butler, M. (ed.), Hallerstede, S. (ed.) & Walden, M. (ed.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; no. 18)
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
2012

The 22nd Nordic Workshop on Programming Theory (NWPT 2010)
Walden, M. (ed.) & Petre, L. (ed.), 2012, Elsevier.
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Open Access
2010

Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010
Walden, M. (ed.) & Petre, L. (ed.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; no. 57)
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
2004
Special issue of the 15th Nordic Workshop on Programming Theory
Sere, K. (ed.) & Walden, M. (ed.), 2004, 2 ed. Turku, Finland: Nordic Journal of Computing.
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
2003
Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts
Sere, K. (ed.) & Walden, M. (ed.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; vol. 03-34)
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
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. (ed.), Bowen, J. (ed.), King, S. (ed.) & Walden, M. (ed.), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Marina Walden

Publications

Search results