Thomas Jensen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dependent Random Partitions by Shrinking Toward an Anchor Journal of the American Statistical Association	2026-01-07	Paper
Automata-based verification of relational properties of functions over algebraic data structures	2024-10-21	Paper
Control-flow analysis of function calls and returns by abstract interpretation Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Secure the clones Logical Methods in Computer Science	2012-06-01	Paper
Control-flow analysis of function calls and returns by abstract interpretation Information and Computation	2012-05-24	Paper
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation Static Analysis	2008-08-28	Paper
scientific article; zbMATH DE number 860052 (Why is no real title available?)	1996-08-13	Paper
Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs Journal Of Logic And Computation	1995-09-20	Paper
scientific article; zbMATH DE number 177786 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Thomas Jensen