Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007).
The ComBack Method - Extending Hash Compaction with Backtracking. I
Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (s. 455-464). Springer.
https://doi.org/10.1007/978-3-540-73094-1_26
Nielsen, M., Krukow, K. K. & Sassone, V. (2007).
Towards a Formal Framework for Computational Trust. I F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (red.),
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (s. 175-184). Springer.
https://doi.org/10.1007/978-3-540-74792-5_8
Petersen, M. G. & Pagter, J. I. (2007).
A Sense of Security in Pervasive Computing - is the light on when the refrigerator door is closed? I R. Dhamija & S. Dietrich (red.),
Financial and Cryptography and Data Security: 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 2007, Revised Selecgted Papers (Bind LNCS 4886, s. 383-388). Springer.
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.