( en | de | ru )

 

Disambiguation of "Jensen, Thomas P."

Author of the publication

copydeleteadd this publication to your clipboard
Rewriting Approximations for Fast Prototyping of Static Analyzers.

, , , and . RTA, volume 4533 of Lecture Notes in Computer Science, page 48-62. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Jensen

Thomas Jensen

Thomas P Gysler

P Thomas Locher

Thomas P Müller

 

Other publications of authors with the same name

Abstract Interpretation vs. Type Inference A Topological Perspective.. Functional Programming, page 141-145. Springer, (1990)MichelsonLiSA: A Static Analyzer for Tezos., , , and . PerCom Workshops, page 80-85. IEEE, (2023)Reasoning About Gamma Programs., , and . Theory and Formal Methods, page 115-125. Springer, (1993)Verification of Control Flow based Security Properties., , and . S&P, page 89-103. IEEE Computer Society, (1999)Disjunctive Strictness Analysis. LICS, page 174-185. IEEE Computer Society, (1992)Galois Connections for Recursive Types., , , and . From Lambda Calculus to Cybersecurity Through Program Analysis, volume 12065 of Lecture Notes in Computer Science, page 105-131. Springer, (2020)Lifting Numeric Relational Domains to Algebraic Data Types., , and . SAS, volume 13790 of Lecture Notes in Computer Science, page 104-134. Springer, (2022)Polyhedral Analysis for Synchronous Languages., , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 51-68. Springer, (1999)SawjaCard: A Static Analysis Tool for Certifying Java Card Applications., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 51-67. Springer, (2014)Types in Program Analysis.. The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 204-222. Springer, (2002)