• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Monographs (3):

• Ralph-Johan Back, Joakim von Wright, Mathematics with a Little Bit of Logic: Structured Derivations in High-School Mathematics. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematiikka logiikan avulla: rakenteiset päättelyketjut lukion matematiikassa. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematik med litet logic: Strukturerade härledningar i gymnasiematematiken. Manuscript, 2005.

Edited proceedings (2):

• Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), Abstract Book, Research Reports from Turku University of Applied Sciences 37, Turun ammattikorkeakoulu, 2012.
• Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), Proceedings, Research reports from Turku University of Applied Sciences 38, Turun ammattikorkeakoulu, 2012.

Articles in journals (18):

• Valentina Dagiene, Linda Mannila, Timo Poranen, Lennart Rolandsson, Gabriele Stupuriene, Reasoning on Children's Cognitive Skills in an Informatics Contest: Findings and Discoveries from Finland, Lithuania, and Sweden. Lecture Notes in Computer Science 8730, 66–77, 2014.
• Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Tapio Salakoski, Effects of Course-Long Use of a Program Visualization Tool. Conferences in Research and Practice in Information Technology 103, 97–106, 2010.
• Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Tapio Salakoski, Effects, Experiences and Feedback from Studies of a Program Visualization Tool. Informatics in Education 8(1), 17–34, 2009.
• Mia Peltomäki, Rakenteiset päättelyketjut matematiikan opetuksessa. Dimensio, Matemaattis-luonnontieteellinen aikakauslehti (5/2009), 20-22, 2009.
• Ralph - Johan R Back, Invariant Based Programming: Basic approach and Teaching Experience. Formal Aspects of Computing , 2008.
• Mikko-Jussi Laakso, Lauri Malmi, Ari Korhonen, Teemu Rajala, Erkki Kaila, Tapio Salakoski, Using Roles of Variables to Enhance Novices Debugging Work. Journal of Information Technology Education: Innovations in Practice 5, 281–296, 2008.
• Teemu Rajala, Mikko-Jussi Laakso, Erkki Kaila, Tapio Salakoski, Effectiveness of Program Visualization: A Case Study with the ViLLE Tool. Journal of Information Technology Education: Innovations in Practice 7, IIP 15–32, 2008.
• Angela Carbone, Sue Fitzgerald, Linda Mannila, Computer Science and IT Teachers' Conceptions of Successful and Unsuccessful Teaching: A Phenomenographic Study. Computer Science Education 17(4), 2007.
• Linda Mannila, Novices' Progress in Introductory Programming Courses. Informatics in Education 6(1), 139–152, 2007.
• Arnold Pears, Stephen Seidman, Lauri Malmi, Linda Mannila, Elizabeth Adams, Jens Bennedsen, Marie Devlin, James Paterson, A Survey of Literature on the Teaching of Introductory Programming. SIGCSE Bulletin: Inroads 39(4), 204-224, 2007.
• Arnold Pears, Stephen Seidman, Lauri Malmi, Linda Mannila, Elizabeth Adams, Jens Bennedsen, Marie Devlin, James Paterson, A Survey of Literature on the Teaching of Introductory Programming. ACM Inroads 39(4), 204–223, 2007.
• Teemu Rajala, Mikko-Jussi Laakso, Erkki Kaila, Tapio Salakoski, VILLE – A Language-Independent Program Visualization Tool. Conferences in Research and Practice in Information Technology 88, 151–159, 2007.
• Ursula Fuller, Arnold Pears, June Amillo, Chris Avram, Linda Mannila, A Computing Perspective on the Bologna Process. ACM Inroads 38(4), 115–131, 2006.
• Linda Mannila, Mia Peltomäki, Tapio Salakoski, What About a Simple Language? Analyzing the Difficulties in Learning to Program. Computer Science Education 16(3), 211–228, 2006.
• Linda Grandell, High School Students Learning University Level Computer Science on The Web - a Case Study of the DASK-Model. Journal of Information Technology Education 4, 207-218, 2005.
• Mikko-Jussi Laakso, Tapio Salakoski, Linda Grandell, Xuemei Qiu, Ari Korhonen, Lauri Malmi, Multi-Perspective Study of Novice Learners Adopting the Visual Algorithm Simulation Exercise System TRAKLA2. Informatics in Education 4(1), 49–68, 2005.
• Orieta Celiku, Annabelle McIver, Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nordic Journal of Computing 11(2), 102–128, 2004.
• Joakim von Wright, Towards a Refinement Algebra. Science of Computer Programming 51(1-2), 23–45, 2004.

