Research areas

Find within research areas:

231 - 240 out of 4,690Page size: 10
Sort by: 1st author
  1. Published

    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. (eds.). Mälardalen University, p. 38-40 3 p. (Technical Report, Vol. 254).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    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. (eds.). Springer, p. 263-299 37 p. (Lecture notes in computer science, Vol. 7342).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    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. (ed.). p. 2 1 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 48).

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  4. Published

    Modes of convergence for term graph rewriting

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Abstract models of transfinite reductions

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  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, In: Frontiers in Endocrinology. 10, 9 p., 256.

    Research output: Contribution to journal › Journal article › Research › peer-review

  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, In: Nutrition & Metabolism. 13, 8 p., 74.

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    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, In: Free Radical Biology & Medicine. 124, p. 104-113 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

    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, In: Lithos. 110, 1-4, p. 20-36

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

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

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

    Research output: Contribution to journal › Journal article › Research

Previous 1...20 21 22 23 24 25 26 27 ...469 Next