Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

Clausen, P., Kahlert, J., Hounisen, J. P., Olsen, K., Bøgebjerg, E. & Kjeldsen, J. P. (2007). Tøndermarskens ynglefugle 2005-2006: Naturovervågning. Danmarks Miljøundersøgelser, Aarhus Universitet. Arbejdsrapport fra DMU No. 238 Http://www.dmu.dk/Udgivelser/Arbejdsrapporter/Nr.+200-249/Abstracts/AR238.htm
Yang, L., Lavrinenko, A. V., Frandsen, L. H., Borel, P. I., Têtu, A. & Fage-Pedersen, J. (2007). Topology Optimisation of Slow Light Coupling to Photonic Crystal Waveguides. Electronics Letters, 43, 923-924.
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
Cameron, N., Drossopoulou, S. & Ernst, E. (2007). Towards an Existential Types Model for Java with Wildcards. In J. Boyland (Ed.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 ed., Vol. -, pp. 1-13). Nanjing University / University of Wisconsin-Milwaukee. http://cs.nju.edu.cn/boyland/ftjp/paper_2.pdf
Klokmose, C. N. (2007). Towards an Instrumental Paradigm for Ubiquitous Interaction. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 33-35)
Fujiwara, M. C., Andresen, G., Bertsche, W., Boston, A., Bowe, P. D., Cesar, C. L., Chapman, S., Charlton, M., Chartier, M., Deutsch, A., Fajans, J., Funakoshi, R., Gill, D. R., Gomberoff, K., Hangst, J. S., Hardy, W. N., Hayano, R. S., Hydomako, R., Jenkins, M. J. ... Yamazaki, Y. (2007). Towards antihydrogen confinement with the ALPHA antihydrogen trap. Hyperfine Interactions, 172(1-3), 81-89. https://doi.org/10.1007/s10751-007-9527-2
Fleischer, P. & Kristensen, L. M. (2007). Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 9-28)
Espensen, K. L., Kjeldsen, M. K. & Kristensen, L. M. (2007). Towards Modelling and Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 243-262)
Mesjasz-Przybylowicz, J., Migula, P., Pzybylowicz, W., Augustyniak, M., Nakoniecny, R. & Orlowska, E. Z. (2007). Transfer of selected metals along simplified food chains of ultramafic ecosystem in Mpumalanga Province, South Africa..
Lassen, K. B. & Tjell, S. (2007). Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. In K. Jensen (Ed.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 ed., pp. 127-146)
Lassen, K. B., van Dongen, B. & van der Aalst, W. M. P. (2007). Translating Message Sequence Charts to other Process Languages using Process Mining. (207 ed.) (pp. 1-15). Eindhoven Technical University.
Büchse, A., Krajewski, P., Kristensen, K. & Pilarczyk, W. (2007). Trial set up and statistical analysis. In D. Donner & A. Osman (Eds.), Handbook, Cereal variety testing for organic and low input agriculture (2 ed., pp. TSA1-TSA27). COST860-SUSVAR. http://www.cost860.dk/publications/doc/handbook_2ndEditionJune2007.pdf
Kragh, H. (2007). Tro og love - naturvidenskabens terminologi. Aktuel Naturvidenskab, (5), 32-33.
Nielsen, M. & Krukow, K. (2007). Trust Structures. International Journal of Information Security, 6(2-3), 153-181.
Boettcher, S. W., Strandwitz, N. C., Schierhorn, M., Lock, N., Lonergan, M. C. & Stucky, G. D. (2007). Tunable electronic interfaces between bulk semiconductors and ligand-stabilized nanoparticle assemblies. Nature Materials, 6, 592-596. https://doi.org/10.1038/nmat1943
Jacobsen, B. H. & Rath, V. (2007). Tuning a multiscale prior with generalized cross validation for piecewise constant paleotemperature. In Geophysical Research Abstracts (Vol. 9, pp. 5557). European Geophysical Union.
Nygaard, S., Hansen, S. W., Huffman, J. C., Jensen, F., Flood, A. H. & Jeppesen, J. O. (2007). Two Classes of Alongside Charge-transfer Interactions Defined in One [2]Catenane. Journal of the American Chemical Society, (129), 7354-7363. https://doi.org/10.1021/ja069047w
Tucker, P., Nowak, E. & Morth, J. P. (2007). Two-Component Systems of Mycobacterium tuberculosis—Structure-Based Approaches. In M. I. Simon, B. R. Crane & A. Crane (Eds.), Two‐Component Signaling Systems, Part B (Vol. 423, pp. 477-501). Academic Press.
Ewens, W. E., Choudhury, A. R., Lewontin, R. C. & Wiuf, C. (2007). Two variance results in population genetics theory. Math Popul Stud, 14, 93-110. https://doi.org/10.1080/08898480701298376
Pedersen, K. M. (2007). Tycho Brahe i Paris. Komitéen for Det Danske Studenterhus i Paris.
Bødker, S., Klokmose, C. N. & Brodersen, A. C. (2007). Ubiquitous Substitution. In  Proceedings of 11th IFIP TC 13 International Conference (Vol. 4662/2007, pp. 179-192). Springer.
Larsen, S. E. & Kristensen, K. (2007). Udvaskningsmodellen N-LES3 - usikkerhed og validering. DJF rapport, markbrug No. 132
Jacobsen, B. H. (2007). Understanding the effects of wrong sensitivity kernels in tomographic inversion through the new distortion-spectrum approach. In First European Conference on Earthquake Engineering and Seismology Abstract Book (pp. 101)