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
8 links
René Thiemann
Researcher
PaperLoops under Strategies ... ContinuedAuthorship / preprint / 2010PaperTowards the Certification of Complexity ProofsAuthorship / preprint / 2012PaperCertification extends Termination TechniquesAuthorship / preprint / 2012PaperCeTA - A Tool for Certified Termination AnalysisAuthorship / preprint / 2012PaperRecording Completion for Finding and Certifying Proofs in Equational LogicAuthorship / preprint / 2012PaperA Relative Dependency Pair FrameworkAuthorship / preprint / 2012PaperThe Certification Problem FormatAuthorship / preprint / 2014PaperAutomated Termination Analysis for Logic Programs with CutAuthorship / preprint / 2010