Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

Udgivelsesår:
Alle
1 - 2 ud af 2Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    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., s. 2000-2008 (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    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, s. 1-13 6

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 119744676