Search results
From Termination-Portal.org
Jump to navigationJump to search
- |email=swiderski@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/swiderski/591 bytes (89 words) - 07:29, 31 March 2008
- |email=emmes@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/emmes/595 bytes (90 words) - 15:54, 15 July 2009
- |email=giesl@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/giesl/717 bytes (107 words) - 08:09, 10 April 2008
- |email=stroeder@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/stroeder/677 bytes (99 words) - 13:53, 11 April 2011
- |email=otto@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/otto/747 bytes (110 words) - 07:30, 29 November 2011
- |email=brockschmidt@informatik.rwth-aachen.de |homepage=http://verify.rwth-aachen.de/brockschmidt/614 bytes (90 words) - 14:34, 11 April 2011
- |homepage=http://aprove.informatik.rwth-aachen.de |university=RWTH Aachen904 bytes (127 words) - 20:25, 25 May 2014
- * [https://ffrohn.github.io Florian Frohn] (Chair), RWTH Aachen * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen7 KB (905 words) - 10:03, 16 April 2024
- * Florian Frohn (Chair and Organizer), RWTH Aachen * Jürgen Giesl, RWTH Aachen6 KB (886 words) - 15:59, 15 April 2024
- * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen6 KB (954 words) - 08:32, 12 September 2023
- |homepage=http://verify.rwth-aachen.de/emmes/Oops/Oops-0.0.1.tar.gz |university=RWTH Aachen2 KB (398 words) - 15:27, 22 February 2011
- * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen * [http://cl-informatik.uibk.ac.at/users/georg/ Georg Moser], University of Innsbruck3 KB (403 words) - 10:30, 21 October 2019
- * Florian Frohn, RWTH Aachen * Jürgen Giesl, RWTH Aachen8 KB (1,232 words) - 14:09, 7 November 2022
- * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck7 KB (1,024 words) - 06:44, 14 July 2021
- * Jürgen Giesl, RWTH Aachen * Georg Moser, University of Innsbruck7 KB (999 words) - 09:55, 3 July 2020
- ...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
- * 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
- * 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
- * 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
- * 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
- * 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,056 words) - 21:06, 5 September 2016
- August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]),11 KB (1,420 words) - 17:02, 17 August 2023
- * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.9 KB (1,240 words) - 11:55, 6 August 2015
