MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stefan Hetzl" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A graph theoretic approach to steganography
by Stefan Hetzl, Petra Mutzel — 2005 — In: 9th IFIP TC-6 TC-11 International Conference, Communications and Multimedia Security. Volume 3677
…A Graph–Theoretic Approach to Steganography Stefan Hetzl 1 and Petra Mutzel 2 1 Institute…
Cited by 5 (0 self) – Add To MetaCart

Cut-Elimination: Experiments with CERES ⋆
by Matthias Baaz, Stefan Hetzl, Er Leitsch, Clemens Richter, Hendrik Spohr
…Cut-Elimination: Experiments with CERES ⋆ Matthias Baaz 1 , Stefan Hetzl 2 , Alexander Leitsch 2…
Cited by 1 (1 self) – Add To MetaCart

Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions
by Stefan Hetzl, Er Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
…Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions Stefan Hetzl…
Add To MetaCart

Transforming and Analyzing Proofs in the CERES-system ∗
by Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
…Transforming and Analyzing Proofs in the CERES-system ∗ Stefan Hetzl Alexander Leitsch Daniel…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB