Jump to content

User contributions for Fuhs

Results for Fuhs talk block log uploads logs

A user with 48 edits. Account created on 29 March 2008.

13:3113:31, 4 July 2025 diff hist +197 Termination Competition 2025 Dates for TermComp 2025, taken from https://lists.rwth-aachen.de/archives/list/termtools@lists.rwth-aachen.de/thread/FAA6ENEMMX5ANNGUOLXRKGCMFFJ7PV37/
13:1513:15, 4 July 2025 diff hist +1 Termination Competition Added upcoming TermComp 2025

17:2417:24, 3 February 2023 diff hist +2 People:Carsten Fuhs updated e-mail address and role current

09:2209:22, 13 November 2017 diff hist +184 WST WST 2018

12:2712:27, 20 August 2017 diff hist +255 Nm User talk:Epayet Welcome! current

22:2322:23, 10 July 2015 diff hist +14 m Termination Competition →Annual International Termination Competition
22:2122:21, 10 July 2015 diff hist +143 Termination Competition update categories for TermComp 2015
22:1422:14, 10 July 2015 diff hist +11 Termination Competition link to wiki page for C programs
22:1222:12, 10 July 2015 diff hist +14 Termination Competition record TermComp state of 2014
22:0222:02, 10 July 2015 diff hist +22 People:Carsten Fuhs now lecturer at Birkbeck

07:5507:55, 29 July 2014 diff hist +36 Bibtex:AProVE14 Updated bibtex for AProVE System Description current

20:2520:25, 25 May 2014 diff hist −13 Tools:AProVE reference current system description for AProVE at IJCAR 2014
20:2220:22, 25 May 2014 diff hist +5 m Bibtex:AProVE14 →BibTex
20:1720:17, 25 May 2014 diff hist +1,008 N Bibtex:AProVE14 reference to current system description for AProVE

11:1911:19, 7 March 2014 diff hist 0 m TPDB TPDB 8.0.6 was already available in 2012, see also http://termcomp.uibk.ac.at/2012/rules.html

14:1814:18, 4 March 2014 diff hist +252 Nm User talk:Ffrohn Welcome! current

16:5016:50, 28 February 2014 diff hist +64 WST link to WST 2014, dates, location

12:0812:08, 8 September 2013 diff hist +14 m People:Carsten Fuhs postdoc

12:1612:16, 28 June 2012 diff hist −4 m Termination Competition 2012 Comments verb tense
12:1412:14, 28 June 2012 diff hist +190 Termination Competition 2012 Comments Huge proofs generated already in 2010

20:3820:38, 6 March 2012 diff hist +3 People:Carsten Fuhs C. Fuhs has moved to University College London

21:3721:37, 7 November 2011 diff hist +229 Nm User talk:Hezzel Welcome! current

19:4019:40, 21 September 2011 diff hist +1 m Termination Portal Grammar

20:0520:05, 11 May 2011 diff hist −10 Termination Competition Higher order termination joined the competition in 2010

00:1300:13, 15 February 2011 diff hist +34 TPDB mention version 8.* of TPDB

10:2110:21, 30 December 2009 diff hist +231 Nm User talk:Schernhammer Welcome! current

17:3417:34, 27 October 2009 diff hist 0 Tools:Rainbow Updated homepage (http://color.loria.fr has been a deadlink for a while now)

21:4221:42, 13 May 2009 diff hist +8 m TPDB Version 5 was also used in the competition of Nov 2008
20:5920:59, 13 May 2009 diff hist +31 Tools:AProVE set reference to the more recent IJCAR'06 paper
20:5520:55, 13 May 2009 diff hist +658 N Bibtex:GST06 added IJCAR'06 paper on AProVE current
20:5020:50, 13 May 2009 diff hist +38 Tools:AProVE added developer Fabian Emmes
13:4613:46, 13 May 2009 diff hist +226 Nm User talk:Nguyen Welcome! current

09:5009:50, 24 April 2009 diff hist +228 Nm User talk:UlrichSG Welcome! current

21:1621:16, 25 November 2008 diff hist +5 WScT Update of previous events

16:0216:02, 9 July 2008 diff hist +226 Nm User talk:Pons Welcome! current

18:2218:22, 15 May 2008 diff hist −14 m WScT08 →Registration

14:4714:47, 7 May 2008 diff hist +225 Nm User talk:Urbain Welcome! current
14:4514:45, 7 May 2008 diff hist +225 Nm User talk:Contejea Welcome! current

13:2913:29, 15 April 2008 diff hist +30 WScT08 →Registration/Program

19:3619:36, 9 April 2008 diff hist +1 m Termination Competition typo

09:4809:48, 7 April 2008 diff hist +60 What domain name? vote current

19:2019:20, 31 March 2008 diff hist +29 m Tools:AProVE added link to Stephan Swiderski
19:1519:15, 31 March 2008 diff hist +1 m People:Stephan Falke added missing brace
13:5213:52, 31 March 2008 diff hist +1 m What domain name? typo
13:0913:09, 31 March 2008 diff hist +298 What domain name? added proposal termination.at
09:0909:09, 31 March 2008 diff hist +777 N Bibtex:FGMSTZ07 SAT'07 paper on SAT solving for finding polynomial interpretations (without and with negative constants)
09:0409:04, 31 March 2008 diff hist +1 m Bibtex:SGST06 L Note/s/ in CS
08:5308:53, 31 March 2008 diff hist 0 m Bibtex:MORV05 fixed typo in title current

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/Fuhs"