Nielsen, M., Aranda, J. A., Di Giusto, C. & Valencia, F. (2007).
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. In Z. Shao (Ed.),
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (pp. 383-398). Springer.
https://doi.org/10.1007/978-3-540-76637-7_26
Nielsen, M., Krukow, K. K. & Sassone, V. (2007).
Towards a Formal Framework for Computational Trust. In F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (Eds.),
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (pp. 175-184). Springer.
https://doi.org/10.1007/978-3-540-74792-5_8
Nielsen, J. B. (Ed.), Alwen, J., Cachin, C., Pereira, O., Sadeghi, A.-R., Schoenmakers, B., Shelat, A. & Visconti, I. (2007).
Summary Report on Rational Cryptographic Protocols. ECRYPT - European Network of Excellence in Cryptology.
Nielsen, A. B. & Ernst, E. (2008).
Optimizing Dynamic Class Composition in a Statically Typed Language. In R. Freeman Paige & B. Meyer (Eds.),
Objects, Components, Models and Patterns: 46th International Conference , TOOLS EUROPE 2008, Zurich, Switzerland, June/July 2008 (11 ed., Vol. LNBIP, pp. 161-177). Springer.
https://doi.org/10.1007/978-3-540-69824-1_10
Nielsen, J. K., Freckmann, G., Kapitza, C., Ocvirk, G.
, Koelker, K. H., Amann-Zalan, I., Gillen, R., Kamecke, U., Jendrike, N.
, Christiansen, J. S., Koschinsky, T. & Heinemann, L. (2009).
Glucose monitoring by microdialysis: performance in a multicentre study.
Diabetic Medicine,
26(7), 714-21.
https://doi.org/10.1111/j.1464-5491.2009.02750.x
Nielsen, M. & Winskel, G. (1995).
Models for Concurrency. In S. Abramsky, D. M. Gabbay & T. S. E. Maibaum (Eds.),
Handbook of Logic in Computer Science: vol. 4: Semantic Modelling (pp. 1-148). Oxford University Press.