Search results

• WScT08
  * location: Leipzig, Germany * local organizer: Johannes Waldmann, HTWK Leipzig
  512 bytes (58 words) - 13:36, 2 June 2008
• WScT08-Arrangements
  http://www.da-vito-leipzig.de/anfahrt.htm Ristorante da Vito HTWK, Fachbereich IMN, Gustav-Freytag-Straße 42a, 04275 Leipzig
  2 KB (312 words) - 13:34, 2 June 2008
• 20th International Workshop on Termination
  ...-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] is the local organizer.
  221 bytes (31 words) - 17:47, 31 January 2024
• Bibtex:Oppelt08
  school="HTWK Leipzig", note="\url{http://dfa.imn.htwk-leipzig.de/nonloop/DA_MARTIN_OPPELT/}"
  538 bytes (70 words) - 05:35, 20 May 2009
• People:Johannes Waldmann
  |homepage=http://www.imn.htwk-leipzig.de/~waldmann/ |university=HTWK Leipzig
  580 bytes (88 words) - 13:13, 31 March 2008
• Tools:Nonloop
  |homepage=http://dfa.imn.htwk-leipzig.de/nonloop/ |university=HTWK Leipzig
  653 bytes (97 words) - 05:37, 20 May 2009
• Tools:Matchbox
  |university=HTWK Leipzig
  598 bytes (92 words) - 07:41, 5 June 2014
• Star Exec Presenter
  ...sented on a separate platform that is currently under construction at HTWK Leipzig.
  507 bytes (76 words) - 19:37, 25 February 2014
• Termination Competition 2014
  ...comp-2014/competition/20] . Demonstration results at [http://nfa.imn.htwk-leipzig.de/termcomp-2014/competition/23]. [[Termination Competition 2014 Questionna * Johannes Waldmann, HTWK Leipzig, Germany
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2017
  * competition https://termcomp.imn.htwk-leipzig.de/competitions/Y2017 * demonstration https://termcomp.imn.htwk-leipzig.de/competitions/67
  7 KB (962 words) - 08:48, 11 June 2018
• Termination Competition 2018
  * Johannes Waldmann, HTWK Leipzig, Germany * Johannes Waldmann, HTWK Leipzig, Germany (advisory)
  7 KB (1,049 words) - 09:55, 12 June 2020
• Termination and Complexity Competition 2016
  * Johannes Waldmann, HTWK Leipzig, Germany * Johannes Waldmann, HTWK Leipzig, Germany (StarExec)
  7 KB (1,056 words) - 21:06, 5 September 2016
• WST2013
  ...pzig.de/fakultaet/professoren/visitenkarten/prof-geser Alfons Geser] (HTWK Leipzig) * [mailto:waldmann@fbimn.htwk-leipzig.de Johannes Waldmann] (HTWK Leipzig) (chair)
  5 KB (703 words) - 11:58, 26 August 2013
• Termination Competition 2015
  * [http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/4 Competition Categories] (at least two parti * [http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/5 Demonstration Categories] (one participant
  9 KB (1,240 words) - 11:55, 6 August 2015
• Termination Competition 2014 technical details
  ...he termination competition, we are building a separate web service at HTWK Leipzig.
  3 KB (389 words) - 17:43, 3 June 2014
• Termination Competition 2019
  * Johannes Waldmann, HTWK Leipzig, Germany ...efanvonderkrone/star-exec-presenter star-exec-presenter] developed at HTWK Leipzig).
  7 KB (1,068 words) - 09:25, 12 June 2020
• Termination Competition 2024
  ...efanvonderkrone/star-exec-presenter star-exec-presenter] developed at HTWK Leipzig).
  6 KB (886 words) - 15:59, 15 April 2024
• Termination Competition 2023
  ...efanvonderkrone/star-exec-presenter star-exec-presenter] developed at HTWK Leipzig).
  6 KB (954 words) - 08:32, 12 September 2023
• Termination Competition 2020
  ...efanvonderkrone/star-exec-presenter star-exec-presenter] developed at HTWK Leipzig).
  7 KB (999 words) - 09:55, 3 July 2020
• 19th International Workshop on Termination
  Leipzig ([http://www.imn.htwk-leipzig.de/~waldmann/wst09/cfp/WST09_cfp.pdf 2009]), Bertinoro ([http://www.imn.htwk-leipzig.de/WST2013/ 2013]),
  11 KB (1,420 words) - 17:02, 17 August 2023

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