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 100 | older 100) (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