( en | de | ru )

 

Disambiguation of "Naus, Nico"

Author of the publication

copydeleteadd this publication to your clipboard
Building a Generic Feedback System for Rule-Based Problems.

, and . TFP, volume 10447 of Lecture Notes in Computer Science, page 172-191. Springer, (2016)

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.

Alfred Naus

Paul Naus

Rainer Naus

Silke Naus

Silke Naus

 

Other publications of authors with the same name

Creating Interactive Visualizations of TopHat Programs., , , and . CoRR, (2022)A Formal Semantics for P-Code., , , and . VSTTE, volume 13800 of Lecture Notes in Computer Science, page 111-128. Springer, (2022)Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution., and . TFP, volume 12222 of Lecture Notes in Computer Science, page 47-68. Springer, (2020)A symbolic execution semantics for TopHat., , and . IFL, page 1:1-1:11. ACM, (2019)Use expert knowledge instead of data: generating hints for hour of code exercises., , and . L@S, page 32:1-32:4. ACM, (2018)End-user feedback in multi-user workflow systems., and . IFL, page 23-32. ACM, (2020)Dynamic Flow Analysis for JavaScript., and . TFP, volume 10447 of Lecture Notes in Computer Science, page 75-93. Springer, (2016)Low-Level Reachability Analysis Based on Formal Logic., , , and . TAP, volume 14066 of Lecture Notes in Computer Science, page 21-39. Springer, (2023)TopHat: A formal foundation for task-oriented programming., , and . PPDP, page 17:1-17:13. ACM, (2019)Reachability Logic for Low-Level Programs., , , and . CoRR, (2022)