Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Nielsen, L., Skrydstrup, T. & Lindsay, K. (2008). Synthesis of Silanediol Peptide Mimic Precursors. Poster-session præsenteret på The 15th International Symposium on Organosilicon Chemistry, Haevichi, Jeju, Sydkorea.
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. I L. Nannested Jørgensen (red.), Galathea 3 2006-2007: Dansk Ekspeditionsfond (s. 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 præsenteret på 12th International ATPase Conference, Aarhus, Danmark.
Bøttger, P. & Pedersen, L. (2003). Cellular regulation of the type III sodium-dependent phosphate transporter, Pit2, in response to hyperphosphatemic conditions. Poster-session præsenteret på Scandinavian Congress of Physiology and Pharmacology, Odense, Danmark.
Bøttger, P. & Pedersen, L. (2002). Structural requirements for retroviral entry via type III sodium-dependent phosphate transporters. Poster-session præsenteret på The 2002 International Workshop on Retroviral Pathogenesis, Indian Wells, CA, USA.
Bøttger, P. & Pedersen, L. (2001). Two glutamates critical for NaPi transport function revealed by exploring the dual functions of Pit2. Poster-session præsenteret på Scandinavian Physiological Society meeting, Aarhus, Danmark.
Bøttger, P. & Pedersen, L. (2001). No correlation between retroviral receptor function and transport function of retroviral receptor PiT2. Poster-session præsenteret på Retroviruses, Cold Spring Harbor laboratories, NY, USA.
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. I J. W. de Bakker, W. P. de Roever & G. Rozenberg (red.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (s. 523-548). Springer. https://doi.org/10.1007/BFb0013034
Engberg, U. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. I A. Arnold (red.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming (s. 147-161). Springer.
Aceto, L. & Engberg, U. H. (1991). Failures Semantics for a Simple Process Language with Refinement. I S. Biswas & K. V. Nori (red.), FSTTCS '91: Foundations of Software Technology and Theoretical Computer Science, 11th Conference (s. 89-108). Springer LNCS.
Engberg, U. H. & Winskel, G. (1993). Linear Logic on Petri Nets. I J. W. de Bakker, W. P. de Roever & G. Rozenberg (red.), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives (s. 176-229). Springer LNCS.
Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets. I A. M. Borzyszkowski & S. Sokolowski (red.), MFCS '93: Mathematical Foundations of Computer Science 1993, 18th               International Symposium (s. 442-452). Springer LNCS.
Engberg, U. H. & Nielsen, M. (2000). A Calculus of Communicating Systems with Label Passing – Ten Years After. I G. D. Plotkin, C. Stirling & M. Tofte (red.), Proof, Language, and Interaction: Essays in Honour of Robin Milner (s. 599-622). MIT Press.
Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report Series (DAIMI PB) Nr. PB-308
Engberg, U. H., Nielsen, M. & Winskel, G. (red.) (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) Nr. 392
Engberg, U. H. & Larsen, K. S. (1995). Efficient Simplification of Bisimulation Formulas. I E. Brinksma, R. Cleaveland, K. G. Larsen, T. Margaria & B. Steffen (red.), TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop (s. 111-132). Springer LNCS.
Kragh, H. (2008). Er der plads til mirakler i naturvidenskaben? I B. H. Callesen & S. Grumsen (red.), Mirakler (s. 27-40). Aarhus Universitetsforlag.
Jantzen, J. C. (2008). Character formulae from Hermann Weyl to the present. I K. Tent (red.), Groups and Analysis: The legacy of Hermann Weyl (s. 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 fra Structure of Human Topoisomerase I in Solution, København, Danmark.
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 præsenteret på Nanotech 2008, København, Danmark.
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.
Andersen, B. B., Christensen, L. G. & Pedersen, G. A. (1994). Aktuelle egenskaber i kvægavlen. I Moderne Kvægavl (2 udg., Bind 2, s. 39-60)
Halekoh, U. & Degens, P. O. (1994). Least squares smoothers and additive decomposition. I E. Diday, Y. Lechevallier, M. Schader, P. Bertrand, B. Burtschy & Heidelberg (red.), New approaches in classification and data analysis (s. 549-555). Springer.

Sortér efter: Dato | Forfatter | Titel