| Timed Petri Nets and BQOs PA Abdulla, A Nylén International Conference on Application and Theory of Petri Nets, 53-70, 2001 | 218 | 2001 |
| Better is better than well: On efficient verification of infinite-state systems PA Abdulla, A Nylén Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 74 | 2000 |
| Understanding initial undergraduate expectations and identity in computing studies P Kinnunen, M Butler, M Morgan, A Nylen, AK Peters, J Sinclair, S Kalvala, ... European Journal of Engineering Education 43 (2), 201-218, 2018 | 71 | 2018 |
| Computer science club for girls and boys–a survey study on gender differences T Vrieler, A Nylén, Å Cajander Computer Science Education 31 (4), 431-461, 2021 | 35 | 2021 |
| Forward reachability analysis of timed Petri nets PA Abdulla, J Deneux, P Mahata, A Nylén International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 33 | 2004 |
| Unfoldings of unbounded Petri nets PA Abdulla, SP Iyer, A Nylén Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 33 | 2000 |
| Teaching and learning with MOOCs: Computing academics' perspectives and engagement A Eckerdal, P Kinnunen, N Thota, A Nylén, J Sheard, L Malmi Proceedings of the 2014 conference on Innovation & technology in computer …, 2014 | 32 | 2014 |
| SAT-solving the coverability problem for Petri nets PA Abdulla, SP Iyer, A Nylén Formal Methods in System Design 24, 25-43, 2004 | 28 | 2004 |
| The Authenticity of 'Authentic' Assessment: Some Faculty Perceptions R McDermott, M Zarb, M Daniels, A Nylén, A Pears, V Isomöttönen, ... 2017 Frontiers in Education Conference, 2017 | 20 | 2017 |
| Professional communication skills for engineering professionals A Nylen, A Pears 2013 IEEE Frontiers in Education Conference (FIE), 257-263, 2013 | 19 | 2013 |
| MOOCs and their impact on academics J Sheard, A Eckerdal, P Kinnunen, L Malmi, A Nylén, N Thota Proceedings of the 14th Koli Calling International Conference on Computing …, 2014 | 15 | 2014 |
| Exploring the critical incident technique to encourage reflection during project-based learning A Nylén, V Isomöttönen Proceedings of the 17th Koli Calling International Conference on Computing …, 2017 | 14 | 2017 |
| Multidimensional analysis of creative coding MOOC forums: a methodological discussion A Nylén, N Thota, A Eckerdal, P Kinnunen, M Butler, M Morgan Proceedings of the 15th Koli Calling Conference on Computing Education …, 2015 | 12 | 2015 |
| Why are we here? Student perspectives on the goal of STEM higher education A Nylén, Å Cajander, M Daniels, A Pears, R McDermott 2017 IEEE Frontiers in Education Conference (FIE), 1-7, 2017 | 11 | 2017 |
| A critical analysis of trends in student-centric engineering education and their implications for learning A Pears, A Nylén, M Daniels 2016 IEEE Frontiers in Education Conference (FIE), 1-7, 2016 | 11 | 2016 |
| Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident Å Cajander, M Daniels, D Golay, J Moll, A Nylén, A Pears, AK Peters, ... 2017 IEEE Frontiers in Education Conference (FIE), 1-8, 2017 | 10 | 2017 |
| Using Forward Reachability Analysis for Verification of Timed Petri Nets. PA Abdulla, J Deneux, P Mahata, A Nylén Nord. J. Comput. 14 (1-2), 1-42, 2007 | 10 | 2007 |
| Why are We Here? The Educational Value Model (EVM) as a Framework to Investigate the Role of Students’ Professional Identity Development A Nylén, M Daniels, A Pears, Å Cajander, R McDermott, V Isomöttönen Frontiers in Education (FIE) 2018, 2018 | 9 | 2018 |
| Undecidability of LTL for timed petri nets PA Abdulla, A Nylén INFINITY 2002, 95, 2002 | 8 | 2002 |
| Computer science teachers perspectives on competencies-a case study in the kingdom of saudi arabia F Alghamdi, A Pears, A Nylén Informatics in Schools. Fundamentals of Computer Science and Software …, 2018 | 7 | 2018 |
Parosh AbdullaProfessor of Computer Science, Uppsala University在 it.uu.se 的电子邮件经过验证
