Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Pierre Weis
Researcher
PaperOn the implementation of construction functions for non-free concrete data typesAuthorship / preprint / 2007PaperImage Segmentation with Multidimensional Refinement IndicatorsAuthorship / preprint / 2011PaperFormal Proof of a Wave Equation Resolution Scheme: the Method ErrorAuthorship / preprint / 2011PaperFormal Proof of a Wave Equation Resolution Scheme: the Method ErrorAuthorship / preprint / 2011PaperWave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C ProgramAuthorship / preprint / 2012PaperTrusting Computations: a Mechanized Proof from Partial Differential Equations to Actual ProgramAuthorship / preprint / 2014