Thomas Philip Jensen

Thomas Philip Jensen

Professor

ORCID: 0000-0002-4064-7170

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

    Verification of Program Transformations with Inductive Refinement Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Dimovski, A. S. & Wasowski, A., 2021, I: ACM Transactions on Software Engineering and Methodology. 30, 1, 33 s., 5.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

  3. 2020
  4. Udgivet

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, s. 105-131 27 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12065 LNCS).

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

ID: 119744676