Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Christian Sternagel

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j7]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/Sternagel12
- ask others
Christian Sternagel: Well-Quasi-Orders. Archive of Formal Proofs 2012 (2012)
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/SternagelT12
- ask others
Christian Sternagel, René Thiemann: Certification of Nontermination Proofs. ITP 2012: 266-282
[i6]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1366
- ask others
Christian Sternagel: A Locale for Minimal Bad Sequences. CoRR abs/1208.1366 (2012)
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1368
- ask others
Christian Sternagel: Getting Started with Isabelle/jEdit. CoRR abs/1208.1368 (2012)
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1591
- ask others
Christian Sternagel, René Thiemann, Sarah Winkler, Harald Zankl: CeTA - A Tool for Certified Termination Analysis. CoRR abs/1208.1591 (2012)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1594
- ask others
Christian Sternagel, René Thiemann: Certification extends Termination Techniques. CoRR abs/1208.1594 (2012)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1595
- ask others
Christian Sternagel, René Thiemann: A Relative Dependency Pair Framework. CoRR abs/1208.1595 (2012)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-1597
- ask others
Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic. CoRR abs/1208.1597 (2012)
2011
[j6]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/Sternagel11
- ask others
Christian Sternagel: Efficient Mergesort. Archive of Formal Proofs 2011 (2011)
[j5]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/SternagelT11
- ask others
Christian Sternagel, René Thiemann: Executable Transitive Closures of Finite Relations. Archive of Formal Proofs 2011 (2011)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/frocos/SternagelT11
- ask others
Christian Sternagel, René Thiemann: Generalized and Formalized Uncurrying. FroCoS 2011: 243-258
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/KraussSTFG11
- ask others
Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl: Termination of Isabelle Functions via Termination of Rewriting. ITP 2011: 152-167
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/SternagelT11
- ask others
Christian Sternagel, René Thiemann: Modular and Certified Semantic Labeling and Unlabeling. RTA 2011: 329-344
2010
[j4]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/SternagelT10
- ask others
Christian Sternagel, René Thiemann: Abstract Rewriting. Archive of Formal Proofs 2010 (2010)
[j3]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/SternagelT10a
- ask others
Christian Sternagel, René Thiemann: Executable Matrix Operations on Matrices of Arbitrary Dimensions. Archive of Formal Proofs 2010 (2010)
[j2]
- view
  - electronic edition @ sourceforge.net
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/afp/SternagelT10b
- ask others
Christian Sternagel, René Thiemann: Executable Multivariate Polynomials. Archive of Formal Proofs 2010 (2010)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/SternagelT10
- ask others
Christian Sternagel, René Thiemann: Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs. CSL 2010: 514-528
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/SternagelT10
- ask others
Christian Sternagel, René Thiemann: Certified Subterm Criterion and Certified Usable Rules. RTA 2010: 325-340
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sofsem/ZanklSHM10
- ask others
Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp: Finding and Certifying Loops. SOFSEM 2010: 755-766
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5563
- ask others
René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp: Loops under Strategies ... Continued. IWS 2010: 51-65

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ZanklSM09
- ask others
Harald Zankl, Christian Sternagel, Aart Middeldorp: Transforming SAT into Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 246: 199-214 (2009)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/ThiemannS09
- ask others
René Thiemann, Christian Sternagel: Loops under Strategies. RTA 2009: 17-31
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/KorpSZM09
- ask others
Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/ThiemannS09
- ask others
René Thiemann, Christian Sternagel: Certification of Termination Proofs Using CeTA. TPHOLs 2009: 452-468
2008
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/SternagelM08
- ask others
Christian Sternagel, Aart Middeldorp: Root-Labeling. RTA 2008: 336-350

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?