File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Previous page
Last page
Date Name Thumbnail Size Description Versions
10:08, 29 May 2024 Phd-pavedys.pdf (file) 61 KB   1
10:40, 22 May 2024 NondeterministicTreeAutomata.pdf (file) 466 KB   1
10:40, 22 May 2024 MemorylessDeterminacyParityGames.pdf (file) 380 KB   1
10:35, 22 May 2024 Lecture8.pdf (file) 451 KB   6
17:46, 12 May 2024 InfiniteGames.pdf (file) 386 KB   1
17:41, 12 May 2024 Lecture7.pdf (file) 559 KB   5
15:34, 21 April 2024 Lecture6.pdf (file) 119 KB   4
09:33, 13 April 2024 Lecture5.pdf (file) 125 KB   4
09:52, 4 April 2024 Lecture4.pdf (file) 179 KB   6
15:19, 30 March 2024 Lecture3.pdf (file) 136 KB   9
14:01, 23 March 2024 Lecture2.pdf (file) 159 KB   15
10:48, 7 March 2024 Lecture1.pdf (file) 135 KB   6
17:44, 27 October 2023 MSOBTW.pdf (file) 70 KB   1
14:17, 4 October 2023 Stages-m2-pavedys.pdf (file) 60 KB   3
12:13, 26 May 2023 SelfAdaptingLogicsPhd.pdf (file) 59 KB   1
09:33, 15 March 2023 LORESAN-KW.pdf (file) 78 KB   1
16:46, 13 March 2023 LORESAN-Schmid.pdf (file) 66 KB   1
16:44, 13 March 2023 LORESAN-JS.pdf (file) 123 KB   1
09:14, 12 September 2022 Paper.pdf (file) 786 KB   2
14:51, 8 September 2022 Photo on 08-09-2022 at 15.38.jpg (file) 13 KB   5
11:01, 28 February 2022 Facs21.pdf (file) 528 KB   1
14:37, 28 July 2021 CADE 2021 final version.pdf (file) 248 KB   1
14:35, 28 July 2021 IPL.pdf (file) 150 KB   1
07:45, 31 May 2021 PhDProposal2021.pdf (file) 157 KB   1
16:13, 19 May 2021 SepLogDataPhD.pdf (file) 100 KB   1
11:44, 10 May 2021 Reconfiguration.pdf (file) 62 KB   1
18:24, 23 April 2021 Lords.pdf (file) 77 KB   1
19:49, 18 April 2021 Dr2-audition.pdf (file) 324 KB   10
14:34, 11 April 2021 Goal.zip (file) 3 KB   4
14:18, 28 March 2021 Mona.zip (file) 1,006 bytes   5
16:03, 20 March 2021 Ramseyan.pdf (file) 80 KB   1
16:57, 6 March 2021 Schutzenberger.pdf (file) 125 KB   1
18:15, 23 January 2021 SeparationLogicEntailmentChecking.pdf (file) 98 KB   2
18:14, 23 January 2021 InfiniteAlphabetAutomata.pdf (file) 68 KB   4
18:13, 23 January 2021 ArchitectureSeparationLogic.pdf (file) 96 KB   1
10:39, 29 December 2020 Csl2021.pdf (file) 559 KB   1
09:32, 28 January 2020 Cav2019.pdf (file) 179 KB   1
09:31, 28 January 2020 Fossacs2019.pdf (file) 260 KB   1
09:16, 28 January 2020 Tableaux2019.pdf (file) 186 KB   1
09:10, 28 January 2020 Lpar2018.pdf (file) 266 KB   1
09:05, 28 January 2020 Tacas2019.pdf (file) 177 KB   1
13:39, 25 November 2019 New.jpg (file) 2 KB   1
12:49, 7 February 2019 Cav19b.tar.gz (file) 173 bytes   1
17:26, 6 February 2019 Cav19.tar.gz (file) 11 KB   2
12:41, 9 December 2018 Games.zip (file) 3 KB   1
11:51, 7 December 2018 GamesTreeAutomata.pdf (file) 256 KB   1
11:50, 7 December 2018 ParityGames.pdf (file) 112 KB   1
11:49, 7 December 2018 StaigerWagnerWeakParityGames.pdf (file) 185 KB   3
11:48, 1 December 2018 ReachabilityBuchiGames.pdf (file) 322 KB   1
11:11, 1 December 2018 GameTheoryTerminology.pdf (file) 209 KB   1
First page
Previous page
Last page