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
Nocke, T., Buschmann, S., Donges, J. F., Marwan, N.
, Schulz, H.-J. & Tominski, C. (2015).
Review: Visual Analytics of climate networks.
Nonlinear Processes in Geophysics,
22, 545-570.
https://doi.org/10.5194/npg-22-545-2015
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, L. H., Andersen, M. H.
, Petersen, M. G., Bouvin, N. O. & Hjorth, H. A. (2020).
A Collaborative Cross-Device Microworld for Physics Simulation Experiments in High-School. I B. Tangney, J. R. Byrne & C. Girvan (red.),
Proceedings of the 2020 Constructionism Conference (s. 119-128).
http://www.constructionismconf.org/wp-content/uploads/2020/05/C2020-Proceedings.pdf