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