From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formal Verification as a Design Tool - The Transponder Lock Example., , и . SAFECOMP, стр. 73-82. Springer, (1996)A Data Model to Ease Analysis and Mining of Educational Data., , и . EDM, стр. 131-140. www.educationaldatamining.org, (2010)A Structured Set of Design Patterns for Learners' Assessment, , , и . Journal of Interactive Learning Research (JILR), 18 (2): 309-333 (2007)Towards a Design Pattern Language to Track Students' Problem-Solving Abilities, , , , , и . Workshop on Usage Analysis in Learning Systems, Proceedings of Artificial Intelligence in Education, стр. 33 - 40. Amsterdam, (2005)Investigating performance of students: a longitudinal study., , и . LAK, стр. 108-112. ACM, (2015)Teacher-Student Classroom Interactions: A Computational Approach., , и . EDM, стр. 558-559. International Educational Data Mining Society (IEDMS), (2015)Branched Learning Paths for the Recommendation of Personalized Sequences of Course Items., , и . DeLFI Workshops, том 2250 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Vicinity respecting net morphisms., и . Applications and Theory of Petri Nets, том 483 из Lecture Notes in Computer Science, стр. 165-185. Springer, (1989)Systematic testing and formal verification to validate reactive programs., , , , и . Software Quality Journal, 4 (4): 287-307 (1995)Parametric Verification of a Group Membership Algorithm., и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 311-330. Springer, (2002)