Help
Gallery of new files
Jump to:
navigation
,
search
This special page shows the last uploaded files.
Filter
Filename (or a part of it):
Show uploads by bots
TW2REG.pdf
Radu iosif
18:59, 8 December 2024
73 KB
Phd-pavedys.pdf
Radu iosif
10:08, 29 May 2024
61 KB
NondeterministicTreeAu...
Radu iosif
10:40, 22 May 2024
466 KB
MemorylessDeterminacyP...
Radu iosif
10:40, 22 May 2024
380 KB
Lecture8.pdf
Radu iosif
10:35, 22 May 2024
451 KB
InfiniteGames.pdf
Radu iosif
17:46, 12 May 2024
386 KB
Lecture7.pdf
Radu iosif
17:41, 12 May 2024
559 KB
Lecture6.pdf
Radu iosif
15:34, 21 April 2024
119 KB
Lecture5.pdf
Radu iosif
09:33, 13 April 2024
125 KB
Lecture4.pdf
Radu iosif
09:52, 4 April 2024
179 KB
Lecture3.pdf
Radu iosif
15:19, 30 March 2024
136 KB
Lecture2.pdf
Radu iosif
14:01, 23 March 2024
159 KB
Lecture1.pdf
Radu iosif
10:48, 7 March 2024
135 KB
MSOBTW.pdf
Radu iosif
17:44, 27 October 2023
70 KB
Stages-m2-pavedys.pdf
Radu iosif
14:17, 4 October 2023
60 KB
SelfAdaptingLogicsPhd.pdf
Radu iosif
12:13, 26 May 2023
59 KB
LORESAN-KW.pdf
Radu iosif
09:33, 15 March 2023
78 KB
LORESAN-Schmid.pdf
Radu iosif
16:46, 13 March 2023
66 KB
LORESAN-JS.pdf
Radu iosif
16:44, 13 March 2023
123 KB
Paper.pdf
Radu iosif
09:14, 12 September 2022
786 KB
Error creating thumbnail: /bin/bash: line 1: /usr/bin/convert: No such file or directory
Error code: 127
Photo on 08-09-2022 at...
Radu iosif
14:51, 8 September 2022
13 KB
Facs21.pdf
Radu iosif
11:01, 28 February 2022
528 KB
CADE 2021 final versio...
Radu iosif
14:37, 28 July 2021
248 KB
IPL.pdf
Radu iosif
14:35, 28 July 2021
150 KB
PhDProposal2021.pdf
Radu iosif
07:45, 31 May 2021
157 KB
SepLogDataPhD.pdf
Radu iosif
16:13, 19 May 2021
100 KB
Reconfiguration.pdf
Radu iosif
11:44, 10 May 2021
62 KB
Lords.pdf
Radu iosif
18:24, 23 April 2021
77 KB
Dr2-audition.pdf
Radu iosif
19:49, 18 April 2021
324 KB
Goal.zip
Radu iosif
14:34, 11 April 2021
3 KB
Mona.zip
Radu iosif
14:18, 28 March 2021
1,006 bytes
Ramseyan.pdf
Radu iosif
16:03, 20 March 2021
80 KB
Schutzenberger.pdf
Radu iosif
16:57, 6 March 2021
125 KB
SeparationLogicEntailm...
Radu iosif
18:15, 23 January 2021
98 KB
InfiniteAlphabetAutoma...
Radu iosif
18:14, 23 January 2021
68 KB
ArchitectureSeparation...
Radu iosif
18:13, 23 January 2021
96 KB
Csl2021.pdf
Radu iosif
10:39, 29 December 2020
559 KB
Cav2019.pdf
Radu iosif
09:32, 28 January 2020
179 KB
Fossacs2019.pdf
Radu iosif
09:31, 28 January 2020
260 KB
Tableaux2019.pdf
Radu iosif
09:16, 28 January 2020
186 KB
Lpar2018.pdf
Radu iosif
09:10, 28 January 2020
266 KB
Tacas2019.pdf
Radu iosif
09:05, 28 January 2020
177 KB
New.jpg
Radu iosif
13:39, 25 November 2019
2 KB
Cav19b.tar.gz
Radu iosif
12:49, 7 February 2019
173 bytes
Cav19.tar.gz
Radu iosif
17:26, 6 February 2019
11 KB
Games.zip
Radu iosif
12:41, 9 December 2018
3 KB
GamesTreeAutomata.pdf
Radu iosif
11:51, 7 December 2018
256 KB
ParityGames.pdf
Radu iosif
11:50, 7 December 2018
112 KB
StaigerWagnerWeakParit...
Radu iosif
11:49, 7 December 2018
185 KB
ReachabilityBuchiGames...
Radu iosif
11:48, 1 December 2018
322 KB
(newest |
oldest
) View (newer 50 |
older 50
) (
20
|
50
|
100
|
250
|
500
)
Navigation menu
Personal tools
Log in
Namespaces
Special page
Variants
Views
More
Search
Navigation
Main page
Recent changes
Random page
Help
Tools
Special pages
Printable version