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
Nielsen, J. B.
& Spitters, B. (2020).
Smart contract interactions in coq. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods- FM 2019 International Workshops - Revised Selected Papers (s. 380-391). Springer.
https://doi.org/10.1007/978-3-030-54994-7_29
Nielsen, S. D.-H., Liang, N.
, Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y.
, Schulz, H.-J. & Dallas, D. C. (2024).
Bioactive milk peptides: an updated comprehensive overview and database.
Critical Reviews in Food Science and Nutrition. Advance online publication.
https://doi.org/10.1080/10408398.2023.2240396
Neerbek, J., Dolog, P.
& Assent, I. (2019).
Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings. I Q. Yang, M.-L. Zhang, Z. Gong, S.-J. Huang & Z.-H. Zhou (red.),
Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Proceedings: PAKDD '19 (s. 40-53). Springer.
https://doi.org/10.1007/978-3-030-16142-2_4
Neerbek, J., Assent, I. & Dolog, P. (2018).
Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks. I D. Phung, V. S. Tseng, G. I. Webb, B. Ho, M. Ganji & L. Rashidi (red.),
Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings: PAKDD '18 (Bind 10939, s. 373-385). Springer VS.
https://doi.org/10.1007/978-3-319-93040-4_30