Search results

Page title matches

• People:Jürgen Giesl
  |lastname=Giesl |email=giesl@informatik.rwth-aachen.de
  717 bytes (107 words) - 08:09, 10 April 2008

Page text matches

• People:Jürgen Giesl
  |lastname=Giesl |email=giesl@informatik.rwth-aachen.de
  717 bytes (107 words) - 08:09, 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
• 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
• Termination Competition Steering Committee
  * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen
  3 KB (403 words) - 10:30, 21 October 2019
• Termination Competition
  * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen ...ompetitionSummary.seam?comp=362062 Results], [http://verify.rwth-aachen.de/giesl/competition2012.pdf Report]
  7 KB (905 words) - 10:03, 16 April 2024
• WST2013
  * [http://verify.rwth-aachen.de/giesl/ Jürgen Giesl] (RWTH Aachen)
  5 KB (703 words) - 11:58, 26 August 2013
• Termination Competition 2024
  * Jürgen Giesl, RWTH Aachen
  6 KB (886 words) - 15:59, 15 April 2024
• Termination Competition 2014
  * Jürgen Giesl, RWTH Aachen, Germany
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2017
  * Jürgen Giesl, RWTH Aachen, Germany
  7 KB (962 words) - 08:48, 11 June 2018
• Termination Competition 2023
  * Jürgen Giesl, RWTH Aachen
  6 KB (954 words) - 08:32, 12 September 2023

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