Author of the publication

Development and Use of a Questionnaire for Evaluating K-12 Smart Classroom.

, , , and . ICHL, volume 9167 of Lecture Notes in Computer Science, page 218-230. Springer, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It., , and . HotPar, USENIX Association, (2013)MECA: an extensible, expressive system and language for statically checking security properties., , , and . ACM Conference on Computer and Communications Security, page 321-334. ACM, (2003)DeepXplore: Automated Whitebox Testing of Deep Learning Systems., , , and . SOSP, page 1-18. ACM, (2017)Verifying systems rules using rule-directed symbolic execution., , , and . ASPLOS, page 329-342. ACM, (2013)Grandet: A Unified, Economical Object Store for Web Applications., , , , and . SoCC, page 196-209. ACM, (2016)Development and Use of a Questionnaire for Evaluating K-12 Smart Classroom., , , and . ICHL, volume 9167 of Lecture Notes in Computer Science, page 218-230. Springer, (2015)Formal Security Analysis of Neural Networks using Symbolic Intervals., , , , and . USENIX Security Symposium, page 1599-1614. USENIX Association, (2018)An Empirical Study of Operating System Errors., , , , and . SOSP, page 73-88. ACM, (2001)Operating System Review 35(5).Shuffler: Fast and Deployable Continuous Code Re-Randomization., , , , , , , , , and . OSDI, page 367-382. USENIX Association, (2016)Automatic In-vivo Evolution of Kernel Policies for Better Performance., , and . CoRR, (2015)