File list
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
19:18, 28 April 2013 | Tacas13.pdf (file) | 221 KB | Radu iosif | 1 | ||
20:01, 28 April 2013 | Ijcar2008.pdf (file) | 222 KB | Radu iosif | 1 | ||
18:28, 28 April 2013 | Qsl-jar.pdf (file) | 228 KB | Radu iosif | 1 | ||
19:49, 28 April 2013 | Cav09.pdf (file) | 232 KB | Radu iosif | 1 | ||
20:13, 28 April 2013 | Cav06.pdf (file) | 237 KB | Radu iosif | 1 | ||
15:37, 28 July 2021 | CADE 2021 final version.pdf (file) | 248 KB | Radu iosif | 1 | ||
19:51, 28 April 2013 | Tacas09.pdf (file) | 249 KB | Radu iosif | 1 | ||
20:35, 28 April 2013 | Fossacs05.pdf (file) | 250 KB | Radu iosif | 1 | ||
12:51, 7 December 2018 | GamesTreeAutomata.pdf (file) | 256 KB | Radu iosif | 1 | ||
20:07, 28 April 2013 | Atva07.pdf (file) | 258 KB | Radu iosif | 1 | ||
13:10, 21 August 2014 | Atva14.pdf (file) | 260 KB | Radu iosif | 1 | ||
19:57, 28 April 2013 | Ciaa09.pdf (file) | 260 KB | Radu iosif | 1 | ||
10:31, 28 January 2020 | Fossacs2019.pdf (file) | 260 KB | Radu iosif | 1 | ||
20:06, 28 April 2013 | Lpar08.pdf (file) | 262 KB | Radu iosif | 1 | ||
10:10, 28 January 2020 | Lpar2018.pdf (file) | 266 KB | Radu iosif | 1 | ||
20:19, 28 April 2013 | Tacas06.pdf (file) | 273 KB | Radu iosif | 1 | ||
20:15, 28 April 2013 | Icalp06.pdf (file) | 274 KB | Radu iosif | 1 | ||
19:26, 28 April 2013 | Fm12.pdf (file) | 287 KB | Radu iosif | 2 | ||
18:57, 28 April 2013 | JSS.pdf (file) | 296 KB | Radu iosif | 1 | ||
12:48, 1 December 2018 | ReachabilityBuchiGames.pdf (file) | 322 KB | Radu iosif | 1 | ||
20:49, 18 April 2021 | Dr2-audition.pdf (file) | 324 KB | Radu iosif | 10 | ||
19:45, 28 April 2013 | Cav10.pdf (file) | 353 KB | Radu iosif | 2 | ||
19:38, 28 April 2013 | Tacas12.pdf (file) | 374 KB | Radu iosif | 1 | ||
18:31, 28 April 2013 | Fundamenta09.pdf (file) | 414 KB | Radu iosif | 1 | ||
22:46, 28 April 2013 | Cai13.pdf (file) | 434 KB | Radu iosif | 1 | ||
18:30, 28 April 2013 | Redblackjournal09.pdf (file) | 439 KB | Radu iosif | 1 | ||
13:56, 28 June 2013 | Col de porte 2.07.2013.pdf (file) | 444 KB | Radu iosif | 1 | ||
18:23, 28 April 2013 | Fmsd10.pdf (file) | 444 KB | Radu iosif | 1 | ||
16:52, 24 April 2022 | Lecture8.pdf (file) | 446 KB | Radu iosif | 5 | ||
20:04, 28 April 2013 | Fossacs08.pdf (file) | 482 KB | Radu iosif | 1 | ||
11:49, 11 July 2016 | Atva2016-1.pdf (file) | 482 KB | Radu iosif | 1 | ||
12:33, 4 February 2013 | Octahedron.gif (file) | 510 KB | Konecny | 1 | ||
12:01, 28 February 2022 | Facs21.pdf (file) | 528 KB | Radu iosif | 1 | ||
17:45, 10 April 2022 | Lecture7.pdf (file) | 559 KB | Radu iosif | 4 | ||
11:39, 29 December 2020 | Csl2021.pdf (file) | 559 KB | Radu iosif | 1 | ||
18:15, 2 April 2013 | Sil.tar.gz (file) | 642 KB | Konecny | 1 | ||
10:14, 12 September 2022 | Paper.pdf (file) | 786 KB | Radu iosif | 2 | ||
16:04, 21 October 2018 | Mcnaughton.pdf (file) | 1.13 MB | Radu iosif | 1 | ||
12:55, 1 June 2016 | Hdr.pdf (file) | 1.26 MB | Radu iosif | 3 | ||
13:57, 15 May 2014 | DSC 0543.JPG (file) | 1.32 MB | Radu iosif | 1 | ||
14:02, 15 May 2014 | DSC 0602.JPG (file) | 1.34 MB | Radu iosif | 1 | ||
13:55, 15 May 2014 | DSC 0532.JPG (file) | 1.41 MB | Radu iosif | 1 | ||
14:01, 15 May 2014 | DSC 0587.JPG (file) | 1.43 MB | Radu iosif | 1 | ||
13:58, 15 May 2014 | DSC 0546.JPG (file) | 1.43 MB | Radu iosif | 1 | ||
13:59, 15 May 2014 | DSC 0569.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
14:00, 15 May 2014 | DSC 0573.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
13:58, 15 May 2014 | DSC 0552.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
14:03, 15 May 2014 | DSC 0603.JPG (file) | 1.45 MB | Radu iosif | 1 | ||
14:16, 15 May 2014 | DSC 0598.JPG (file) | 1.45 MB | Radu iosif | 1 | ||
13:56, 15 May 2014 | DSC 0540.JPG (file) | 1.45 MB | Radu iosif | 1 |
First page |
Previous page |
Next page |
Last page |