Search results

• People:Stephan Swiderski
  |email=swiderski@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/swiderski/
  591 bytes (89 words) - 07:29, 31 March 2008
• People:Fabian Emmes
  |email=emmes@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/emmes/
  595 bytes (90 words) - 15:54, 15 July 2009
• People:Jürgen Giesl
  |email=giesl@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/giesl/
  717 bytes (107 words) - 08:09, 10 April 2008
• People:Thomas Ströder
  |email=stroeder@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/stroeder/
  677 bytes (99 words) - 13:53, 11 April 2011
• People:Carsten Otto
  |email=otto@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/otto/
  747 bytes (110 words) - 07:30, 29 November 2011
• People:Marc Brockschmidt
  |email=brockschmidt@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/brockschmidt/
  614 bytes (90 words) - 14:34, 11 April 2011
• Tools:AProVE
  |homepage=http://aprove.informatik.rwth-aachen.de |university=RWTH Aachen
  904 bytes (127 words) - 20:25, 25 May 2014
• Termination Competition
  * [https://ffrohn.github.io Florian Frohn] (Chair), RWTH Aachen * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen
  7 KB (905 words) - 10:03, 16 April 2024
• Termination Competition 2024
  * Florian Frohn (Chair and Organizer), RWTH Aachen * Jürgen Giesl, RWTH Aachen
  6 KB (886 words) - 15:59, 15 April 2024
• Termination Competition 2023
  * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen
  6 KB (954 words) - 08:32, 12 September 2023
• Tools:Oops
  |homepage=http://verify.rwth-aachen.de/emmes/Oops/Oops-0.0.1.tar.gz |university=RWTH Aachen
  2 KB (398 words) - 15:27, 22 February 2011
• Termination Competition Steering Committee
  * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen * [http://cl-informatik.uibk.ac.at/users/georg/ Georg Moser], University of Innsbruck
  3 KB (403 words) - 10:30, 21 October 2019
• Termination Competition 2022
  * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen
  8 KB (1,232 words) - 14:09, 7 November 2022
• Termination Competition 2021
  * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck
  7 KB (1,024 words) - 06:44, 14 July 2021
• Termination Competition 2020
  * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck
  7 KB (999 words) - 09:55, 3 July 2020
• WST2013
  ...yron Cook] is Principal Researcher at Microsoft Research, and Professor at University College London. Byron has worked in the past on Haskell, hardware modelling * [http://verify.rwth-aachen.de/giesl/ Jürgen Giesl] (RWTH Aachen)
  5 KB (703 words) - 11:58, 26 August 2013
• Termination Competition 2014
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2017
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  7 KB (962 words) - 08:48, 11 June 2018
• Termination Competition 2018
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  7 KB (1,049 words) - 09:55, 12 June 2020
• Termination Competition 2019
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  7 KB (1,068 words) - 09:25, 12 June 2020

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