Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thomas Jensen
Map detail
Thomas Jensen4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipThomas JensenAThomas JensenResearcherSecure the ClonesWSecure the Clonespreprint / 2012Enforcing Secure Object Initialization in JavaWEnforcing Secure Object...preprint / 2010Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)WPretty-big-step-semanti...preprint / 2013
Person3 links

Thomas Jensen

Researcher