Search results

Page title matches

• People:Christian Sternagel
  |firstname=Christian |lastname=Sternagel
  634 bytes (95 words) - 12:30, 30 May 2014

Page text matches

• Tools:CaT
  ...[[People:Martin Korp|Martin Korp]], [[People:Christian Sternagel|Christian Sternagel]] and [[People:Harald Zankl|Harald Zankl]]
  656 bytes (98 words) - 17:29, 13 May 2009
• Tools:TTT2
  ...[[People:Martin Korp|Martin Korp]], [[People:Christian Sternagel|Christian Sternagel]], [[People:Harald Zankl|Harald Zankl]], and [[People:Aart Middeldorp|Aart
  745 bytes (107 words) - 14:09, 18 May 2009
• Tools:IsaFoR
  |developers=[[People:Christian Sternagel|Christian Sternagel]] and [[People:René Thiemann|René Thiemann]]
  689 bytes (101 words) - 12:44, 9 April 2010
• Bibtex:KSZM09
  author = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp},
  758 bytes (92 words) - 14:29, 18 May 2009
• WScT08-Program
  * 05/17/08, 09:30 — Christian Sternagel, [http://cl-informatik.uibk.ac.at/~griff/WScT08/beamer.pdf slides]
  920 bytes (118 words) - 13:32, 2 June 2008
• People:Christian Sternagel
  |firstname=Christian |lastname=Sternagel
  634 bytes (95 words) - 12:30, 30 May 2014
• WScT08-Registration
  * Christian Sternagel,
  2 KB (273 words) - 13:33, 2 June 2008
• Termination Competition Platform
  Christian Sternagel: I would also like to be able to query the problem data base and not only t
  3 KB (438 words) - 15:29, 1 April 2009
• Outermost
  * Christian Sternagel and Rene Thiemann (TTT2)
  4 KB (635 words) - 17:27, 25 November 2008
• Termination Competition 2018
  * Christian Sternagel, Universität Innsbruck, Austria
  7 KB (1,049 words) - 09:55, 12 June 2020
• Termination Competition 2019
  * Christian Sternagel, Universität Innsbruck, Austria
  7 KB (1,068 words) - 09:25, 12 June 2020