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