Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
1 - 5 ud af 5Pr. side: 10
- 2024
- E-pub ahead of print
Axiomatising an information flow logic based on partial equivalence relations
Filinski, Andrzej, Larsen, Ken Friis & Jensen, Thomas Philip, 2024, (E-pub ahead of print) I: International Journal on Software Tools for Technology Transfer.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2023
- 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
- 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 6Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- 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 › Forskning › fagfællebedømt
- 2020
- 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
Flest downloads
-
19
downloads
Verification of Program Transformations with Inductive Refinement Types
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet