Autor der Publikation

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

Designing a Blended Course in Android App Development using 4C/ID., , und . Koli Calling, Seite 19:1-19:5. ACM, (2018)Uniqueness Type Inference, und . PLILP, Volume 982 von Lecture Notes in Computer Science, Seite 189-206. Springer, (1995)Extending Graph Rewriting with Copying., und . Dagstuhl Seminar on Graph Transformations in Computer Science, Volume 776 von Lecture Notes in Computer Science, Seite 51-70. Springer, (1993)Autarkic Computations in Formal Proofs., und . J. Autom. Reason., 28 (3): 321-336 (2002)Uniqueness Typing for Functional Languages with Graph Rewriting Semantics., und . Math. Struct. Comput. Sci., 6 (6): 579-612 (1996)Defining and Observing Modeling and Simulation in Informatics., , , , und . ISSEP, Volume 9973 von Lecture Notes in Computer Science, Seite 130-141. (2016)A New Informatics Curriculum for Secondary Education in The Netherlands., , und . ISSEP, Volume 9973 von Lecture Notes in Computer Science, Seite 105-117. (2016)Autism: Implications for Inclusive Education with respect to Software Engineering., , , und . CSERC, Seite 15-25. ACM, (2019)Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study., , , , und . WiPSCE, Seite 65-68. ACM, (2015)Analyzing students' recontextualization strategies for algorithmic concepts., , , und . WiPSCE, Seite 7:1-7:2. ACM, (2019)