Articles in proceedings (55):

• Rajeev Kanth, Mikko-Jussi Laakso, A Preliminary Study on Building an e-Education Platform for Indian School-Level Curricula. In: Piet Kommers, Tomayess Issa (Eds.), Proceedings of the International Conferences on Educational Technologies 2016, 159–165, International Association for Development of the Information Society, IADIS Press, 2016.
• Erik Barendsen, Linda Mannila, Barbara Demo, Nataša Grgurina, Cruz Izu, Claudio Mirolo, Sue Sentance, Amber Settle, Gabrielė Stupurienė, Concepts in K-9 Computer Science Education. In: ITICSE-WGR '15 Proceedings of the 2015 ITiCSE on Working Group Reports, 85–116, 2015.
• Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Rolf Lindén, Einari Kurvinen, Tapio Salakoski, Comparing Student Performance Between Traditional and Technologically Enhanced Programming Course. In: Unknown Unknown (Ed.), In proceedings of the Seventeenth Australasian Computing Education Conference (ACE2015), Australasian Computing Education Conference 160, 147–154, ACM, 2015.
• M. Leino, Markus Kitola, R. Lindén, Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Tapio Salakoski, Matriculation Examination in Finland; Electrification Experiment with ViLLE. In: EDULEARN15 proceedings: 7th International Conference on Education and New Learning Technologies Barcelona, Spain. 6-8 July, 2015, 2015.
• Teemu Rajala, E. Lokkila, R. Lindén, Mikko-Jussi Laakso, Student Feedback about Electronic Exams in Introductory Programming Courses. In: EDULEARN15 proceedings: 7th International Conference on Education and New Learning Technologies., 2015.
• Valentina Dagiene, Linda Mannila, Timo Poranen, Lennart Rolandsson, Pär Söderhjälm, Students' Performance on Programming-Related Tasks in an Informatics Contest in Finland, Sweden and Lithuania. In: Proceedings of the ITiCSE conference on Innovation and technology in computer science education, 153–158, ACM, 2014.
• Esbjörn Hägerstedt, Linda Mannila, Tapio Salakoski, Ralph-Johan Back, Teachers' Experience from Using Interactive E-Books in the Classroom. In: Proceedings of the 7th Nordic Conference on Mathematics Education, 2014.
• Einari Kurvinen, Rolf Lindén, Teemu Rajala, Erkki Kaila, Mikko-Jussi Laakso, Tapio Salakoski, Automatic Assessment and Immediate Feedback in First Grade Mathematics. In: Proceedings of the 14th Koli Calling International Conference on Computing Education Research, Koli Calling - International Conference on Computing Education Research, 15–23, ACM, 2014.
• Linda Mannila, Valentina Dagiene, Barbara Demo, Natasa Grgurina, Claudio Mirolo, Lennart Rolandsson, Amber Settle, Computational Thinking in K-9 Education. In: Michael Goldweber (Ed.), ITiCSE-WGR’14, ACM, 2014.
• Ari Korhonen, Thomas Naps, Charles Boisvert, Pilu Crescenzi, Linda Karavirta, Linda Mannila, Bradley Miller, Briana Morrison, Susan H. Rodger, Rocky Ross, Clifford A. Shaffer, Requirements and Design Strategies for Open Source Interactive Computer Science eBooks. In: Proceedings of the ITiCSE conference on Innovation and technology in computer science education-working group reports, ITiCSE -WGR '13, 53–72, ACM, 2013.
• Einari Kurvinen, Rolf Lindén, Teemu Rajala, Erkki Kaila, Laakso Mikko-Jussi, Salakoski Tapio, Computer-Assisted Learning in Primary School Mathematics Using ViLLE Education Tool. In: Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 39–46, ACM, 2012.
• Teemu Rajala, Erkki Kaila, Johannes Holvitie, Haavisto Riku, Mikko-Jussi Laakso, Tapio Salakoski, Comparing the Collaborative and Independent Viewing of Program Visualization. In: Frontiers in Education Conference. 2011. (FIE 2011), F3G–1 – F3G–7 , Institute of Electrical and Electronics Engineers (IEEE) , 2011.
• M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres, A Framework for Context-Aware Applications for Smart Spaces. In: Sergey Balandin, Yevgeni Koucheryavi, Honglin Hu (Eds.), Proceedings of The 4th conference on Smart Spaces ruSMART 2011, Lecture Notes in Computer Science, 14–25, Springer, 2011.
• Teemu Rajala, Tapio Salakoski, Erkki Kaila, Mikko-Jussi Laakso, How Does Collaboration Affect Algorithm Learning? A Case Study Using TRAKLA2 Algorithm Visualization Tool. In: V. Tomar G. S. Mahadevan (Ed.), Proceedings of 2010 International Conference on Education Technology and Computer (ICETC 2010), 3, 504-508, 2010.
• Ralph-Johan Back, Linda Mannila, Solveig Wallin, Student Justifications in High School Mathematics. In: CERME 6, 2009.
• Erkki Kaila, Mikko-Jussi Laakso, Teemu Rajala, Tapio Salakoski, Evaluation of Learner Engagement in Program Visualization. In: 12th IASTED International Conference on Computers and Advanced Technology in Education (CATE 2009), 2009.
• Mia Peltomäki, Ralph-Johan Back, An Empirical Evaluation of Structured Derivations in High School Mathematics. In: Fou-Lai Lin, Hsieh Feng-Jui, Gila Hanna, Michael de Villiers (Eds.), Proof and Proving in Mathematics Education, 2, 2009.
• Teemu Rajala, Erkki Kaila, Mikko-Jussi Laakso, Tapio Salakoski, Effects of Collaboration in Program Visualization. In: Proceedings of 2009 Technology Enhanced Learning Conference (TELearn 2009), 2009.
• Ralph-Johan Back, Mannila, Linda, Mia Peltomaki, Patrick and Sibelius, Structured Derivations: A Logic Based Approach to Teaching Mathematics. In: FORMED 2008: Formal Methods in Computer Science Education, Budapest, 2008.
• Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Visualisointi ohjelmoinnin oppimisessa. In: XI Tietojenkäsittelytieteen päivät, Tampere, Finland, 115-118, 2008.
• Erkki Kaila, Teemu Rajala, Mikko-Jussi Laakso, Tapio Salakoski, Automatic Assessment of Program Visualization Exercises. In: Arnold Pears, Lauri Malmi (Eds.), Koli Calling 2008 - 8th International Conference on Computing Education Research, 101-105, Department of Information Technology, Uppsala University, 2008.
• Mikko-Jussi Laakso, Erkki Kaila, Teemu Rajala, Tapio Salakoski, Define and Visualize Your First Programming Language. In: Díaz Paloma, Kinshuk, Aedo Ignacio, Mora Eduardo (Eds.), Proceedings of International Conference on Advanced Learning Technologies, ICALT 2008 - the 8th IEEE International Conference on Advanced Learning Technologies, July 1st - July 5th, Santander, Cantabria, Spain, 324–326, IEEE Press, 2008.
• Mikko-Jussi Laakso, Teemu Rajala, Erkki Kaila, Tapio Salakoski, The Impact of Prior Experience in Using a Visualization Tool on Learning to Program. In: Tapio Salakoski (Ed.), Proceedings of Cognition and Exploratory Learning in Digital Age (CELDA 2008), 13-15 October, Freiburg, Germany, Proceedings of Cognition and Exploratory Learning in Digital Age (CELDA 2008), 13-15 October, Freiburg, Germany, 129–136, Iadis Press, 2008.
• Linda Mannila, Mia Peltomäki, Teaching Computing at Secondary Level - The Turku Vision, Mission and Reality. In: ICL 2008, 2008.
• Ralph-Johan Back, Johannes Eriksson, Linda Mannila, Teaching the Construction of Correct Programs Using Invariant Based Programming. In: Proceedings of the 3rd South-East European Workshop on Formal Methods, 2007.
• Ralph-Johan Back, Linda Mannila, Mia Peltomäki, Tapio Salakoski, Improving Mathematics and Programming Education – The IMPEd Initiative. In: Raymond Lister, Simon (Eds.), Proceedings of the 7th Baltic Sea Conference on Computing Education Research, 2007. , 88, 161–170, Australian Computer Society, Inc, 2007.
• Raymond Lister, Anders Berglund, Ilona Box, Chris Cope, Arnold Pears, Chris Avram, Matt Bower, Angela Carbone, Bill Davey, Michael de Raadt, Bernard Doyle, Sue Fitzgerald, Linda Mannila, Cat Kutay, Mia Peltomäki, Judy Sheard, Simon,, Ken Sutton, Des Traynor, Jodi Tutty, Anne Venables, Differing Ways that Computing Academics Understand Teaching.. In: Proceedings of the Ninth Australasian Conference on Computing Education , 97–106, Australian Computer Society, Inc. , 2007.