Unfoldings of Unbounded Petri Nets. - Parosh Aziz Abdulla; S. Purushothaman Iyer; Aletta Nylén (CAV, 2000)

Better is Better than Well: On Efficient Verification of Infinite-State Systems. - Parosh Aziz Abdulla; Aletta Nylén (LICS, 2000)

Timed Petri Nets and BQOs. - Parosh Aziz Abdulla; Aletta Nylén (ICATPN, 2001)

Forward Reachability Analysis of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (FORMATS/FTRTFT, 2004)

Better Quasi-Ordered Transition Systems - Parosh Aziz Abdulla; Aletta Nylén (CoRR, 2004)

SAT-Solving the Coverability Problem for Petri Nets. - Parosh Aziz Abdulla; S. Purushothaman Iyer; Aletta Nylén (Formal Methods Syst. Des., 2004)

Using Forward Reachability Analysis for Verification of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (Nord. J. Comput., 2007)

Professional communication skills for engineering professionals. - Aletta Nylén; Arnold Pears (FIE, 2013)

Enhanced learning by promoting engineering competencies. - Sofia Cassel; Aletta Nylén; Björn Victor (FIE, 2014)

Teaching and learning with MOOCs: computing academics' perspectives and engagement. - Anna Eckerdal; Päivi Kinnunen; Neena Thota; Aletta Nylén; Judy Sheard; Lauri Malmi (ITiCSE, 2014)

MOOCs and their impact on academics. - Judithe Sheard; Anna Eckerdal; Päivi Kinnunen; Lauri Malmi; Aletta Nylén; Neena Thota (Koli Calling, 2014)

Impact of Cultural and Language Background on Learning Computer Science Concepts. - Ismat Aldmour; Aletta Nylén (LaTiCE, 2014)

Competencies for paradigm shift "survival". - Mats Daniels; Åsa Cajander; Anna Eckerdal; Mats Lind; Aletta Nylén; Tony Clear; Roger McDermott (FIE, 2015)

Implications of anonymous assessment. - Arnold Pears; Aletta Nylén (FIE, 2015)

Multidimensional analysis of creative coding MOOC forums: a methodological discussion. - Aletta Nylén; Neena Thota; Anna Eckerdal; Päivi Kinnunen; Matthew Butler 002; Michael Morgan (Koli Calling, 2015)

Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a Staff Development Course. - Anders Berglund; Arnold Pears; Aletta Nylén; Farooq Ahmad; Bader Alghamdi; Khalid Alghamdi; Ahmed Alhabish; Abdullah Aljoufi; Eidah Alzahrani; Rami Alzahrani; Ismat Aldmour; Areej Athama; et al. (LaTiCE, 2015)

Determining progress in writing competency by assessing students' argumentation. - Sofia Cassel; Aletta Nylén (FIE, 2016)

A critical analysis of trends in student-centric engineering education and their implications for learning. - Arnold Pears; Aletta Nylén; Mats Daniels (FIE, 2016)

Writing to learn programming?: a single case pilot study. - Ville Isomöttönen; Aletta Nylén; Ville Tirronen (Koli Calling, 2016)

Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. - Åsa Cajander; Mats Daniels; Diane Golay; Jonas Moll; Aletta Nylén; Arnold Pears; Anne-Kathrin Peters; Roger McDermott (FIE, 2017)

Why are we here? Student perspectives on the goal of STEM higher education. - Aletta Nylén; Åsa Cajander; Mats Daniels; Arnold Pears; Roger McDermott (FIE, 2017)

Open-ended projects opened up - aspects of openness. - Aletta Nylén; Mats Daniels; Ville Isomöttönen; Roger McDermott (FIE, 2017)

What computing instructors did last summer: Experiences and lessons learned. - Tina Vrieler; Aletta Nylén; Åsa Cajander (FIE, 2017)

The authenticity of 'authentic' assessment some faculty perceptions. - Mark Zarb; Roger McDermott; Mats Daniels; Aletta Nylén; Arnold Pears; Ville Isomöttönen; Michael E. Caspersen (FIE, 2017)

Examining manual and semi-automated methods of analysing MOOC data for computing education. - Michael Morgan; Aletta Nylén; Matthew Butler 002; Anna Eckerdal; Neena Thota; Päivi Kinnunen (Koli Calling, 2017)

Exploring the critical incident technique to encourage reflection during project-based learning. - Aletta Nylén; Ville Isomöttönen (Koli Calling, 2017)

Changing the Educational Epistemologies of Computer Science Teachers - A Case Study of the Kingdom of Saudi Arabia. - Fayiq Alghamdi; Aletta Nylén; Arnold Pears (FIE, 2018)

Why are We Here? The Educational Value Model (EVM) as a Framework to Investigate the Role of Students' Professional Identity Development. - Aletta Nylén; Mats Daniels; Arnold Pears; Åsa Cajander; Roger McDermott; Ville Isomöttönen (FIE, 2018)

Computer Science Teachers Perspectives on Competencies - A Case Study in the Kingdom of Saudi Arabia. - Fayiq Alghamdi; Arnold Pears; Aletta Nylén (ISSEP, 2018)

How students get going: triggers for students' learning in project-based education. - Ville Isomöttönen; Aletta Nylén (ITiCSE, 2018)

Teachers' Awards - an Incentive for Pedagogical Development in Saudi Arabia. - Fayiq Alghamdi; Aletta Nylén; Arnold Pears (FIE, 2019)

Multiple Authentic Project-Based Experiences and Persistent Learning? - Ville Isomöttönen; Aletta Nylén (FIE, 2019)

When is Quality Assurance a Constructive Force in Engineering Education? - Arnold Pears; Mats Daniels; Aletta Nylén; Roger McDermott (FIE, 2019)

Inspiring Computational Thinking: A Science Fair Activity. - Mats Daniels; Arnold Pears; Aletta Nylén (FIE, 2021)

Computer science club for girls and boys - a survey study on gender differences. - Tina Vrieler; Aletta Nylén; Åsa Cajander (Comput. Sci. Educ., 2021)

Broadening participation of biology students in computing: a mixed methods study among bioinformatics students. - Thom Kunkeler; Aletta Nylén (FIE, 2022)

Novice Students Explain: What is Computer Science? - Caroline Uppsäll; Aletta Nylén; Gordana Dodig-Crnkovic (FIE, 2024)

What Do I Need to Learn? Computing Competence Described by Novice Students. - Caroline Uppsäll; Aletta Nylén; Gordana Dodig-Crnkovic (FIE, 2024)

Capital in Computing Education: Investigating Factors Underlying Participation. - Thom Kunkeler; Aletta Nylén (ITiCSE (1), 2024)

From Science to Computing: A Study of Capital Among Bioinformatics Students. - Thom Kunkeler; Aletta Nylén (IEEE Trans. Educ., 2024)

Computing Education in Sweden: Unequal Participation in a Changing Field. - Thom Kunkeler; Aletta Nylén (ITiCSE (1), 2025)