File list
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
12:44, 23 November 2016 | Vmcai2017.pdf (file) | 163 KB | 1 | ||
20:09, 28 April 2013 | Vmcai07.pdf (file) | 220 KB | 1 | ||
10:05, 28 January 2020 | Tacas2019.pdf (file) | 177 KB | 1 | ||
10:10, 2 February 2018 | Tacas2018.pdf (file) | 1.98 MB | 1 | ||
19:18, 28 April 2013 | Tacas13.pdf (file) | 221 KB | 1 | ||
19:38, 28 April 2013 | Tacas12.pdf (file) | 374 KB | 1 | ||
19:51, 28 April 2013 | Tacas09.pdf (file) | 249 KB | 1 | ||
20:19, 28 April 2013 | Tacas06.pdf (file) | 273 KB | 1 | ||
10:16, 28 January 2020 | Tableaux2019.pdf (file) | 186 KB | 1 | ||
18:41, 28 April 2013 | Sttt.pdf (file) | 26.34 MB | 1 | ||
12:49, 7 December 2018 | StaigerWagnerWeakParityGames.pdf (file) | 185 KB | 3 | ||
15:17, 4 October 2023 | Stages-m2-pavedys.pdf (file) | 60 KB | 3 | ||
20:36, 28 April 2013 | Spin02.pdf (file) | 15.56 MB | 1 | ||
19:15, 23 January 2021 | SeparationLogicEntailmentChecking.pdf (file) | 98 KB | 2 | ||
17:13, 19 May 2021 | SepLogDataPhD.pdf (file) | 100 KB | 1 | ||
13:13, 26 May 2023 | SelfAdaptingLogicsPhd.pdf (file) | 59 KB | 1 | ||
17:57, 6 March 2021 | Schutzenberger.pdf (file) | 125 KB | 1 | ||
20:26, 28 April 2013 | Sas04.pdf (file) | 17.15 MB | 1 | ||
18:30, 28 April 2013 | Redblackjournal09.pdf (file) | 439 KB | 1 | ||
12:44, 10 May 2021 | Reconfiguration.pdf (file) | 62 KB | 1 | ||
12:48, 1 December 2018 | ReachabilityBuchiGames.pdf (file) | 322 KB | 1 | ||
17:03, 20 March 2021 | Ramseyan.pdf (file) | 80 KB | 1 | ||
20:48, 28 April 2013 | Radu.jpg (file) | 18 KB | 1 | ||
18:28, 28 April 2013 | Qsl-jar.pdf (file) | 228 KB | 1 | ||
15:51, 8 September 2022 | Photo on 08-09-2022 at 15.38.jpg (file) | 13 KB | 5 | ||
08:45, 31 May 2021 | PhDProposal2021.pdf (file) | 157 KB | 1 | ||
20:32, 28 April 2013 | Pepm04.pdf (file) | 20.15 MB | 1 | ||
12:50, 7 December 2018 | ParityGames.pdf (file) | 112 KB | 1 | ||
10:14, 12 September 2022 | Paper.pdf (file) | 786 KB | 2 | ||
14:34, 5 February 2013 | Ocaml-nts.tar.gz (file) | 4.53 MB | 3 | ||
17:06, 28 April 2013 | Newspapers-stacked.jpg (file) | 7 KB | 2 | ||
14:39, 25 November 2019 | New.jpg (file) | 2 KB | 1 | ||
15:18, 28 March 2021 | Mona.zip (file) | 1,006 bytes | 5 | ||
16:04, 21 October 2018 | Mcnaughton.pdf (file) | 1.13 MB | 1 | ||
18:44, 27 October 2023 | MSOBTW.pdf (file) | 70 KB | 1 | ||
10:10, 28 January 2020 | Lpar2018.pdf (file) | 266 KB | 1 | ||
20:06, 28 April 2013 | Lpar08.pdf (file) | 262 KB | 1 | ||
19:24, 23 April 2021 | Lords.pdf (file) | 77 KB | 1 | ||
16:52, 24 April 2022 | Lecture8.pdf (file) | 446 KB | 5 | ||
17:45, 10 April 2022 | Lecture7.pdf (file) | 559 KB | 4 | ||
16:34, 21 April 2024 | Lecture6.pdf (file) | 119 KB | 4 | ||
10:33, 13 April 2024 | Lecture5.pdf (file) | 125 KB | 4 | ||
10:52, 4 April 2024 | Lecture4.pdf (file) | 179 KB | 6 | ||
16:19, 30 March 2024 | Lecture3.pdf (file) | 136 KB | 9 | ||
15:01, 23 March 2024 | Lecture2.pdf (file) | 159 KB | 15 | ||
11:48, 7 March 2024 | Lecture1.pdf (file) | 135 KB | 6 | ||
17:46, 13 March 2023 | LORESAN-Schmid.pdf (file) | 66 KB | 1 | ||
10:33, 15 March 2023 | LORESAN-KW.pdf (file) | 78 KB | 1 | ||
17:44, 13 March 2023 | LORESAN-JS.pdf (file) | 123 KB | 1 | ||
18:57, 28 April 2013 | JSS.pdf (file) | 296 KB | 1 |
First page |
Previous page |
Next page |
Last page |