Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

Publication year:
All
1 - 2 out of 2Page size: 500
  1. 2023
  2. Published

    Delivering Rules-Based Workflows for Science

    Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

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

  3. Published

    Type-directed Program Transformation for Constant-Time Enforcement

    Raimondi, G., Jensen, Thomas Philip & Besson, F., 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, p. 1-13 6

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

ID: 119744676