Compositional Verification of a Third Generation Mobile Communication Protocol. - Sari Leppänen; Matti Luukkainen (ICDCS Workshop on Distributed System Validation and Verification, 2000)

EASN: Integrating ASN.1 and Model Checking. - Vivek K. Shanbhag; K. Gopinath; Markku Turunen; Ari Ahtiainen; Matti Luukkainen (CAV, 2001)

Verification of Dense Time Properties using Theories of Untimed Process Algebra. - Matti Luukkainen (FORTE, 2001)

Verifying a UMTS Protocol Using Spin and EASN. - Matti Luukkainen; Vivek K. Shanbhag; K. Gopinath (SVV@ICLP, 2003)

Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. - Laila Daniel; Matti Luukkainen; Markku Kojo (SDL Forum, 2005)

Extreme apprenticeship method: key practices and upward scalability. - Arto Vihavainen; Matti Paksula; Matti Luukkainen; Jaakko Kurhila (ITiCSE, 2011)

Extreme apprenticeship method in teaching programming for beginners. - Arto Vihavainen; Matti Paksula; Matti Luukkainen (SIGCSE, 2011)

A software craftsman's approach to data structures. - Matti Luukkainen; Arto Vihavainen; Thomas Vikberg (SIGCSE, 2012)

Three years of design-based research to reform a software engineering curriculum. - Matti Luukkainen; Arto Vihavainen; Thomas Vikberg (SIGITE Conference, 2012)

Multi-faceted support for MOOC in programming. - Arto Vihavainen; Matti Luukkainen; Jaakko Kurhila (SIGITE Conference, 2012)

Bringing undergraduates to the web: Baby steps in webifying a software engineering curriculum. - Matti Luukkainen; Arto Vihavainen (CSEE&T, 2013)

Using Students' Programming Behavior to Predict Success in an Introductory Mathematics Course. - Arto Vihavainen; Matti Luukkainen; Jaakko Kurhila (EDM, 2013)

Results from a Three-Year Transition to the Extreme Apprenticeship Method. - Arto Vihavainen; Matti Luukkainen (ICALT, 2013)

Massive increase in eager TAs: experiences from extreme apprenticeship-based CS1. - Arto Vihavainen; Thomas Vikberg; Matti Luukkainen; Jaakko Kurhila (ITiCSE, 2013)

Scaffolding students' learning using test my code. - Arto Vihavainen; Thomas Vikberg; Matti Luukkainen; Martin Pärtel (ITiCSE, 2013)

Learning agile software engineering practices using coding dojo. - Kenny Heinonen; Kasper Hirvikoski; Matti Luukkainen; Arto Vihavainen (SIGITE Conference, 2013)

MOOC as semester-long entrance exam. - Arto Vihavainen; Matti Luukkainen; Jaakko Kurhila (SIGITE Conference, 2013)

Early Start in Software Coaching. - Thomas Vikberg; Arto Vihavainen; Matti Luukkainen; Jaakko Kurhila (XP, 2013)

Using CodeBrowser to seek differences between novice programmers. - Kenny Heinonen; Kasper Hirvikoski; Matti Luukkainen; Arto Vihavainen (SIGCSE, 2014)

Analysis of source code snapshot granularity levels. - Arto Vihavainen; Matti Luukkainen; Petri Ihantola (SIGITE, 2014)

Patterns for Designing and Implementing an Environment for Software Start-Up Education. - Fabian Fagerholm; Arto Hellas; Matti Luukkainen; Kati Kyllonen; Sezin Gizem Yaman; Hanna Mäenpää (SEAA, 2017)

Designing and implementing an environment for software start-up education: Patterns and anti-patterns. - Fabian Fagerholm; Arto Hellas; Matti Luukkainen; Kati Kyllonen; Sezin Gizem Yaman; Hanna Mäenpää (J. Syst. Softw., 2018)

Admitting Students through an Open Online Course in Programming: A Multi-year Analysis of Study Success. - Juho Leinonen 001; Petri Ihantola; Antti Leinonen; Henrik Nygren; Jaakko Kurhila; Matti Luukkainen; Arto Hellas (ICER, 2019)

Teaching Container-Based DevOps Practices. - Jami Kousa; Petri Ihantola; Arto Hellas; Matti Luukkainen (ICWE, 2020)

Persistence of Time Management Behavior of Students and Its Relationship with Performance in Software Projects. - Joonas Häkkinen; Petri Ihantola; Matti Luukkainen; Antti Leinonen; Juho Leinonen 001 (ICER, 2021)

Benefits and Challenges of Isomorphism in Single-page Applications: Case Study and Review of Gray Literature. - Aleksi Huotala; Matti Luukkainen; Tommi Mikkonen (J. Web Eng., 2022)

Software startup within a university - producing industry-ready graduates. - Saara Tenhunen; Tomi Männistö; Petri Ihantola; Jami Kousa; Matti Luukkainen (SEET@ICSE, 2023)

On Changing the Curriculum Programming Language from Java to Python (Discussion Paper). - Erkki Kaila; Matti Luukkainen; Antti Laaksonen; Kjell Lemström (Koli Calling, 2023)

A systematic literature review of capstone courses in software engineering. - Saara Tenhunen; Tomi Männistö; Matti Luukkainen; Petri Ihantola (Inf. Softw. Technol., 2023)

Flowthrough Analysis on Student Intake Paths. - Erkki Kaila; Leo Leppänen; Matti Luukkainen; Kjell Lemström (Koli Calling, 2024)

Unrestricted Use of LLMs in a Software Project Course: Student Perceptions on Learning and Impact on Course Performance. - Kai Korpimies; Antti Laaksonen; Matti Luukkainen (Koli Calling, 2024)

Near-Duplicate Build Failure Detection from Continuous Integration Logs. - Mingchen Li; Mika Mäntylä; Jesse Nyyssölä; Matti Luukkainen (PROMISE, 2025)