Search results

Page title matches

• User:Giesl
  #REDIRECT [[People:Jürgen Giesl]]
  34 bytes (5 words) - 08:20, 10 April 2008
• People:Jürgen Giesl
  |lastname=Giesl |email=giesl@informatik.rwth-aachen.de
  717 bytes (107 words) - 08:09, 10 April 2008

Page text matches

• User talk:Davidkor
  Again, welcome and have fun! [[User:Giesl|Giesl]] ([[User talk:Giesl|talk]]) 14:03, 3 July 2019 (CEST)
  255 bytes (38 words) - 12:03, 3 July 2019
• User talk:Albert
  Again, welcome and have fun! [[User:Giesl|Giesl]] ([[User talk:Giesl|talk]]) 10:28, 20 May 2014 (CEST)
  255 bytes (38 words) - 08:28, 20 May 2014
• User talk:Christoph Walther
  Again, welcome and have fun! [[User:Giesl|Giesl]] ([[User talk:Giesl|talk]]) 23:09, 7 August 2017 (CEST)
  257 bytes (38 words) - 21:09, 7 August 2017
• User talk:Sabel
  Again, welcome and have fun! [[User:Giesl|Giesl]] ([[User talk:Giesl|talk]]) 23:51, 30 June 2015 (CEST)
  256 bytes (38 words) - 21:51, 30 June 2015
• User talk:Akihisa Yamada
  Again, welcome and have fun! [[User:Giesl|Giesl]] ([[User talk:Giesl|talk]]) 11:08, 23 July 2015 (CEST)
  256 bytes (38 words) - 09:08, 23 July 2015
• People:Jürgen Giesl
  |lastname=Giesl |email=giesl@informatik.rwth-aachen.de
  717 bytes (107 words) - 08:09, 10 April 2008
• User:Giesl
  #REDIRECT [[People:Jürgen Giesl]]
  34 bytes (5 words) - 08:20, 10 April 2008
• Tools:AProVE
  |developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|
  904 bytes (127 words) - 20:25, 25 May 2014
• Bibtex:Giesl04
  author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},
  578 bytes (73 words) - 17:25, 13 May 2009
• Bibtex:GST06
  author = "J. Giesl and P. Schneider-Kamp and R. Thiemann",
  658 bytes (82 words) - 20:55, 13 May 2009
• Bibtex:GSST06
  author = "J. Giesl and S. Swiderski and P. Schneider-Kamp and R. Thiemann",
  685 bytes (87 words) - 06:23, 8 April 2008
• Bibtex:FNOGLS08
  author = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},
  701 bytes (97 words) - 15:03, 16 June 2009
• Bibtex:SGST06
  AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
  696 bytes (91 words) - 18:44, 31 March 2008
• Bibtex:FGMSTZ07
  author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},
  777 bytes (104 words) - 18:44, 31 March 2008
• TC SC Meeting WST09
  * the competition in 2010 shall be run during IJCAR. Jürgen Giesl is resposible for coordination with conference organizers * result of election: the new TC SC consists of Jürgen Giesl, Albert Rubio, Johannes Waldmann. Aart Middeldorp was appointed as addition
  2 KB (280 words) - 12:31, 5 June 2009
• Tools:Polytool
  ...:Peter_Schneider-Kamp|Peter Schneider-Kamp]], [[People:Jürgen_Giesl|Jürgen Giesl]]
  760 bytes (115 words) - 13:45, 14 May 2009
• Bibtex:AProVE14
  author = {Giesl, J\"urgen and
  1 KB (110 words) - 07:55, 29 July 2014
• Termination-Portal.org:About
  Jürgen Giesl [mailto:giesl@informatik.rwth-aachen.de giesl@informatik.rwth-aachen.de]
  2 KB (318 words) - 10:22, 14 October 2018
• TPDB
  ....uni-trier.de/rec/bibtex/journals/tcs/ArtsG00 http://verify.rwth-aachen.de/giesl/papers/ibn-97-46.ps
  4 KB (504 words) - 02:08, 18 June 2020
• 19th International Workshop on Termination
  Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]), Dagstuhl ([http://verify.rwth-aachen.de/giesl/WST99.html 1999]),
  11 KB (1,420 words) - 17:02, 17 August 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)