Eiríksson, J.
, Knudsen, K. L., Larsen, G.
, Heinemeier, J. & Símonarson, L. A. (2006).
Comparison of tephrochronological and radiocarbon based age models for marine sedimentary records in the northern North Atlantic. In
Eos Trans AGU, Fall Meeting Supplement (Vol. 87 (52), pp. PP33A-1773)
Knudsen, K. L., Eiríksson, J., Jiang, H., Bartels-Jónsdóttir, H. B. & Ran, L. (2006).
Holocene Climatic Variability off North Iceland: A Comparison of the Thermal Maximum and the Last 2000 Years. In
Eos Trans AGU, Fall Meeting Supplement (Vol. 87 (52), pp. PP43A-1221)
Sicre, M.-A., Ezat, U., Guimbaud, E., Jacob, J., Eiríksson, J.
, Knudsen, K. L. & Jansen, E. (2006).
Sub-decadal variability of the sea surface temperatures off the North Icelandic shelf during the 0-2 and 6-8.2 ka intervals. In
Geophysical Union Abstracts (Vol. 8, pp. 02061)
Danvy, O., Filinski, A., Giavitto, J.-L., Moreau, P.-E. & Talcott, C. (2006).
Editorial.
Higher-Order and Symbolic Computation,
19(1), 343-344.
Danvy, O., de Moor, O., Padget, J. & Thiemann, P. (2006).
Editorial.
Higher-Order and Symbolic Computation,
19(1), 5-5.
Kvist, L. P. & Moraes, M. (2006).
Plantas psicoactiva. In M. Moraes, B. Øllgaard, L. P. Kvist, F. Borchsenius & H. Balslev (Eds.),
Botánica Económica de los Andes Centrales (pp. 294-312)
Scource, J., Sejrup, H. P., Jones, P. D., Procect Participants, HOLSMEER.
& Knudsen, K. L. (2006).
Late Holocene oceanographic and climatic change from the western European margin: the results of the HOLSMEER project.
The Holocene,
16, 931-935.
Skibsted, J. B., Andersen, M. D.
& Jakobsen, H. J. (2006).
Structural Investigations of Portland Cement Components, Hydration, and Effects of Admixtures by Solid-State NMR Spectroscopy. In
16th IBAUSIL - Internationale Baustofftagung, Weimar, Germany: 16th IBAUSIL - Internationale Baustofftagung, Weimar, Germany, 20. - 23. September 2006 (Vol. 1, pp. 297-312). Dorothea Rohrmann.
Weissman, L., de Souza-Pinto, N. C.
, Stevnsner, T. V. & Bohr, V. (2006).
DNA repair, mitochondria, and neurodegeneration.
Neuroscience, (145), 1318-1329.
Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer.
https://doi.org/10.1007/BFb0028773
Elgaard, J.
, Møller, A. & Schwartzbach, M. I. (2000).
Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.),
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer.
https://doi.org/10.1007/3-540-46425-5_8
Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. In S. Yu & A. Paun (Eds.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer.
https://doi.org/10.1007/3-540-44674-5_4
Christensen, A. S., Kirkegaard, C. & Møller, A. (2004).
A Runtime System for XML Transformations in Java. In Z. Bellahsene, T. Milo, M. Rys, D. Suciu & R. Unland (Eds.),
Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings (pp. 143-157). Springer.
https://doi.org/10.1007/978-3-540-30081-6_11