Autor der Publikation

Better is Better than Well: On Efficient Verification of Infinite-State Systems.

, und . LICS, Seite 132-140. IEEE Computer Society, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Teaching and learning with MOOCs: computing academics' perspectives and engagement., , , , , und . ITiCSE, Seite 9-14. ACM, (2014)MOOCs and their impact on academics., , , , , und . Koli Calling, Seite 137-145. ACM, (2014)Why are We Here? The Educational Value Model (EVM) as a Framework to Investigate the Role of Students' Professional Identity Development., , , , , und . FIE, Seite 1-8. IEEE, (2018)Inspiring Computational Thinking: A Science Fair Activity., , und . FIE, Seite 1-7. IEEE, (2021)Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a Staff Development Course., , , , , , , , , und 16 andere Autor(en). LaTiCE, Seite 1-6. IEEE Computer Society, (2015)Impact of Cultural and Language Background on Learning Computer Science Concepts., und . LaTiCE, Seite 37-40. IEEE Computer Society, (2014)How students get going: triggers for students' learning in project-based education., und . ITiCSE, Seite 117-122. ACM, (2018)Multiple Authentic Project-Based Experiences and Persistent Learning?, und . FIE, Seite 1-5. IEEE, (2019)Broadening participation of biology students in computing: a mixed methods study among bioinformatics students., und . FIE, Seite 1-5. IEEE, (2022)Changing the Educational Epistemologies of Computer Science Teachers - A Case Study of the Kingdom of Saudi Arabia., , und . FIE, Seite 1-9. IEEE, (2018)