Graph explorer

Research map

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

Simon Hudon
Map detail
Simon Hudon4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipSimon HudonASimon HudonResearcherThe Unit-B Method -- Refinement Guided by Progress ConcernsWThe Unit-B Method -- Re...preprint / 2020Sealing Pointer-Based Optimizations Behind Pure FunctionsWSealing Pointer-Based O...preprint / 2020Using Indexed and Synchronous Events to Model and Validate Cyber-Physical SystemsWUsing Indexed and Synch...preprint / 2015
Person3 links

Simon Hudon

Researcher