File list
From Termination-Portal.org
Jump to navigationJump to searchThis special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 16:05, 13 March 2026 | Pic WST 1993 annotated.pdf (file) |  |
3.01 MB | Hofbauer | Picture of WST 1993 participants, provided by Ursula Martin, annotated | 1 |
| 16:03, 13 March 2026 | Pic WST 1993.pdf (file) | |
2.72 MB | Hofbauer | Picture of WST 1993 participants provided by Ursula Martin | 1 |
| 15:56, 13 March 2026 | Picture WST 1993.jpg (file) | Error creating thumbnail: /bin/bash: /usr/bin/convert: No such file or directory
Error code: 127 |
2.71 MB | Hofbauer | Picture of participants | 1 |
| 15:40, 13 March 2026 | Prog WST 1993.pdf (file) | |
363 KB | Hofbauer | Program (provided by Pierre Lescanne 2025) of WST 1993 including a list of participants | 1 |
| 15:30, 13 March 2026 | Abstr WST 1995 programme.pdf (file) | |
7.8 MB | Hofbauer | Programme appended at the end | 1 |
| 15:13, 13 March 2026 | Abstr WST 1995.pdf (file) | |
7.8 MB | Hofbauer | 2 | |
| 09:30, 13 March 2026 | Abstr WST 1997.pdf (file) | |
8.56 MB | Hofbauer | Extended Abstracts of WST 1997 | 1 |
| 09:28, 13 March 2026 | Abstr WST 1999.pdf (file) | |
1.35 MB | Hofbauer | Abstracts of WST 1999 | 1 |
| 09:28, 13 March 2026 | Abstr WST 2001.pdf (file) | |
13.62 MB | Hofbauer | Extended Abstracts of WST 2001 | 1 |
| 09:26, 13 March 2026 | Proc WST 2003.pdf (file) | |
2.68 MB | Hofbauer | Proceedings of WST 2003 | 1 |
| 09:26, 13 March 2026 | Proc WST 2004.pdf (file) | |
710 KB | Hofbauer | Proceedings of WST 2004 | 1 |
| 09:26, 13 March 2026 | Proc WST 2006.pdf (file) | |
1.16 MB | Hofbauer | Proceedings of WST 2006 | 1 |
| 09:25, 13 March 2026 | Proc WST 2007.pdf (file) | |
3.3 MB | Hofbauer | Proceedings of WST 2007 | 1 |
| 09:25, 13 March 2026 | Proc WST 2009.pdf (file) | |
1.7 MB | Hofbauer | Proceedings of WST 2009 | 1 |
| 09:25, 13 March 2026 | Proc WST 2010.pdf (file) | |
2.31 MB | Hofbauer | Proceedings of WST 2010 | 1 |
| 09:23, 13 March 2026 | Proc WST 2012.pdf (file) | |
1.17 MB | Hofbauer | Proceedings of WST 2012 | 1 |
| 09:23, 13 March 2026 | Proc WST 2013.pdf (file) | |
1.92 MB | Hofbauer | Proceedings of WST 2013 | 1 |
| 09:23, 13 March 2026 | Proc WST 2014.pdf (file) | |
2.03 MB | Hofbauer | Proceedings of WST 2014 | 1 |
| 09:22, 13 March 2026 | Proc WST 2016.pdf (file) | |
1.48 MB | Hofbauer | Proceedings of WST 2016 | 1 |
| 09:22, 13 March 2026 | Proc WST 2018.pdf (file) | |
2.44 MB | Hofbauer | Proceedings of WST 2018 | 1 |
| 09:22, 13 March 2026 | Proc WST 2021.pdf (file) | |
1.83 MB | Hofbauer | Proceedings of WST 2021 | 1 |
| 09:21, 13 March 2026 | Proc WST 2022.pdf (file) | |
1.54 MB | Hofbauer | Proceedings of WST 2022 | 1 |
| 09:21, 13 March 2026 | Proc WST 2023.pdf (file) | |
7.14 MB | Hofbauer | Proceedings of WST 2023 | 1 |
| 09:20, 13 March 2026 | Proc WST 2025.pdf (file) | |
7.6 MB | Hofbauer | Proceedings of WST 2025 | 1 |
| 10:29, 12 March 2026 | Test.pdf (file) | |
15.72 MB | Eleanore.meyer | Testfile for larger PDF uploads | 1 |
| 08:38, 10 September 2025 | Aprove logo new.png (file) |  |
93 KB | Eleanore.meyer | New Logo for the AProVE termination tool. | 1 |
