http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=MkorpTermination-Portal.org - User contributions [en]2026-04-16T19:10:28ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:TTT2&diff=669Tools:TTT22008-11-05T08:06:49Z<p>Mkorp: </p>
<hr />
<div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
--><br />
<br />
{{Tool<br />
|shortname= TTT2<br />
|longname= Tyrolean Termination Tool 2<br />
|homepage= http://colo6-c703.uibk.ac.at/ttt2<br />
|country= Austria<br />
|university= Innsbruck<br />
|developers= [[People:Martin Korp|Martin Korp]], [[People:Christian Sternagel|Christian Sternagel]], [[People:Harald Zankl|Harald Zankl]], and [[People:Aart Middeldorp|Aart Middeldorp]]<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Mkorphttp://termination-portal.org/mediawiki/index.php?title=Tools:TTT2&diff=668Tools:TTT22008-11-05T08:06:23Z<p>Mkorp: </p>
<hr />
<div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
--><br />
<br />
{{Tool<br />
|shortname= TTT2<br />
|longname= Tyrolean Termination Tool 2<br />
|homepage= http://colo6-c703.uibk.ac.at/ttt2<br />
|country= Austria<br />
|university= Innsbruck<br />
|developers= [[People:Martin Korp|Martin Korp]], [[People:Christian Sternagel|Christian Sternagel]], [[People:Harald Zankl|Harald Zankl]], and Aart Middeldorp<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Mkorphttp://termination-portal.org/mediawiki/index.php?title=Tools:CaT&diff=666Tools:CaT2008-11-05T07:57:52Z<p>Mkorp: New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...</p>
<hr />
<div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
--><br />
<br />
{{Tool<br />
|shortname=CaT<br />
|longname=Complexity and Termination<br />
|homepage=http://cl-informatik.uibk.ac.at/software/cat/<br />
|country=Austria<br />
|university=University of Innsbruck<br />
|developers=Martin Korp, Christian Sternagel and Harald Zankl<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Mkorphttp://termination-portal.org/mediawiki/index.php?title=People:Martin_Korp&diff=340People:Martin Korp2008-04-09T07:40:48Z<p>Mkorp: 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...</p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname=Martin<br />
|middlenames=<br />
|lastname=Korp<br />
|titles=DI<br />
|email=Martin.Korp@uibk.ac.at<br />
|homepage=http://cl-informatik.uibk.ac.at/~mkorp/<br />
|country=Austria<br />
|university=University of Innsbruck<br />
|department=Computer Science<br />
|role=PhD Student <!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Mkorp