Felix Schernhammer

Technische Universität Wien (Vienna University of Technology)
AB Theoretische Informatik und Logik (Theory and Logic Group E185-2)
Favoritenstrasse 9-11
A-1040 Wien
Austria

e-mail:

I am grateful for the support of my PhD provided by the Austrian Academy of Sciences.

Workshop and Conference Publications

Felix Schernhammer and Bernhard Gramlich
On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems
In Proceedings of the 9th International Workshop on Termination (WST '07) - Extended Abstracts.
Available: Extended Abstract
Felix Schernhammer and Bernhard Gramlich
Termination of Lazy Rewriting Revisited
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS '07).
Available: PDF Experiments
Felix Schernhammer
On Operational Termination of Deterministic Conditional Term Rewriting Systems.
Proceedings of the 20th Nordic Workshop on Programming Theory (NWPT '08) - Extended Abstracts).
Available: PDF
Felix Schernhammer and Bernhard Gramlich
VMTL - A Modular Termination Laboratory.
Proceedings of the 20th International Conference on Rewriting Techniques and Applications 2009 (RTA '09),
Lecture Notes in Computer Science LNCS 5595, Springer-Verlag.
Available: PDF
Bernhard Gramlich and Felix Schernhammer
Extending Context-Sensitivity in Term Rewriting
Proceedings of the 9th International Workshop in Reduction Strategies in Rewriting and Programming (WRS' 09).
Available: PDF
Karl Gmeiner, Bernhard Gramlich and Felix Schernhammer
On (Un)Soundness of Unravelings
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10).
Available: PDF
Bernhard Gramlich and Felix Schernhammer
Outermost Termination via Contextual Dependency Pairs
Proceedings of the 11th International Workshop on Termination (WST'10).
Available: PDF
Bernhard Gramlich and Felix Schernhammer
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS'10).
Available: PDF
Felix Schernhammer and José Meseguer
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'11, to appear) Available PDF

Journal Publications

Felix Schernhammer and Bernhard Gramlich
Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems
In Journal of Logic and Algebraic Programming, Elsevier 2010, to appear.
Available: Preprint PDF

Technical Reports

Felix Schernhammer and Bernhard Gramlich
Termination of Lazy Rewriting Revisited.
Technical Report E1852-2007-1, Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria, 2007.
Available: PDF
Felix Schernhammer and Bernhard Gramlich
Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems.
Technical Report E1852-2009-1, Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria, 2009 (revised version).
Available: PDF
Bernhard Gramlich and Felix Schernhammer
Extending Context-Sensitivity in Term Rewriting
Technical Report E1852-2009-02, Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria, 2009.
Available: PDF
Karl Gmeiner, Bernhard Gramlich and Felix Schernhammer
On (Un)Soundness of Unravelings
Technical Report E1852-2010-01, Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria, 2010.
Available: PDF
Felix Schernhammer and José Meseguer
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Long version of the paper to appear at PPDP'11.
Available PDF

Thesis

Felix Schernhammer
Applications and Generalizations of Context-Sensitive Term Rewriting.
PhD Thesis, TU Wien, Austria, 2011.
Available: PDF