Nico Naus

Nico Naus, dr.

de heer

 https://orcid.org/0000-0003-3442-1543
20232023

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
View full fingerprint

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
Explore network further
  • 1 Conference Article in proceeding

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access