Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

Frandsen, G. S. (1985). A Denotational Semantics for Logic Programming. Department of Computer Science, Aarhus University.
Dalsgaard, K. & Jensen, J. L. (1985). A methodological study of the sieving of small sand samples. In O. E. Barndorff-Nielsen, J. T. Møller, K. Rømer Rasmussen & B. B. Willetts (Eds.), Proceedings of International Workshop on the Physics of Blown Sand, Aarhus, May 28-31, 1985 (Vol. 3, pp. 609-632). Aarhus Universitet.
Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). An Algebra for Program Fragments. In SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/800225.806837
Jensen, K. (1985). An Introduction to High-level Petri Nets. In Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85 (pp. 723-726). IEEE.
Férnandez, C., Nielsen, M. & Thiagarajan, P. S. (1985). A note on observable occurrence nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1984 (pp. 122-138). Springer. https://doi.org/10.1007/3-540-15204-0_8
Britz, D. & Antonia, R. A. (1985). A note on the spectrum of the time structure function. Zeitschrift fuer Angewandte Mathematik und Mechanik, 65, 319-321.
Embrechts, P., Jensen, J. L., Maejima, M. & Teugels, J. L. (1985). Approximations for compound Poisson and Pólya processes. Advances in Applied Probability, 17(3), 623-637. https://doi.org/10.2307/1427123
Kragh, H. (1985). Bohr's atomic theory and the chemists, 1913-1925. Rivista di Storia della Scienza, 2, 463-486.
Andersen, K. (1985). Cavalieri’s Method of Indivisibles. Archive for History of Exact Sciences, 31, 291-367.
Lund-Hansen, L. C. & Lange, P. (1985). Census of the Great Skua (stercorarius skua) Iceland 1984-1985. Icelandic Museum of Natural History.
Sottrup-Jensen, L., Stepanik, T. M., Kristensen, T., Lønblad, P. B., Jones, C. M., Wierzbicki, D. M., Magnusson, S., Domdey, H., Wetzel, R. A. & Lundwall, A. (1985). Common evolutionary origin of alpha 2-macroglobulin and complement components C3 and C4. Proceedings of the National Academy of Sciences (PNAS), 82(1), 9-13.
Asmussen, S. (1985). Conjugate processes and the simulation of ruin problems. Stochastic Process. Appl., 20(2), 213-229.
Barndorff-Nielsen, O. E. & Eriksen, P. S. (1985). Decomposition, factorization and invariance of measures, with a view to applications in statistics. Department of Mathematical Sciences, Aarhus University. Memoirs No. 7
JØRGENSEN, BB. & OKHOLMHANSEN, B. (1985). Emissions of Biogenic Sulfur Gases from a Danish Estuary. Atmospheric Environment, 19(11), 1737-1749.
Besenbacher, F., Nørskov, J. K., Puska, M. J. & Holloway, S. (1985). Excitation of hydrogen motion inside a nickel vacancy. Physical Review Letters, 55, 852.
Olesen, J. M. (1985). Frugthøsten. Praktisk Økologi, (5), 110-112.
Cedhagen, T. (1985). Histologiska och mikroskopiska arbetsmetoder. Zoologiska Institutionen, Göteborgs Universitet.
Bernvil, S. S., Jensen, E. B. & Vaeth, M. (1985). Identification of carriers of haemophilia A. Ugeskrift for Læger, 147(13), 1105-1108.
Myers, S. M., Besenbacher, F. & Nørskov, J. K. (1985). Immobilization mechanisms for ion-implanted deuterium in aluminium. Journal of Applied Physics, 58, 1841.
Besenbacher, F., Myers, S. M. & Nørskov, J. K. (1985). Interaction of hydrogen with defects in metals. Nucl. Instrum. Methods B, 7/8, 55.
Myers, S. M., Wampler, W. R., Besenbacher, F., Robinson, S. L. & Moody, N. R. (1985). Ion-beam studies of hydrogen in metals. Mater. Sci., 69, 397.
Lundwall, Å. B., Wetsel, R. A., Kristensen, T., Whitehead, A. S., Woods, D. E., Ogden, R. O., Colten, H. R. & Tack, B. F. (1985). Isolation and sequence analysis of a cDNA clone encoding the fifth complement component. Journal of Biological Chemistry, 260(4), 2108-2112. http://www.jbc.org/content/260/4/2108.full.pdf+html?sid=ba7e3198-dd40-4036-a5d0-6dfb58286914
Jensen, F. B. & Weber, R. E. (1985). Kinetics of the acclimational response of tench to combined hypoxia and hypercapnia - I. Respiratory responses. Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, 156, 197-203.
Olesen, J. M. (1985). Lækre og ulækre dyr. Om børns holdninger til dyr. Pædagogiske Særnumre, (53), 1-10.
Olesen, J. M. (1985). Lagring af frugt. Praktisk Økologi, (5), 132-133.
Frandsen, G. S. (1985). Learnability. Department of Computer Science, Aarhus University.
Frandsen, G. S. (1985). Logic programming and substitutions. In L. Budach (Ed.), Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985 (pp. 146-158). Springer. https://doi.org/10.1007/BFb0028799
Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). Multi-sequential execution in the BETA programming language. ACM SIGPLAN Notices, 20(4), 57-69. https://doi.org/10.1145/988316.988322
MOLLER, MM., NIELSEN, LP. & JØRGENSEN, BB. (1985). Oxygen Responses and Mat Formation by Beggiatoa Spp. Applied and Environmental Microbiology, 50(2), 373-382.