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. In J. Overgaard (Ed.),
Radiotherapy & Oncology: Journal of the European Society for Therapeutic Radiology and Oncology (Vol. Volume 81 Supplement 1, pp. 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. Article 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. In K. Ali & G. Salvaneschi (Eds.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 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. (Ed.), Maurer, H. A. (Ed.), Paun, G. (Ed.) & Rozenberg, G. (Ed.) (2004).
On the Formal Modeling of Trust in Reputation-Based Systems. In
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (pp. 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. (Ed.), van Albada, G. D. (Ed.), Sloot, P. M. A. (Ed.) & Dongarra, J. (Ed.) (2004).
Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. In
Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science ed., pp. 921-928)
Nielsen, P. M.
, Schori, C., Sørensen, J. L., Salvail, L., Damgård, I. B. & Polzik, E. S. (2001).
Experimental quantum key distribution with proven security against realistic attacks.
Journal of Modern Optics,
48, 1921-1942.