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 250 | older 250) (20 | 50 | 100 | 250 | 500)- 18:46, 12 May 2024 Radu iosif (Talk | contribs) uploaded File:InfiniteGames.pdf
- 18:41, 12 May 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 16:34, 21 April 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture6.pdf
- 10:33, 13 April 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture5.pdf
- 10:52, 4 April 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 16:19, 30 March 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 15:01, 23 March 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 10:22, 21 March 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 11:48, 7 March 2024 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 18:44, 27 October 2023 Radu iosif (Talk | contribs) uploaded File:MSOBTW.pdf
- 15:17, 4 October 2023 Radu iosif (Talk | contribs) uploaded a new version of File:Stages-m2-pavedys.pdf
- 15:16, 4 October 2023 Radu iosif (Talk | contribs) uploaded a new version of File:Stages-m2-pavedys.pdf
- 18:03, 29 September 2023 Radu iosif (Talk | contribs) uploaded File:Stages-m2-pavedys.pdf
- 13:13, 26 May 2023 Radu iosif (Talk | contribs) uploaded File:SelfAdaptingLogicsPhd.pdf
- 10:33, 15 March 2023 Radu iosif (Talk | contribs) uploaded File:LORESAN-KW.pdf
- 17:46, 13 March 2023 Radu iosif (Talk | contribs) uploaded File:LORESAN-Schmid.pdf
- 17:44, 13 March 2023 Radu iosif (Talk | contribs) uploaded File:LORESAN-JS.pdf
- 10:14, 12 September 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Paper.pdf
- 10:12, 12 September 2022 Radu iosif (Talk | contribs) uploaded File:Paper.pdf
- 15:51, 8 September 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg
- 15:46, 8 September 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg
- 15:44, 8 September 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg
- 15:43, 8 September 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg
- 15:40, 8 September 2022 Radu iosif (Talk | contribs) uploaded File:Photo on 08-09-2022 at 15.38.jpg
- 16:52, 24 April 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture8.pdf
- 17:45, 10 April 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 14:29, 3 April 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture6.pdf
- 18:57, 29 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture5.pdf
- 16:45, 20 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 11:28, 20 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 18:10, 13 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 17:15, 13 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 15:10, 13 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 09:52, 10 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 11:14, 8 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 21:46, 7 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 18:07, 2 March 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 12:01, 28 February 2022 Radu iosif (Talk | contribs) uploaded File:Facs21.pdf
- 17:34, 27 February 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 15:16, 27 February 2022 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 15:37, 28 July 2021 Radu iosif (Talk | contribs) uploaded File:CADE 2021 final version.pdf
- 15:35, 28 July 2021 Radu iosif (Talk | contribs) uploaded File:IPL.pdf
- 08:45, 31 May 2021 Radu iosif (Talk | contribs) uploaded File:PhDProposal2021.pdf
- 17:13, 19 May 2021 Radu iosif (Talk | contribs) uploaded File:SepLogDataPhD.pdf
- 12:44, 10 May 2021 Radu iosif (Talk | contribs) uploaded File:Reconfiguration.pdf
- 13:20, 5 May 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture8.pdf
- 18:24, 2 May 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture8.pdf
- 17:00, 25 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture8.pdf
- 16:58, 25 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture8.pdf
- 19:24, 23 April 2021 Radu iosif (Talk | contribs) uploaded File:Lords.pdf
- 20:49, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 18:46, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 17:29, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 16:57, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 16:04, 18 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 17:40, 17 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 15:36, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 15:34, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 15:34, 11 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture7.pdf
- 17:23, 10 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture7.pdf
- 14:55, 10 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture6.pdf
- 20:24, 3 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture6.pdf
- 21:30, 31 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture5.pdf
- 15:18, 28 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 15:16, 28 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture5.pdf
- 18:50, 21 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 15:33, 21 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 22:39, 20 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture4.pdf
- 17:55, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture4.pdf
- 17:03, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Ramseyan.pdf
- 22:00, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 14:05, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 14:01, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 21:10, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:11, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:06, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:05, 16 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 19:04, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Goal.zip
- 18:19, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 18:19, 14 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 19:53, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Goal.zip
- 19:52, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Mona.zip
- 18:18, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture3.pdf
- 18:10, 10 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 14:19, 10 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 17:39, 9 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 19:24, 7 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 19:30, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 18:46, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 18:44, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 17:57, 6 March 2021 Radu iosif (Talk | contribs) uploaded File:Schutzenberger.pdf
- 17:54, 6 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture2.pdf
- 17:54, 6 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture1.pdf
- 18:05, 3 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture1.pdf
- 19:15, 23 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:SeparationLogicEntailmentChecking.pdf
- 19:14, 23 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 19:13, 23 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 16:18, 22 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 16:17, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 16:16, 22 January 2021 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 11:39, 29 December 2020 Radu iosif (Talk | contribs) uploaded File:Csl2021.pdf
- 16:22, 3 July 2020 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 16:21, 3 July 2020 Radu iosif (Talk | contribs) uploaded a new version of File:ArchitectureSeparationLogic.pdf
- 16:20, 3 July 2020 Radu iosif (Talk | contribs) uploaded File:SeparationLogicEntailmentChecking.pdf
- 10:32, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Cav2019.pdf
- 10:31, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Fossacs2019.pdf
- 10:16, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tableaux2019.pdf
- 10:10, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Lpar2018.pdf
- 10:05, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tacas2019.pdf
- 09:58, 28 January 2020 Radu iosif (Talk | contribs) uploaded a new version of File:Final.pdf
- 09:57, 28 January 2020 Radu iosif (Talk | contribs) uploaded a new version of File:Final.pdf
- 09:55, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Final.pdf
- 14:39, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.jpg
- 14:36, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.gif
- 12:51, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 12:14, 25 November 2019 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
- 12:12, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:InfiniteAlphabetAutomata.pdf
- 13:49, 7 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19b.tar.gz
- 18:26, 6 February 2019 Radu iosif (Talk | contribs) uploaded a new version of File:Cav19.tar.gz
- 11:39, 6 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19.tar.gz
- 13:41, 9 December 2018 Radu iosif (Talk | contribs) uploaded File:Games.zip
- 12:51, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:GamesTreeAutomata.pdf
- 12:50, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:ParityGames.pdf
- 12:49, 7 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
- 21:57, 2 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
- 13:04, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:StaigerWagnerWeakParityGames.pdf
- 12:48, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:ReachabilityBuchiGames.pdf
- 12:11, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryTerminology.pdf
- 11:49, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryMotivation.pdf
- 16:04, 21 October 2018 Radu iosif (Talk | contribs) uploaded File:Mcnaughton.pdf
- 10:10, 13 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 18:55, 11 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 15:06, 11 April 2018 Radu iosif (Talk | contribs) uploaded a new version of File:Dr2-audition.pdf
- 10:10, 2 February 2018 Radu iosif (Talk | contribs) uploaded File:Tacas2018.pdf
- 10:07, 2 February 2018 Radu iosif (Talk | contribs) uploaded File:Draft.pdf
- 19:51, 26 March 2017 Radu iosif (Talk | contribs) uploaded File:Backup.pdf
- 19:51, 26 March 2017 Radu iosif (Talk | contribs) uploaded File:Dr2-audition.pdf
- 12:44, 23 November 2016 Radu iosif (Talk | contribs) uploaded File:Vmcai2017.pdf
- 12:42, 23 November 2016 Radu iosif (Talk | contribs) uploaded File:Final.pdf
- 11:52, 11 July 2016 Radu iosif (Talk | contribs) uploaded File:Atva2016-2.pdf
- 11:49, 11 July 2016 Radu iosif (Talk | contribs) uploaded File:Atva2016-1.pdf
- 12:55, 1 June 2016 Radu iosif (Talk | contribs) uploaded a new version of File:Hdr.pdf
- 12:15, 14 March 2016 Radu iosif (Talk | contribs) uploaded a new version of File:Hdr.pdf
- 16:57, 6 March 2016 Radu iosif (Talk | contribs) uploaded File:Hdr.pdf
- 13:10, 21 August 2014 Radu iosif (Talk | contribs) uploaded File:Atva14.pdf
- 13:09, 21 August 2014 Radu iosif (Talk | contribs) uploaded File:Main.pdf
- 14:16, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0598.JPG
- 14:03, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0608.JPG
- 14:03, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0603.JPG
- 14:03, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0602.JPG
- 14:02, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0596.JPG
- 14:02, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0593.JPG
- 14:01, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0587.JPG
- 14:01, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0582.JPG
- 14:01, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0581.JPG
- 14:00, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0577.JPG
- 14:00, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0573.JPG
- 13:59, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0569.JPG
- 13:59, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0562.JPG
- 13:59, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0556.JPG
- 13:58, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0552.JPG
- 13:58, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0546.JPG
- 13:57, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0543.JPG
- 13:57, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0542.JPG
- 13:56, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0540.JPG
- 13:56, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0537.JPG
- 13:55, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0532.JPG
- 13:55, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0527.JPG
- 13:55, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0524.JPG
- 13:54, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0525.JPG
- 13:53, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0523.JPG
- 13:53, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0517.JPG
- 13:53, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0514.JPG
- 13:52, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0509.JPG
- 13:51, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0506.JPG
- 13:51, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0504.JPG
- 13:51, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0501.JPG
- 13:50, 15 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0498.JPG
- 10:58, 12 May 2014 Radu iosif (Talk | contribs) uploaded File:DSC 0211.JPG
- 21:37, 9 May 2014 Radu iosif (Talk | contribs) uploaded File:Avm sponsors.jpg
- 18:02, 4 September 2013 Konecny (Talk | contribs) uploaded a new version of File:Flata.tar.gz
- 18:00, 4 September 2013 Konecny (Talk | contribs) uploaded a new version of File:Flata.tar.gz
- 15:16, 3 September 2013 Konecny (Talk | contribs) uploaded a new version of File:Flata.tar.gz
- 13:56, 28 June 2013 Radu iosif (Talk | contribs) uploaded File:Col de porte 2.07.2013.pdf
- 17:47, 24 June 2013 Konecny (Talk | contribs) uploaded a new version of File:Ntslib.pdf
- 08:41, 30 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014 flyer.pdf
- 08:37, 30 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.pdf
- 08:33, 30 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.pdf
- 08:32, 30 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.pdf
- 08:30, 30 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.pdf
- 08:28, 30 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Avm2014.pdf
- 11:58, 29 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.key.zip
- 22:46, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Cai13.pdf
- 20:48, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Radu.jpg
- 20:39, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Ase01.pdf
- 20:36, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Spin02.pdf
- 20:35, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Fossacs05.pdf
- 20:32, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Pepm04.pdf
- 20:26, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Sas04.pdf
- 20:19, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Tacas06.pdf
- 20:15, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Icalp06.pdf
- 20:13, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Cav06.pdf
- 20:09, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Vmcai07.pdf
- 20:07, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Atva07.pdf
- 20:06, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Lpar08.pdf
- 20:04, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Fossacs08.pdf
- 20:01, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Ijcar2008.pdf
- 19:57, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Ciaa09.pdf
- 19:51, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Tacas09.pdf
- 19:49, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Cav09.pdf
- 19:45, 28 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Cav10.pdf
- 19:38, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Tacas12.pdf
- 19:26, 28 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Fm12.pdf
- 19:24, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Atva12.pdf
- 19:18, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Tacas13.pdf
- 19:08, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Cade13.pdf
- 18:57, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:JSS.pdf
- 18:50, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Fmsd05.pdf
- 18:41, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Sttt.pdf
- 18:31, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Fundamenta09.pdf
- 18:30, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Redblackjournal09.pdf
- 18:28, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Qsl-jar.pdf
- 18:23, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Fmsd10.pdf
- 17:06, 28 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Newspapers-stacked.jpg
- 15:47, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Newspapers-stacked.jpg
- 14:50, 28 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Radu 1.jpg
- 14:48, 28 April 2013 Radu iosif (Talk | contribs) uploaded File:Radu 1.jpg
- 19:49, 27 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Avm2014.pdf
- 19:44, 27 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Avm2014-banner.jpg
- 19:41, 27 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014-banner.jpg
- 19:40, 27 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.001.jpg
- 19:39, 27 April 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Avm2014.001.jpg
- 19:32, 27 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.pdf
- 18:15, 27 April 2013 Radu iosif (Talk | contribs) uploaded File:Avm2014.001.jpg
- 18:15, 2 April 2013 Konecny (Talk | contribs) uploaded File:Sil-examples.tar.gz
- 18:15, 2 April 2013 Konecny (Talk | contribs) uploaded File:Sil.tar.gz
- 13:33, 15 March 2013 Konecny (Talk | contribs) uploaded a new version of File:Flata.tar.gz
- 13:17, 15 March 2013 Konecny (Talk | contribs) uploaded a new version of File:Flata.tar.gz
- 14:34, 5 February 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Ocaml-nts.tar.gz
- 12:09, 5 February 2013 Radu iosif (Talk | contribs) uploaded a new version of File:Ocaml-nts.tar.gz
- 12:08, 5 February 2013 Radu iosif (Talk | contribs) uploaded File:Ocaml-nts.tar.gz
- 17:10, 4 February 2013 Konecny (Talk | contribs) uploaded File:Flata.tar.gz
- 17:06, 4 February 2013 Konecny (Talk | contribs) uploaded File:Octahedron.png
- 17:00, 4 February 2013 Konecny (Talk | contribs) uploaded File:Fm12.pdf
- 16:57, 4 February 2013 Konecny (Talk | contribs) uploaded File:Cav10.pdf
- 16:51, 4 February 2013 Konecny (Talk | contribs) uploaded File:Flata.gz
- 14:30, 4 February 2013 Konecny (Talk | contribs) uploaded File:Octaheron.png
- 12:33, 4 February 2013 Konecny (Talk | contribs) uploaded File:Octahedron.gif
- 18:15, 31 January 2013 Konecny (Talk | contribs) uploaded File:Java-nts.tar.gz
- 18:10, 31 January 2013 Konecny (Talk | contribs) uploaded a new version of File:Nts-java.gz