Felix Schernhammer
TU Wien(AT)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Semantic Web and Ontologies, Natural Language Processing Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Characterizing and proving operational termination of deterministic conditional term rewriting systems(2010)20 cited
- → VMTL–A Modular Termination Laboratory(2009)19 cited
- → On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems(2012)9 cited
- → On (Un)Soundness of Unravelings(2010)8 cited
- → Termination of Lazy Rewriting Revisited(2008)6 cited
- → Incremental checking of well-founded recursive specifications modulo axioms(2011)6 cited
- → Extending Context-Sensitivity in Term Rewriting(2010)2 cited
- → Termination of Rewriting with and Automated Synthesis of Forbidden Patterns(2010)1 cited
- Applications and generalizations of context-sensitive term rewriting(2010)