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
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