File list
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 12:01, 28 February 2022 | Facs21.pdf (file) |  |
528 KB | 1 | |
| 15:37, 28 July 2021 | CADE 2021 final version.pdf (file) | |
248 KB | 1 | |
| 15:35, 28 July 2021 | IPL.pdf (file) | |
150 KB | 1 | |
| 08:45, 31 May 2021 | PhDProposal2021.pdf (file) | |
157 KB | 1 | |
| 17:13, 19 May 2021 | SepLogDataPhD.pdf (file) | |
100 KB | 1 | |
| 12:44, 10 May 2021 | Reconfiguration.pdf (file) | |
62 KB | 1 | |
| 19:24, 23 April 2021 | Lords.pdf (file) | |
77 KB | 1 | |
| 20:49, 18 April 2021 | Dr2-audition.pdf (file) | |
324 KB | 10 | |
| 15:34, 11 April 2021 | Goal.zip (file) |  |
3 KB | 4 | |
| 15:18, 28 March 2021 | Mona.zip (file) | |
1,006 bytes | 5 | |
| 17:03, 20 March 2021 | Ramseyan.pdf (file) | |
80 KB | 1 | |
| 17:57, 6 March 2021 | Schutzenberger.pdf (file) | |
125 KB | 1 | |
| 19:15, 23 January 2021 | SeparationLogicEntailmentChecking.pdf (file) | |
98 KB | 2 | |
| 19:14, 23 January 2021 | InfiniteAlphabetAutomata.pdf (file) | |
68 KB | 4 | |
| 19:13, 23 January 2021 | ArchitectureSeparationLogic.pdf (file) | |
96 KB | 1 | |
| 11:39, 29 December 2020 | Csl2021.pdf (file) | |
559 KB | 1 | |
| 10:32, 28 January 2020 | Cav2019.pdf (file) | |
179 KB | 1 | |
| 10:31, 28 January 2020 | Fossacs2019.pdf (file) | |
260 KB | 1 | |
| 10:16, 28 January 2020 | Tableaux2019.pdf (file) | |
186 KB | 1 | |
| 10:10, 28 January 2020 | Lpar2018.pdf (file) | |
266 KB | 1 | |
| 10:05, 28 January 2020 | Tacas2019.pdf (file) | |
177 KB | 1 | |
| 14:39, 25 November 2019 | New.jpg (file) |  |
2 KB | 1 | |
| 13:49, 7 February 2019 | Cav19b.tar.gz (file) | |
173 bytes | 1 | |
| 18:26, 6 February 2019 | Cav19.tar.gz (file) | |
11 KB | 2 | |
| 13:41, 9 December 2018 | Games.zip (file) | |
3 KB | 1 | |
| 12:51, 7 December 2018 | GamesTreeAutomata.pdf (file) | |
256 KB | 1 | |
| 12:50, 7 December 2018 | ParityGames.pdf (file) | |
112 KB | 1 | |
| 12:49, 7 December 2018 | StaigerWagnerWeakParityGames.pdf (file) | |
185 KB | 3 | |
| 12:48, 1 December 2018 | ReachabilityBuchiGames.pdf (file) | |
322 KB | 1 | |
| 12:11, 1 December 2018 | GameTheoryTerminology.pdf (file) | |
209 KB | 1 | |
| 11:49, 1 December 2018 | GameTheoryMotivation.pdf (file) | |
191 KB | 1 | |
| 16:04, 21 October 2018 | Mcnaughton.pdf (file) | |
1.13 MB | 1 | |
| 10:10, 2 February 2018 | Tacas2018.pdf (file) | |
1.98 MB | 1 | |
| 19:51, 26 March 2017 | Backup.pdf (file) | |
142 KB | 1 | |
| 12:44, 23 November 2016 | Vmcai2017.pdf (file) | |
163 KB | 1 | |
| 11:52, 11 July 2016 | Atva2016-2.pdf (file) | |
153 KB | 1 | |
| 11:49, 11 July 2016 | Atva2016-1.pdf (file) | |
482 KB | 1 | |
| 12:55, 1 June 2016 | Hdr.pdf (file) | |
1.26 MB | 3 | |
| 13:10, 21 August 2014 | Atva14.pdf (file) | |
260 KB | 1 | |
| 14:16, 15 May 2014 | DSC 0598.JPG (file) |  |
1.45 MB | 1 | |
| 14:03, 15 May 2014 | DSC 0608.JPG (file) |  |
1.47 MB | 1 | |
| 14:03, 15 May 2014 | DSC 0603.JPG (file) |  |
1.45 MB | 1 | |
| 14:02, 15 May 2014 | DSC 0602.JPG (file) |  |
1.34 MB | 1 | |
| 14:02, 15 May 2014 | DSC 0596.JPG (file) |  |
1.48 MB | 1 | |
| 14:02, 15 May 2014 | DSC 0593.JPG (file) |  |
1.47 MB | 1 | |
| 14:01, 15 May 2014 | DSC 0587.JPG (file) |  |
1.43 MB | 1 | |
| 14:01, 15 May 2014 | DSC 0582.JPG (file) |  |
1.47 MB | 1 | |
| 14:01, 15 May 2014 | DSC 0581.JPG (file) |  |
1.46 MB | 1 | |
| 14:00, 15 May 2014 | DSC 0577.JPG (file) |  |
1.49 MB | 1 | |
| 14:00, 15 May 2014 | DSC 0573.JPG (file) |  |
1.44 MB | 1 |
First page |
Previous page |
Next page |
Last page |
