Upload log
Below is a list of the most recent file uploads. See the gallery of new files for a more visual overview.
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 18:13, 23 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 15:18, 22 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 15:17, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 15:16, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 10:39, 29 December 2020 Radu iosif (Talk | contribs) uploaded File:Csl2021.pdf
- 15:22, 3 July 2020 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 15:21, 3 July 2020 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 15:20, 3 July 2020 Radu iosif (Talk | contribs) uploaded File:SeparationLogicEntailmentChecking.pdf
- 09:32, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Cav2019.pdf
- 09:31, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Fossacs2019.pdf
- 09:16, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tableaux2019.pdf
- 09:10, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Lpar2018.pdf
- 09:05, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tacas2019.pdf
- 08:58, 28 January 2020 Radu iosif (Talk | contribs) uploaded a new version of File:Final.pdf
- 08:57, 28 January 2020 Radu iosif (Talk | contribs) uploaded a new version of File:Final.pdf
- 08:55, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Final.pdf
- 13:39, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.jpg
- 13:36, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.gif
- 11:51, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 11:14, 25 November 2019 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 11:12, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:InfiniteAlphabetAutomata.pdf
- 12:49, 7 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19b.tar.gz
- 17:26, 6 February 2019 Radu iosif (Talk | contribs) uploaded a new version of File:Cav19.tar.gz
- 10:39, 6 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19.tar.gz
- 12:41, 9 December 2018 Radu iosif (Talk | contribs) uploaded File:Games.zip
- 11:51, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:GamesTreeAutomata.pdf
- 11:50, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:ParityGames.pdf
- 11:49, 7 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
- 20:57, 2 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
- 12:04, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:StaigerWagnerWeakParityGames.pdf
- 11:48, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:ReachabilityBuchiGames.pdf
- 11:11, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryTerminology.pdf
- 10:49, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryMotivation.pdf
- 15:04, 21 October 2018 Radu iosif (Talk | contribs) uploaded File:Mcnaughton.pdf
- 09:10, 13 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 17:55, 11 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 14:06, 11 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 09:10, 2 February 2018 Radu iosif (Talk | contribs) uploaded File:Tacas2018.pdf
- 09:07, 2 February 2018 Radu iosif (Talk | contribs) uploaded File:Draft.pdf
- 18:51, 26 March 2017 Radu iosif (Talk | contribs) uploaded File:Backup.pdf
- 18:51, 26 March 2017 Radu iosif (Talk | contribs) uploaded File:Dr2-audition.pdf
- 11:44, 23 November 2016 Radu iosif (Talk | contribs) uploaded File:Vmcai2017.pdf
- 11:42, 23 November 2016 Radu iosif (Talk | contribs) uploaded File:Final.pdf
- 10:52, 11 July 2016 Radu iosif (Talk | contribs) uploaded File:Atva2016-2.pdf
- 10:49, 11 July 2016 Radu iosif (Talk | contribs) uploaded File:Atva2016-1.pdf
- 11:55, 1 June 2016 Radu iosif (Talk | contribs) uploaded a new version of File:Hdr.pdf
- 11:15, 14 March 2016 Radu iosif (Talk | contribs) uploaded a new version of File:Hdr.pdf
- 15:57, 6 March 2016 Radu iosif (Talk | contribs) uploaded File:Hdr.pdf
- 12:10, 21 August 2014 Radu iosif (Talk | contribs) uploaded File:Atva14.pdf
- 12:09, 21 August 2014 Radu iosif (Talk | contribs) uploaded File:Main.pdf
