Research areas

Find within research areas:

4451 - 4460 out of 4,686Page size: 10
Sort by: 1st author

  1. 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

  2. Published

    Partial order infinitary term rewriting and Böhm trees

    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. 67-84 19 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 6).

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

  3. Published

    Infinitary term graph rewriting is simple, sound and complete

    Bahr, P., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 69-84 16 p. (Leibniz International Proceedings in Informatics, Vol. 15).

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

  4. Published

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, In: Logical Methods in Computer Science. 8, 2, 60 p., 6.

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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. Transepithelial activation of human leukocytes by probiotics and commensal bacteria: Role of Enterobacteriaceae-type endotoxin

    Baeuerlein, A., Ackermann, S. & Parlesak, Alexandr, 2009, In: Microbiology and Immunology. 53, 4, p. 241-250 10 p.

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

Previous 1...442 443 444 445 446 447 448 449 ...469 Next