Author of the publication

How Can Automatic Feedback Help Students Construct Automata?

, , , , , and . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (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

Dynamic race prediction in linear time., , and . PLDI, page 157-170. ACM, (2017)Data race detection on compressed traces., , and . ESEC/SIGSOFT FSE, page 26-37. ACM, (2018)Complexity of Model Checking MDPs against LTL Specifications., and . FSTTCS, volume 93 of LIPIcs, page 35:1-35:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Probabilistic Automata for Safety LTL Specifications., and . VMCAI, volume 8318 of Lecture Notes in Computer Science, page 118-136. Springer, (2014)Optimal Translation of LTL to Limit Deterministic Automata., and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 113-129. (2017)FlashNormalize: Programming by Examples for Text Normalization., and . IJCAI, page 776-783. AAAI Press, (2015)Using non-convex approximations for efficient analysis of timed automata., , , and . FSTTCS, volume 13 of LIPIcs, page 78-89. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Decidable Problems for Unary PFAs., , and . QEST, volume 8657 of Lecture Notes in Computer Science, page 329-344. Springer, (2014)Limit Deterministic and Probabilistic Automata for LTL ∖ GU., and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 628-642. Springer, (2015)Automated Grading of DFA Constructions., , , , and . IJCAI, page 1976-1982. IJCAI/AAAI, (2013)