File list
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
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 | ||
12:50, 7 December 2018 | ParityGames.pdf (file) | 112 KB | Radu iosif | 1 | ||
12:49, 7 December 2018 | StaigerWagnerWeakParityGames.pdf (file) | 185 KB | Radu iosif | 3 | ||
12:48, 1 December 2018 | ReachabilityBuchiGames.pdf (file) | 322 KB | Radu iosif | 1 | ||
12:11, 1 December 2018 | GameTheoryTerminology.pdf (file) | 209 KB | Radu iosif | 1 | ||
11:49, 1 December 2018 | GameTheoryMotivation.pdf (file) | 191 KB | Radu iosif | 1 | ||
16:04, 21 October 2018 | Mcnaughton.pdf (file) | 1.13 MB | Radu iosif | 1 | ||
10:10, 2 February 2018 | Tacas2018.pdf (file) | 1.98 MB | Radu iosif | 1 | ||
19:51, 26 March 2017 | Backup.pdf (file) | 142 KB | Radu iosif | 1 | ||
12:44, 23 November 2016 | Vmcai2017.pdf (file) | 163 KB | Radu iosif | 1 | ||
11:52, 11 July 2016 | Atva2016-2.pdf (file) | 153 KB | Radu iosif | 1 | ||
11:49, 11 July 2016 | Atva2016-1.pdf (file) | 482 KB | Radu iosif | 1 | ||
12:55, 1 June 2016 | Hdr.pdf (file) | 1.26 MB | Radu iosif | 3 | ||
13:10, 21 August 2014 | Atva14.pdf (file) | 260 KB | Radu iosif | 1 | ||
14:16, 15 May 2014 | DSC 0598.JPG (file) | 1.45 MB | Radu iosif | 1 | ||
14:03, 15 May 2014 | DSC 0608.JPG (file) | 1.47 MB | Radu iosif | 1 | ||
14:03, 15 May 2014 | DSC 0603.JPG (file) | 1.45 MB | Radu iosif | 1 | ||
14:02, 15 May 2014 | DSC 0602.JPG (file) | 1.34 MB | Radu iosif | 1 | ||
14:02, 15 May 2014 | DSC 0596.JPG (file) | 1.48 MB | Radu iosif | 1 | ||
14:02, 15 May 2014 | DSC 0593.JPG (file) | 1.47 MB | Radu iosif | 1 | ||
14:01, 15 May 2014 | DSC 0587.JPG (file) | 1.43 MB | Radu iosif | 1 | ||
14:01, 15 May 2014 | DSC 0582.JPG (file) | 1.47 MB | Radu iosif | 1 | ||
14:01, 15 May 2014 | DSC 0581.JPG (file) | 1.46 MB | Radu iosif | 1 | ||
14:00, 15 May 2014 | DSC 0577.JPG (file) | 1.49 MB | Radu iosif | 1 | ||
14:00, 15 May 2014 | DSC 0573.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
13:59, 15 May 2014 | DSC 0569.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
13:59, 15 May 2014 | DSC 0562.JPG (file) | 1.47 MB | Radu iosif | 1 | ||
13:59, 15 May 2014 | DSC 0556.JPG (file) | 1.48 MB | Radu iosif | 1 | ||
13:58, 15 May 2014 | DSC 0552.JPG (file) | 1.44 MB | Radu iosif | 1 | ||
13:58, 15 May 2014 | DSC 0546.JPG (file) | 1.43 MB | Radu iosif | 1 | ||
13:57, 15 May 2014 | DSC 0543.JPG (file) | 1.32 MB | Radu iosif | 1 | ||
13:57, 15 May 2014 | DSC 0542.JPG (file) | 1.47 MB | Radu iosif | 1 | ||
13:56, 15 May 2014 | DSC 0540.JPG (file) | 1.45 MB | Radu iosif | 1 | ||
13:56, 15 May 2014 | DSC 0537.JPG (file) | 1.46 MB | Radu iosif | 1 | ||
13:55, 15 May 2014 | DSC 0532.JPG (file) | 1.41 MB | Radu iosif | 1 | ||
13:55, 15 May 2014 | DSC 0527.JPG (file) | 1.51 MB | Radu iosif | 1 |
First page |
Previous page |
Next page |
Last page |