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
InfiniteGames.pdf
Radu iosif
18:46, 12 May 2024
386 KB
Lecture7.pdf
Radu iosif
18:41, 12 May 2024
559 KB
Lecture6.pdf
Radu iosif
16:34, 21 April 2024
119 KB
Lecture5.pdf
Radu iosif
10:33, 13 April 2024
125 KB
Lecture4.pdf
Radu iosif
10:52, 4 April 2024
179 KB
Lecture3.pdf
Radu iosif
16:19, 30 March 2024
136 KB
Lecture2.pdf
Radu iosif
15:01, 23 March 2024
159 KB
Lecture1.pdf
Radu iosif
11:48, 7 March 2024
135 KB
MSOBTW.pdf
Radu iosif
18:44, 27 October 2023
70 KB
Stages-m2-pavedys.pdf
Radu iosif
15:17, 4 October 2023
60 KB
SelfAdaptingLogicsPhd.pdf
Radu iosif
13:13, 26 May 2023
59 KB
LORESAN-KW.pdf
Radu iosif
10:33, 15 March 2023
78 KB
LORESAN-Schmid.pdf
Radu iosif
17:46, 13 March 2023
66 KB
LORESAN-JS.pdf
Radu iosif
17:44, 13 March 2023
123 KB
Paper.pdf
Radu iosif
10: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
15:51, 8 September 2022
13 KB
Lecture8.pdf
Radu iosif
16:52, 24 April 2022
446 KB
Facs21.pdf
Radu iosif
12:01, 28 February 2022
528 KB
CADE 2021 final versio...
Radu iosif
15:37, 28 July 2021
248 KB
IPL.pdf
Radu iosif
15:35, 28 July 2021
150 KB
PhDProposal2021.pdf
Radu iosif
08:45, 31 May 2021
157 KB
SepLogDataPhD.pdf
Radu iosif
17:13, 19 May 2021
100 KB
Reconfiguration.pdf
Radu iosif
12:44, 10 May 2021
62 KB
Lords.pdf
Radu iosif
19:24, 23 April 2021
77 KB
Dr2-audition.pdf
Radu iosif
20:49, 18 April 2021
324 KB
Goal.zip
Radu iosif
15:34, 11 April 2021
3 KB
Mona.zip
Radu iosif
15:18, 28 March 2021
1,006 bytes
Ramseyan.pdf
Radu iosif
17:03, 20 March 2021
80 KB
Schutzenberger.pdf
Radu iosif
17:57, 6 March 2021
125 KB
SeparationLogicEntailm...
Radu iosif
19:15, 23 January 2021
98 KB
InfiniteAlphabetAutoma...
Radu iosif
19:14, 23 January 2021
68 KB
ArchitectureSeparation...
Radu iosif
19:13, 23 January 2021
96 KB
Csl2021.pdf
Radu iosif
11:39, 29 December 2020
559 KB
Cav2019.pdf
Radu iosif
10:32, 28 January 2020
179 KB
Fossacs2019.pdf
Radu iosif
10:31, 28 January 2020
260 KB
Tableaux2019.pdf
Radu iosif
10:16, 28 January 2020
186 KB
Lpar2018.pdf
Radu iosif
10:10, 28 January 2020
266 KB
Tacas2019.pdf
Radu iosif
10:05, 28 January 2020
177 KB
New.jpg
Radu iosif
14:39, 25 November 2019
2 KB
Cav19b.tar.gz
Radu iosif
13:49, 7 February 2019
173 bytes
Cav19.tar.gz
Radu iosif
18:26, 6 February 2019
11 KB
Games.zip
Radu iosif
13:41, 9 December 2018
3 KB
GamesTreeAutomata.pdf
Radu iosif
12:51, 7 December 2018
256 KB
ParityGames.pdf
Radu iosif
12:50, 7 December 2018
112 KB
StaigerWagnerWeakParit...
Radu iosif
12:49, 7 December 2018
185 KB
ReachabilityBuchiGames...
Radu iosif
12:48, 1 December 2018
322 KB
GameTheoryTerminology.pdf
Radu iosif
12:11, 1 December 2018
209 KB
GameTheoryMotivation.pdf
Radu iosif
11:49, 1 December 2018
191 KB
Mcnaughton.pdf
Radu iosif
16:04, 21 October 2018
1.13 MB
Tacas2018.pdf
Radu iosif
10:10, 2 February 2018
1.98 MB
Backup.pdf
Radu iosif
19:51, 26 March 2017
142 KB
Vmcai2017.pdf
Radu iosif
12:44, 23 November 2016
163 KB
Atva2016-2.pdf
Radu iosif
11:52, 11 July 2016
153 KB
Atva2016-1.pdf
Radu iosif
11:49, 11 July 2016
482 KB
Hdr.pdf
Radu iosif
12:55, 1 June 2016
1.26 MB
Atva14.pdf
Radu iosif
13:10, 21 August 2014
260 KB
DSC 0598.JPG
Radu iosif
14:16, 15 May 2014
1.45 MB
DSC 0608.JPG
Radu iosif
14:03, 15 May 2014
1.47 MB
DSC 0603.JPG
Radu iosif
14:03, 15 May 2014
1.45 MB
DSC 0602.JPG
Radu iosif
14:02, 15 May 2014
1.34 MB
DSC 0596.JPG
Radu iosif
14:02, 15 May 2014
1.48 MB
DSC 0593.JPG
Radu iosif
14:02, 15 May 2014
1.47 MB
DSC 0587.JPG
Radu iosif
14:01, 15 May 2014
1.43 MB
DSC 0582.JPG
Radu iosif
14:01, 15 May 2014
1.47 MB
DSC 0581.JPG
Radu iosif
14:01, 15 May 2014
1.46 MB
DSC 0577.JPG
Radu iosif
14:00, 15 May 2014
1.49 MB
DSC 0573.JPG
Radu iosif
14:00, 15 May 2014
1.44 MB
DSC 0569.JPG
Radu iosif
13:59, 15 May 2014
1.44 MB
DSC 0562.JPG
Radu iosif
13:59, 15 May 2014
1.47 MB
DSC 0556.JPG
Radu iosif
13:59, 15 May 2014
1.48 MB
DSC 0552.JPG
Radu iosif
13:58, 15 May 2014
1.44 MB
DSC 0546.JPG
Radu iosif
13:58, 15 May 2014
1.43 MB
DSC 0543.JPG
Radu iosif
13:57, 15 May 2014
1.32 MB
DSC 0542.JPG
Radu iosif
13:57, 15 May 2014
1.47 MB
DSC 0540.JPG
Radu iosif
13:56, 15 May 2014
1.45 MB
DSC 0537.JPG
Radu iosif
13:56, 15 May 2014
1.46 MB
DSC 0532.JPG
Radu iosif
13:55, 15 May 2014
1.41 MB
DSC 0527.JPG
Radu iosif
13:55, 15 May 2014
1.51 MB
DSC 0524.JPG
Radu iosif
13:55, 15 May 2014
1.52 MB
DSC 0525.JPG
Radu iosif
13:54, 15 May 2014
1.64 MB
DSC 0523.JPG
Radu iosif
13:53, 15 May 2014
1.62 MB
DSC 0517.JPG
Radu iosif
13:53, 15 May 2014
1.48 MB
DSC 0514.JPG
Radu iosif
13:53, 15 May 2014
1.49 MB
DSC 0509.JPG
Radu iosif
13:52, 15 May 2014
1.48 MB
DSC 0506.JPG
Radu iosif
13:51, 15 May 2014
1.47 MB
DSC 0504.JPG
Radu iosif
13:51, 15 May 2014
1.47 MB
DSC 0501.JPG
Radu iosif
13:51, 15 May 2014
1.47 MB
DSC 0498.JPG
Radu iosif
13:50, 15 May 2014
1.46 MB
DSC 0211.JPG
Radu iosif
10:58, 12 May 2014
1.53 MB
Avm sponsors.jpg
Radu iosif
21:37, 9 May 2014
35 KB
Flata.tar.gz
Konecny
18:02, 4 September 2013
3.01 MB
Col de porte 2.07.2013...
Radu iosif
13:56, 28 June 2013
444 KB
Ntslib.pdf
Konecny
17:47, 24 June 2013
165 KB
Avm2014 flyer.pdf
Radu iosif
08:41, 30 April 2013
4.28 MB
Avm2014.pdf
Radu iosif
08:37, 30 April 2013
4.28 MB
Avm2014.key.zip
Radu iosif
11:58, 29 April 2013
4.56 MB
Cai13.pdf
Radu iosif
22:46, 28 April 2013
434 KB
Radu.jpg
Radu iosif
20:48, 28 April 2013
18 KB
Ase01.pdf
Radu iosif
20:39, 28 April 2013
11.79 MB
Spin02.pdf
Radu iosif
20:36, 28 April 2013
15.56 MB
Fossacs05.pdf
Radu iosif
20:35, 28 April 2013
250 KB
Pepm04.pdf
Radu iosif
20:32, 28 April 2013
20.15 MB
Sas04.pdf
Radu iosif
20:26, 28 April 2013
17.15 MB
Tacas06.pdf
Radu iosif
20:19, 28 April 2013
273 KB
Icalp06.pdf
Radu iosif
20:15, 28 April 2013
274 KB
Cav06.pdf
Radu iosif
20:13, 28 April 2013
237 KB
Vmcai07.pdf
Radu iosif
20:09, 28 April 2013
220 KB
Atva07.pdf
Radu iosif
20:07, 28 April 2013
258 KB
Lpar08.pdf
Radu iosif
20:06, 28 April 2013
262 KB
Fossacs08.pdf
Radu iosif
20:04, 28 April 2013
482 KB
Ijcar2008.pdf
Radu iosif
20:01, 28 April 2013
222 KB
Ciaa09.pdf
Radu iosif
19:57, 28 April 2013
260 KB
Tacas09.pdf
Radu iosif
19:51, 28 April 2013
249 KB
Cav09.pdf
Radu iosif
19:49, 28 April 2013
232 KB
Cav10.pdf
Radu iosif
19:45, 28 April 2013
353 KB
Tacas12.pdf
Radu iosif
19:38, 28 April 2013
374 KB
Fm12.pdf
Radu iosif
19:26, 28 April 2013
287 KB
Atva12.pdf
Radu iosif
19:24, 28 April 2013
199 KB
Tacas13.pdf
Radu iosif
19:18, 28 April 2013
221 KB
Cade13.pdf
Radu iosif
19:08, 28 April 2013
205 KB
JSS.pdf
Radu iosif
18:57, 28 April 2013
296 KB
Fmsd05.pdf
Radu iosif
18:50, 28 April 2013
37.69 MB
Sttt.pdf
Radu iosif
18:41, 28 April 2013
26.34 MB
Fundamenta09.pdf
Radu iosif
18:31, 28 April 2013
414 KB
Redblackjournal09.pdf
Radu iosif
18:30, 28 April 2013
439 KB
Qsl-jar.pdf
Radu iosif
18:28, 28 April 2013
228 KB
Fmsd10.pdf
Radu iosif
18:23, 28 April 2013
444 KB
Newspapers-stacked.jpg
Radu iosif
17:06, 28 April 2013
7 KB
Avm2014-banner.jpg
Radu iosif
19:44, 27 April 2013
128 KB
Sil-examples.tar.gz
Konecny
18:15, 2 April 2013
724 bytes
Sil.tar.gz
Konecny
18:15, 2 April 2013
642 KB
Ocaml-nts.tar.gz
Radu iosif
14:34, 5 February 2013
4.53 MB
Octahedron.png
Konecny
17:06, 4 February 2013
20 KB
Flata.gz
Konecny
16:51, 4 February 2013
2.9 MB
Octaheron.png
Konecny
14:30, 4 February 2013
20 KB
Octahedron.gif
Konecny
12:33, 4 February 2013
510 KB
Java-nts.tar.gz
Konecny
18:15, 31 January 2013
2.21 MB
Navigation menu
Personal tools
18.191.240.222
Talk for this IP address
Log in
Namespaces
Special page
Variants
Views
More
Search
Navigation
Main page
Recent changes
Random page
Help
Tools
Special pages
Printable version