Nygaard, M.
, Winskel, G., Brim, L. (red.), Jancar, P. (red.), Kretínsky, M. (red.) & Kucera, A. (red.) (2002).
HOPLA: A Higher-Order Process Language. I
Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Bind 2421, s. 434-448). Springer.
Nunes, F.
, Verdezoto, N., Fitzpatrick, G.
, Kyng, M., Grönvall, E. & Storni, C. (2015).
Self-Care Technologies in HCI: Trends, Tensions, and Opportunities.
A C M Transactions on Computer - Human Interaction,
22(6), Artikel 33.
https://doi.org/10.1145/2803173
Nørregaard, P.
, Dindler, C., Fritsch, J.
, Iversen, O. S., Nielsen, C. & Andersen, J. (2003).
NetWorking News - A Method for Engaging Children Actively In Design. I
Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)
Nonnemann, L.
, Hogräfer, M., Röhlig, M., Schumann, H., Urban, B.
& Schulz, H.-J. (2022).
A Data-Driven Platform for the Coordination of Independent Visual Analytics Tools.
Computers & Graphics,
106, 152-160.
https://doi.org/10.1016/j.cag.2022.05.023
Noe, K. Ø., Tanderup, K., Kiritsis, C., Dimopoulos, J.
, Sørensen, T. S., Lindegaard, J. & Grau, C. (2006).
Accelerated Deformable Registration of Repetitive MRI during Radiotherapy in Cervical Cancer. I J. Overgaard (red.),
Radiotherapy & Oncology: Journal of the European Society for Therapeutic Radiology and Oncology (Bind Volume 81 Supplement 1, s. 210-211). Pergamon Press.
Noe, K. Ø., De Senneville, B. D.
, Elstrøm, U. V., Tanderup, K. & Sørensen, T. S. (2008).
Acceleration and validation of optical flow based deformable registration for image-guided radiotherapy.
Acta Odontologica Scandinavica,
47(7), 1286-1293.
https://doi.org/10.1080/02841860802258760
Noe, K. Ø., Tanderup, K., Lindegaard, J. C., Grau, C. & Sørensen, T. S. (2008).
GPU accelerated viscous-fluid deformable registration for radiotherapy.
Studies in Health Technology and Informatics,
132, 327-32.
Nieto, A., Gondelman, L., Reynaud, A.
, Timany, A. & Birkedal, L. (2022).
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages ,
6(OOPSLA2), 1788-1816. Artikel 188.
https://doi.org/10.1145/3563351
Nieto, A., Daby-Seesaram, A.
, Gondelman, L., Timany, A. & Birkedal, L. (2023).
Modular Verification of State-Based CRDTs in Separation Logic. I K. Ali & G. Salvaneschi (red.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ECOOP.2023.22
Nielsen, M., Krukow, K., Karhumäki, J. (red.), Maurer, H. A. (red.), Paun, G. (red.) & Rozenberg, G. (red.) (2004).
On the Formal Modeling of Trust in Reputation-Based Systems. I
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (s. 192-204). Springer.
https://doi.org/10.1007/978-3-540-27812-2_18
Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (red.), van Albada, G. D. (red.), Sloot, P. M. A. (red.) & Dongarra, J. (red.) (2004).
Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. I
Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science udg., s. 921-928)