User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:30, 30 March 2008 diff hist +4 Bibtex:SGST06
- 14:29, 30 March 2008 diff hist +2 Bibtex:Ohlebusch02
- 14:29, 30 March 2008 diff hist +4 Bibtex:Ohlebusch01
- 14:29, 30 March 2008 diff hist +2 Bibtex:MORV05
- 14:29, 30 March 2008 diff hist +2 Bibtex:Kurth90 current
- 14:29, 30 March 2008 diff hist +2 Bibtex:Drosten89 current
- 14:29, 30 March 2008 diff hist +2 Bibtex:Buendgen98 current
- 14:29, 30 March 2008 diff hist +4 Template:AddReference
- 13:48, 30 March 2008 diff hist +110 News:Termination Portal Online
- 13:45, 30 March 2008 diff hist +27 N Tools:Tool Name Tools:Tool Name moved to Tools:Rainbow current
- 13:45, 30 March 2008 diff hist 0 m Tools:Rainbow Tools:Tool Name moved to Tools:Rainbow
- 13:42, 30 March 2008 diff hist 0 m People:Frederic Blanqui People:Firstname Lastname moved to People:Frederic Blanqui
- 21:30, 29 March 2008 diff hist -2 Bibtex:Ohlebusch01
- 19:04, 29 March 2008 diff hist -136 Termination Portal
- 19:04, 29 March 2008 diff hist +9 Termination Portal
- 19:03, 29 March 2008 diff hist +1,049 N MediaWiki:Common.css New page: →CSS placed here will be applied to all skins: →wikitable/prettytable class for skinning normal tables: table.wikitable, table.prettytable { margin: 1em 1em 1em 0; backgrou... current
- 19:00, 29 March 2008 diff hist -362 Termination Portal
- 18:57, 29 March 2008 diff hist -13 Termination Portal
- 18:57, 29 March 2008 diff hist +375 Termination Portal
- 18:56, 29 March 2008 diff hist -446 Termination Portal
- 18:55, 29 March 2008 diff hist +149 Termination Portal
- 18:46, 29 March 2008 diff hist +433 Termination Portal
- 18:40, 29 March 2008 diff hist +93 Termination Portal
- 18:35, 29 March 2008 diff hist -2 Template:AddNews
- 18:34, 29 March 2008 diff hist -19 Template:News
- 18:33, 29 March 2008 diff hist +353 Template:AddNews
- 18:27, 29 March 2008 diff hist +229 Termination Portal
- 18:24, 29 March 2008 diff hist +6 Bibtex:SGST06
- 18:24, 29 March 2008 diff hist +15 Template:AddReference
- 18:03, 29 March 2008 diff hist +9 m People:Jürgen Giesl Reverted edits by Admin (Talk); changed back to last version by Nowonder
- 18:02, 29 March 2008 diff hist -9 People:Jürgen Giesl
- 17:35, 29 March 2008 diff hist -777 Termination Portal →News
- 17:34, 29 March 2008 diff hist +80 Template:AddReference
- 17:34, 29 March 2008 diff hist +79 Bibtex:SGST06
- 17:32, 29 March 2008 diff hist +26 Termination Portal →Recent News
- 17:14, 29 March 2008 diff hist +122 Termination Portal →News
- 17:11, 29 March 2008 diff hist +518 N Bibtex:SGST06 New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @inproceedings{LOPSTR06, AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann}, TITLE =...
- 17:10, 29 March 2008 diff hist -166 Template:AddReference
- 17:04, 29 March 2008 diff hist +9 Tools:AProVE
- 17:04, 29 March 2008 diff hist +9 Template:AddTool
- 16:57, 29 March 2008 diff hist +19 Termination Portal
- 16:57, 29 March 2008 diff hist +34 Termination Portal
- 16:55, 29 March 2008 diff hist +5 Template:AddTool
- 16:55, 29 March 2008 diff hist +401 N Template:AddReference New page: <includeonly> <!-- Please fill in the data so that the reference can be added to some default categories and a simple BibTeX page can be created. You may extend that B...
- 16:53, 29 March 2008 diff hist 0 Template:AddTool
- 16:52, 29 March 2008 diff hist +422 Termination Portal
- 16:52, 29 March 2008 diff hist +325 N Category:Bibtex New page: Below is a list of references for publications on termination analysis and related areas. To make this list more useful, please consider adding useful references: <createarticle> type=cr... current
- 16:49, 29 March 2008 diff hist -133 Termination Portal →News
- 16:30, 29 March 2008 diff hist -28 Termination Portal →Welcome to the World of Termination
- 16:30, 29 March 2008 diff hist -1 Termination Portal →Welcome to the World of Termination
- 16:30, 29 March 2008 diff hist +83 Termination Portal →Welcome to the World of Termination
- 16:27, 29 March 2008 diff hist 0 MediaWiki:Sidebar
- 16:14, 29 March 2008 diff hist +30 MediaWiki:Sidebar
- 14:02, 29 March 2008 diff hist +1,222 N WST New page: The International Workshop on Termination (WST) has been held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle ...
- 13:53, 29 March 2008 diff hist +12 Termination Portal
- 13:52, 29 March 2008 diff hist +438 Termination Portal
- 13:46, 29 March 2008 diff hist +1 m Termination Portal →Welcome
- 13:46, 29 March 2008 diff hist +35 Termination Portal
- 13:44, 29 March 2008 diff hist +323 N Termtools New page: The [mailto:termtools@lists.lri.fr Termtools mailing list] has been installed to facilitate discussion about termination tools in general and the [[Termination Competit...
- 13:41, 29 March 2008 diff hist +39 MediaWiki:Sidebar
- 13:40, 29 March 2008 diff hist +12 MediaWiki:Sidebar
- 13:39, 29 March 2008 diff hist +9 Home Redirecting to Termination Portal current
- 13:38, 29 March 2008 diff hist 0 m Termination Portal Main Page moved to Termination Portal
- 13:38, 29 March 2008 diff hist +32 N Main Page Main Page moved to Termination Portal current
- 13:38, 29 March 2008 diff hist -9 Termination Portal
- 13:37, 29 March 2008 diff hist +3 Termination Portal
- 13:36, 29 March 2008 diff hist 0 m Termination Competition Competition moved to Termination Competition
- 13:35, 29 March 2008 diff hist +1,299 N Termination Competition New page: = Annual International Termination Competition = During the 90's a number of new, powerful termination methods was developed. Thus, at the the beginning of the millenium many research gro...
- 13:22, 29 March 2008 diff hist +9 MediaWiki:Sidebar
- 13:22, 29 March 2008 diff hist -8 MediaWiki:Sidebar
- 13:09, 29 March 2008 diff hist +24 Tools:AProVE
- 13:09, 29 March 2008 diff hist +38 People:Carsten Fuhs
- 13:08, 29 March 2008 diff hist +8 Template:AddPerson current
- 13:08, 29 March 2008 diff hist +617 N People:Carsten Fuhs New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...
- 12:55, 29 March 2008 diff hist +23 N Home Redirecting to Main Page
- 12:54, 29 March 2008 diff hist -8 MediaWiki:Sidebar
- 12:52, 29 March 2008 diff hist -194 MediaWiki:Sidebar
- 12:52, 29 March 2008 diff hist +9 MediaWiki:Sidebar
- 12:50, 29 March 2008 diff hist +175 N Category:News New page: Add a news entry: <createarticle> type=createarticle prefix=News: preload=Template:AddNews default=News Caption buttonlabel=Create News Entry align=left </createarticle>
- 12:48, 29 March 2008 diff hist -1 Tools:AProVE
- 12:47, 29 March 2008 diff hist +207 Template:Tool
- 12:45, 29 March 2008 diff hist +1 Tools:AProVE
- 12:45, 29 March 2008 diff hist +1 Template:AddTool
- 12:42, 29 March 2008 diff hist +21 Tools:AProVE
- 12:42, 29 March 2008 diff hist +7 Tools:AProVE
- 12:41, 29 March 2008 diff hist -1 Template:Tool →{{{shortname}}} ({{{longname}}})
- 12:41, 29 March 2008 diff hist +143 N Template:Tool New page: = {{{shortname}}} ({{{longname}}}) = * developed at {{{university}}}, {{{country}}} * home page: {{{homepage}}} * developer(s): {{{developer}}}
- 12:39, 29 March 2008 diff hist +580 N Tools:AProVE New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...
- 12:38, 29 March 2008 diff hist -2 Template:AddTool
- 12:37, 29 March 2008 diff hist -1 Category:Tools current
- 12:37, 29 March 2008 diff hist 0 Category:Tools
- 12:37, 29 March 2008 diff hist 0 Category:Tools
- 12:36, 29 March 2008 diff hist +427 N Template:AddTool New page: <includeonly> <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page you...
- 12:35, 29 March 2008 diff hist +285 N Category:Tools New page: The following list gives an (incomplete) overview over existing tools for termination analysis. Add a (termination) tool entry! <createarticle> type=createarticle prefix=Tools: preload...
- 12:33, 29 March 2008 diff hist +31 MediaWiki:Sidebar
- 12:19, 29 March 2008 diff hist -3 Template:Person
- 12:18, 29 March 2008 diff hist +42 Template:Person
- 12:17, 29 March 2008 diff hist +69 People:Carsten Otto
- 12:16, 29 March 2008 diff hist +37 People:Peter Schneider-Kamp
- 12:14, 29 March 2008 diff hist +17 Template:Person