Aarhus University Seal

Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Nielsen, L., Skrydstrup, T. & Lindsay, K. (2008). Synthesis of Silanediol Peptide Mimic Precursors. Poster session presented at The 15th International Symposium on Organosilicon Chemistry, Haevichi, Jeju, Korea, Republic of.
Hansen, M. B., Toffoli, D., Christiansen, O. & Kongsted, J. (2008). Vibrational contributions to indirect spin-spin coupling constants calcualted via variational anharmoic approaches. Journal of Physical Chemistry Part A: Molecules, Spectroscopy, Kinetics, Environment and General Theory, 112, 8436-8445.
Kyhn, L. A., Tougaard, J., Madsen, P. T., Wilson, M., Miller, L., Rasmussen, M., Wahlberg, M. & Eriksen, N. (2008). Lyd i Oceanerne: Galathea3. In L. Nannested Jørgensen (Ed.), Galathea 3 2006-2007: Dansk Ekspeditionsfond (pp. 147-151). Thaning & Appel. http://130.226.56.153/rispubl/Galathea/galathea_147-151.pdf
Bøttger, P., Tracz, Z., Pelc, M., Albertsen, M., Strandbygård, D. J., Romero-Ramos, M. & Lykke-Andersen, K. (2008). Transgenic mouse models for two inherited neuronal diseases. Poster session presented at 12th International ATPase Conference, Aarhus, Denmark.
Bøttger, P. & Pedersen, L. (2003). Cellular regulation of the type III sodium-dependent phosphate transporter, Pit2, in response to hyperphosphatemic conditions. Poster session presented at Scandinavian Congress of Physiology and Pharmacology, Odense, Denmark.
Bøttger, P. & Pedersen, L. (2002). Structural requirements for retroviral entry via type III sodium-dependent phosphate transporters. Poster session presented at The 2002 International Workshop on Retroviral Pathogenesis, Indian Wells, CA, United States.
Bøttger, P. & Pedersen, L. (2001). Two glutamates critical for NaPi transport function revealed by exploring the dual functions of Pit2. Poster session presented at Scandinavian Physiological Society meeting, Aarhus, Denmark.
Bøttger, P. & Pedersen, L. (2001). No correlation between retroviral receptor function and transport function of retroviral receptor PiT2. Poster session presented at Retroviruses, Cold Spring Harbor laboratories, NY, United States.
Brauner, E. V., Møller, P., Barregard, L., Dragsted, L. O., Glasius, M., Wåhlin, P., Vinzents, P., Raaschou-Nielsen, O. & Loft, S. (2008). Exposure to ambient concentrations of particulate air pollution does not influence vascular function or inflammatory pathways in young healthy individuals. Particle and Fibre Toxicology, 5(13), online. https://doi.org/10.1186/1743-8977-5-13
Jørgensen, N. O. & Heinemeier, J. (2008). Origin of brackish groundwater in a sandstone aquifer on Bornholm, Denmark. Hydrology Research, 39(3), 209-222.
Nielsen, M., Engberg, U. H. & Larsen, K. S. (1988). Fully abstract models for a process language with refinement. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (pp. 523-548). Springer. https://doi.org/10.1007/BFb0013034
Engberg, U. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. In A. Arnold (Ed.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming (pp. 147-161). Springer.
Aceto, L. & Engberg, U. H. (1991). Failures Semantics for a Simple Process Language with Refinement. In S. Biswas & K. V. Nori (Eds.), FSTTCS '91: Foundations of Software Technology and Theoretical Computer Science, 11th Conference (pp. 89-108). Springer LNCS.
Engberg, U. H. & Winskel, G. (1993). Linear Logic on Petri Nets. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives (pp. 176-229). Springer LNCS.
Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets. In A. M. Borzyszkowski & S. Sokolowski (Eds.), MFCS '93: Mathematical Foundations of Computer Science 1993, 18th               International Symposium (pp. 442-452). Springer LNCS.
Engberg, U. H. & Nielsen, M. (2000). A Calculus of Communicating Systems with Label Passing – Ten Years After. In G. D. Plotkin, C. Stirling & M. Tofte (Eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner (pp. 599-622). MIT Press.
Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report Series (DAIMI PB) No. PB-308
Engberg, U. H., Nielsen, M. & Winskel, G. (Eds.) (1991). Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24). Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 392
Engberg, U. H. & Larsen, K. S. (1995). Efficient Simplification of Bisimulation Formulas. In E. Brinksma, R. Cleaveland, K. G. Larsen, T. Margaria & B. Steffen (Eds.), TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop (pp. 111-132). Springer LNCS.
Kragh, H. (2008). Er der plads til mirakler i naturvidenskaben? In B. H. Callesen & S. Grumsen (Eds.), Mirakler (pp. 27-40). Aarhus Universitetsforlag.
Jantzen, J. C. (2008). Character formulae from Hermann Weyl to the present. In K. Tent (Ed.), Groups and Analysis: The legacy of Hermann Weyl (pp. 232-270). Cambridge University Press.
Jensen, S. J., Oliveira, C. L. P. D., Nielsen, C. J. F., Pedersen, J. S., Andersen, F. F. & Knudsen, B. R. (2008). Structure of Human Topoisomerase I in Solution. Abstract from Structure of Human Topoisomerase I in Solution, København, Denmark.
Jensen, S. J., Oliveira, C. L. P. D., Nielsen, C. J. F., Pedersen, J. S., Andersen, F. F. & Knudsen, B. R. (2008). Structure of human Topoisomerase in Solution. Poster session presented at Nanotech 2008, København, Denmark.
Lassen, K. B. & van der Aalst, W. M. P. (2009). Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3), 610-626.
Mans, R. S., van der Aalst, W. M. P., Molemann, A. J., Bakker, P. J. M., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. Daimi Report Series (DAIMI PB), PB-584, 187-206.
Jensen, J., Madsen, P. & Sorensen, D. A. (1992). Use of supercomputing in quantitative genetics. In Supercomputing Annual Report UNI-C, Lyngby.
Andersen, B. B., Christensen, L. G. & Pedersen, G. A. (1994). Aktuelle egenskaber i kvægavlen. In Moderne Kvægavl (2 ed., Vol. 2, pp. 39-60)
Halekoh, U. & Degens, P. O. (1994). Least squares smoothers and additive decomposition. In E. Diday, Y. Lechevallier, M. Schader, P. Bertrand, B. Burtschy & Heidelberg (Eds.), New approaches in classification and data analysis (pp. 549-555). Springer.

Sort by: Date | Author | Title