File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Previous page
Last page
Date Name Thumbnail Size User Description Versions
18:15, 23 January 2021 SeparationLogicEntailmentChecking.pdf (file) 98 KB Radu iosif   2
18:14, 23 January 2021 InfiniteAlphabetAutomata.pdf (file) 68 KB Radu iosif   4
18:13, 23 January 2021 ArchitectureSeparationLogic.pdf (file) 96 KB Radu iosif   1
10:39, 29 December 2020 Csl2021.pdf (file) 559 KB Radu iosif   1
09:32, 28 January 2020 Cav2019.pdf (file) 179 KB Radu iosif   1
09:31, 28 January 2020 Fossacs2019.pdf (file) 260 KB Radu iosif   1
09:16, 28 January 2020 Tableaux2019.pdf (file) 186 KB Radu iosif   1
09:10, 28 January 2020 Lpar2018.pdf (file) 266 KB Radu iosif   1
09:05, 28 January 2020 Tacas2019.pdf (file) 177 KB Radu iosif   1
13:39, 25 November 2019 New.jpg (file) 2 KB Radu iosif   1
12:49, 7 February 2019 Cav19b.tar.gz (file) 173 bytes Radu iosif   1
17:26, 6 February 2019 Cav19.tar.gz (file) 11 KB Radu iosif   2
12:41, 9 December 2018 Games.zip (file) 3 KB Radu iosif   1
11:51, 7 December 2018 GamesTreeAutomata.pdf (file) 256 KB Radu iosif   1
11:50, 7 December 2018 ParityGames.pdf (file) 112 KB Radu iosif   1
11:49, 7 December 2018 StaigerWagnerWeakParityGames.pdf (file) 185 KB Radu iosif   3
11:48, 1 December 2018 ReachabilityBuchiGames.pdf (file) 322 KB Radu iosif   1
11:11, 1 December 2018 GameTheoryTerminology.pdf (file) 209 KB Radu iosif   1
10:49, 1 December 2018 GameTheoryMotivation.pdf (file) 191 KB Radu iosif   1
15:04, 21 October 2018 Mcnaughton.pdf (file) 1.13 MB Radu iosif   1
09:10, 13 April 2018 Dr2-audition.pdf (file) 528 KB Radu iosif   4
09:10, 2 February 2018 Tacas2018.pdf (file) 1.98 MB Radu iosif   1
18:51, 26 March 2017 Backup.pdf (file) 142 KB Radu iosif   1
11:44, 23 November 2016 Vmcai2017.pdf (file) 163 KB Radu iosif   1
10:52, 11 July 2016 Atva2016-2.pdf (file) 153 KB Radu iosif   1
10:49, 11 July 2016 Atva2016-1.pdf (file) 482 KB Radu iosif   1
11:55, 1 June 2016 Hdr.pdf (file) 1.26 MB Radu iosif   3
12:10, 21 August 2014 Atva14.pdf (file) 260 KB Radu iosif   1
13:16, 15 May 2014 DSC 0598.JPG (file) 1.45 MB Radu iosif   1
13:03, 15 May 2014 DSC 0608.JPG (file) 1.47 MB Radu iosif   1
13:03, 15 May 2014 DSC 0603.JPG (file) 1.45 MB Radu iosif   1
13:02, 15 May 2014 DSC 0602.JPG (file) 1.34 MB Radu iosif   1
13:02, 15 May 2014 DSC 0596.JPG (file) 1.48 MB Radu iosif   1
13:02, 15 May 2014 DSC 0593.JPG (file) 1.47 MB Radu iosif   1
13:01, 15 May 2014 DSC 0587.JPG (file) 1.43 MB Radu iosif   1
13:01, 15 May 2014 DSC 0582.JPG (file) 1.47 MB Radu iosif   1
13:01, 15 May 2014 DSC 0581.JPG (file) 1.46 MB Radu iosif   1
13:00, 15 May 2014 DSC 0577.JPG (file) 1.49 MB Radu iosif   1
13:00, 15 May 2014 DSC 0573.JPG (file) 1.44 MB Radu iosif   1
12:59, 15 May 2014 DSC 0569.JPG (file) 1.44 MB Radu iosif   1
12:59, 15 May 2014 DSC 0562.JPG (file) 1.47 MB Radu iosif   1
12:59, 15 May 2014 DSC 0556.JPG (file) 1.48 MB Radu iosif   1
12:58, 15 May 2014 DSC 0552.JPG (file) 1.44 MB Radu iosif   1
12:58, 15 May 2014 DSC 0546.JPG (file) 1.43 MB Radu iosif   1
12:57, 15 May 2014 DSC 0543.JPG (file) 1.32 MB Radu iosif   1
12:57, 15 May 2014 DSC 0542.JPG (file) 1.47 MB Radu iosif   1
12:56, 15 May 2014 DSC 0540.JPG (file) 1.45 MB Radu iosif   1
12:56, 15 May 2014 DSC 0537.JPG (file) 1.46 MB Radu iosif   1
12:55, 15 May 2014 DSC 0532.JPG (file) 1.41 MB Radu iosif   1
12:55, 15 May 2014 DSC 0527.JPG (file) 1.51 MB Radu iosif   1
First page
Previous page
Last page