File list
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 17:47, 24 June 2013 | Ntslib.pdf (file) |  |
165 KB | Konecny | 2 | |
| 14:34, 5 February 2013 | Ocaml-nts.tar.gz (file) |  |
4.53 MB | Radu iosif | 3 | |
| 12:33, 4 February 2013 | Octahedron.gif (file) |  |
510 KB | Konecny | 1 | |
| 17:06, 4 February 2013 | Octahedron.png (file) |  |
20 KB | Konecny | 1 | |
| 14:30, 4 February 2013 | Octaheron.png (file) |  |
20 KB | Konecny | 1 | |
| 10:14, 12 September 2022 | Paper.pdf (file) | |
786 KB | Radu iosif | 2 | |
| 12:50, 7 December 2018 | ParityGames.pdf (file) | |
112 KB | Radu iosif | 1 | |
| 20:32, 28 April 2013 | Pepm04.pdf (file) | |
20.15 MB | Radu iosif | 1 | |
| 08:45, 31 May 2021 | PhDProposal2021.pdf (file) | |
157 KB | Radu iosif | 1 | |
| 15:51, 8 September 2022 | Photo on 08-09-2022 at 15.38.jpg (file) |  |
13 KB | Radu iosif | 5 | |
| 18:28, 28 April 2013 | Qsl-jar.pdf (file) | |
228 KB | Radu iosif | 1 | |
| 20:48, 28 April 2013 | Radu.jpg (file) |  |
18 KB | Radu iosif | 1 | |
| 17:03, 20 March 2021 | Ramseyan.pdf (file) | |
80 KB | Radu iosif | 1 | |
| 12:48, 1 December 2018 | ReachabilityBuchiGames.pdf (file) | |
322 KB | Radu iosif | 1 | |
| 12:44, 10 May 2021 | Reconfiguration.pdf (file) | |
62 KB | Radu iosif | 1 | |
| 18:30, 28 April 2013 | Redblackjournal09.pdf (file) | |
439 KB | Radu iosif | 1 | |
| 20:26, 28 April 2013 | Sas04.pdf (file) | |
17.15 MB | Radu iosif | 1 | |
| 17:57, 6 March 2021 | Schutzenberger.pdf (file) | |
125 KB | Radu iosif | 1 | |
| 13:13, 26 May 2023 | SelfAdaptingLogicsPhd.pdf (file) | |
59 KB | Radu iosif | 1 | |
| 17:13, 19 May 2021 | SepLogDataPhD.pdf (file) | |
100 KB | Radu iosif | 1 | |
| 19:15, 23 January 2021 | SeparationLogicEntailmentChecking.pdf (file) | |
98 KB | Radu iosif | 2 | |
| 18:15, 2 April 2013 | Sil-examples.tar.gz (file) | |
724 bytes | Konecny | 1 | |
| 18:15, 2 April 2013 | Sil.tar.gz (file) | |
642 KB | Konecny | 1 | |
| 20:36, 28 April 2013 | Spin02.pdf (file) | |
15.56 MB | Radu iosif | 1 | |
| 15:17, 4 October 2023 | Stages-m2-pavedys.pdf (file) | |
60 KB | Radu iosif | 3 | |
| 12:49, 7 December 2018 | StaigerWagnerWeakParityGames.pdf (file) | |
185 KB | Radu iosif | 3 | |
| 18:41, 28 April 2013 | Sttt.pdf (file) | |
26.34 MB | Radu iosif | 1 | |
| 10:16, 28 January 2020 | Tableaux2019.pdf (file) | |
186 KB | Radu iosif | 1 | |
| 20:19, 28 April 2013 | Tacas06.pdf (file) | |
273 KB | Radu iosif | 1 | |
| 19:51, 28 April 2013 | Tacas09.pdf (file) | |
249 KB | Radu iosif | 1 | |
| 19:38, 28 April 2013 | Tacas12.pdf (file) | |
374 KB | Radu iosif | 1 | |
| 19:18, 28 April 2013 | Tacas13.pdf (file) | |
221 KB | Radu iosif | 1 | |
| 10:10, 2 February 2018 | Tacas2018.pdf (file) | |
1.98 MB | Radu iosif | 1 | |
| 10:05, 28 January 2020 | Tacas2019.pdf (file) | |
177 KB | Radu iosif | 1 | |
| 20:09, 28 April 2013 | Vmcai07.pdf (file) | |
220 KB | Radu iosif | 1 | |
| 12:44, 23 November 2016 | Vmcai2017.pdf (file) | |
163 KB | Radu iosif | 1 |
First page |
Previous page |
Next page |
Last page |
