Aletta NylÚn
Title
Cited by
Cited by
Year
Timed Petri Nets and BQOs
PA Abdulla, A NylÚn
International Conference on Application and Theory of Petri Nets, 53-70, 2001
1982001
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
732000
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
382018
Unfoldings of unbounded Petri nets
PA Abdulla, SP Iyer, A NylÚn
International Conference on Computer Aided Verification, 495-507, 2000
282000
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
272014
Forward reachability analysis of timed Petri nets
PA Abdulla, J Deneux, P Mahata, A NylÚn
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerantá…, 2004
272004
SAT-solving the coverability problem for Petri nets
PA Abdulla, SP Iyer, A NylÚn
Formal Methods in System Design 24 (1), 25-43, 2004
222004
Professional communication skills for engineering professionals
A Nylen, A Pears
2013 IEEE Frontiers in Education Conference (FIE), 257-263, 2013
122013
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
102007
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
92014
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
82015
Undecidability of LTL for timed petri nets
PA Abdulla, A NylÚn
INFINITY 2002, 95, 2002
72002
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
62017
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
52017
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
52017
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
52016
Open-Ended Projects Opened Up - Aspects of Openness
A NylÚn, M Daniels, V Isom÷tt÷nen, R McDermott
2017 Frontiers in Education Conference, 2017
42017
Using Competencies to Structure Scientific Writing Education
A NylÚn, C D÷rge
HDI 2012–Informatik fŘr eine nachhaltige Zukunft: 5. Fachtagungá…, 2013
42013
Competencies for paradigm shift “survival”
M Daniels, ┼ Cajander, A Eckerdal, M Lind, A NylÚn, T Clear, ...
2015 IEEE Frontiers in Education Conference (FIE), 1-6, 2015
32015
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
22018
The system can't perform the operation now. Try again later.
Articles 1–20