Forskningsområder

  1. Udgivet

    Evaluation à la carte: non-strict evaluation via compositional data types

    Bahr, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (red.). Mälardalen University, s. 38-40 3 s. (Technical Report, Bind 254).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    Modular tree automata

    Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    From infinitary term rewriting to cyclic term graph rewriting and back

    Bahr, P., 11 feb. 2011, Proceedings of the 6th International Workshop on Computing with Terms and Graphs. Echahed, R. (red.). s. 2 1 s. (Electronic Proceedings in Theoretical Computer Science, Bind 48).

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

  4. Udgivet

    Modes of convergence for term graph rewriting

    Bahr, P., 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 139-154 16 s. (Leibniz International Proceedings in Informatics, Bind 10).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    Abstract models of transfinite reductions

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 49-66 18 s. (Leibniz International Proceedings in Informatics, Bind 6).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Genes involved in oxidative stress pathways are differentially expressed in circulating mononuclear cells derived from obese insulin-resistant and lean insulin-sensitive individuals following a single mixed-meal challenge

    Baig, S., Parvaresh Rizi, E., Chia, C., Shabeer, M., Aung, N., Loh, T. P., Magkos, Faidon, Vidal-Puig, A., Seet, R. C. S., Khoo, C. M. & Toh, S., 2019, I: Frontiers in Endocrinology. 10, 9 s., 256.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Metabolic gene expression profile in circulating mononuclear cells reflects obesity-associated metabolic inflexibility

    Baig, S., Parvaresh Rizi, E., Shabeer, M., Chhay, V., Mok, S. F., Loh, T. P., Magkos, Faidon, Vidal-Puig, A., Tai, E. S., Khoo, C. M. & Toh, S., 2016, I: Nutrition & Metabolism. 13, 8 s., 74.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Hypoxia compounds exercise-induced free radical formation in humans; partitioning contributions from the cerebral and femoral circulation

    Bailey, D. M., Rasmussen, P., Evans, K. A., Bohm, A. M., Zaar, M., Nielsen, H. B., Brassard, P., Nordsborg, Nikolai Baastrup, Homann, P. H., Raven, P. B., McEneny, J., Young, I. S., McCord, J. M. & Secher, Niels H., 2018, I: Free Radical Biology & Medicine. 124, s. 104-113 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Formation of heterogeneous magmatic series beneath North Santorini, South Aegean island arc

    Bailey, John C, Jensen, E. S., Hansen, A., Kann, A. D. J. & Kann, K., 2008, I: Lithos. 110, 1-4, s. 20-36

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    Li in minerals from the Ilímaussaq alkaline intrusion, South Greenland

    Bailey, John C, Bohse, H., Gwozdz, R. & Rose-Hansen, J., 1993, I: Bulletin of the Geological Society of Denmark. 40, Vol 40, part 3-4, s. 288-299

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning