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
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
Lecture7.pdf
Radu iosif
17:45, 10 April 2022
559 KB
Lecture6.pdf
Radu iosif
14:29, 3 April 2022
119 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
Log in
Namespaces
Special page
Variants
Views
More
Search
Navigation
Main page
Recent changes
Random page
Help
Tools
Special pages
Printable version