Personal profile

External positions

Adjunct Research Assistant Professor, Virginia Polytechnic Institute and State University

1 Jul 2023 → …

Fingerprint

Dive into the research topics where Nico Naus is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Building a Generic Feedback System for Rule-Based Problems

    Naus, N. & Jeuring, J. T., 21 Feb 2019, Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). Cham: Springer, p. 172-191 20 p. (Lecture Notes in Computer Science, Vol. 10447).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    128 Downloads (Pure)
  • Use expert knowledge instead of data: generating hints for hour of code exercises

    Buwalda, M., Jeuring, J. T. & Naus, N., 26 Jun 2018, L@S '18 Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY: Association for Computing Machinery (ACM), 32

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    108 Downloads (Pure)