All public logs
Combined display of all available logs of Numerical Transition Systems. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)- 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:24, 10 April 2021 Radu iosif (Talk | contribs) automatically marked revision 976 of page Lat21 patrolled
- 17:23, 10 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture7.pdf
- 14:56, 10 April 2021 Radu iosif (Talk | contribs) automatically marked revision 974 of page Lat21 patrolled
- 14:55, 10 April 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture6.pdf
- 14:55, 10 April 2021 Radu iosif (Talk | contribs) automatically marked revision 972 of page Lat21 patrolled
- 20:29, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 971 of page Lat21 patrolled
- 20:29, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 970 of page Lat21 patrolled
- 20:28, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 969 of page Lat21 patrolled
- 20:27, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 968 of page Lat21 patrolled
- 20:26, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 967 of page Lat21 patrolled
- 20:25, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 966 of page Lat21 patrolled
- 20:24, 3 April 2021 Radu iosif (Talk | contribs) uploaded File:Lecture6.pdf
- 20:24, 3 April 2021 Radu iosif (Talk | contribs) automatically marked revision 964 of page Lat21 patrolled
- 21:30, 31 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture5.pdf
- 21:27, 31 March 2021 Radu iosif (Talk | contribs) automatically marked revision 962 of page Lat21 patrolled
- 15:18, 28 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Mona.zip
- 15:17, 28 March 2021 Radu iosif (Talk | contribs) automatically marked revision 960 of page Lat21 patrolled
- 15:16, 28 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture5.pdf
- 11:27, 27 March 2021 Radu iosif (Talk | contribs) automatically marked revision 958 of page Lat21 patrolled
- 11:24, 27 March 2021 Radu iosif (Talk | contribs) automatically marked revision 957 of page Lat21 patrolled
- 12:41, 26 March 2021 Radu iosif (Talk | contribs) automatically marked revision 956 of page Lat21 patrolled
- 21:52, 25 March 2021 Radu iosif (Talk | contribs) automatically marked revision 955 of page Lat21 patrolled
- 21:51, 25 March 2021 Radu iosif (Talk | contribs) automatically marked revision 954 of page Lat21 patrolled
- 21:47, 25 March 2021 Radu iosif (Talk | contribs) automatically marked revision 953 of page Lat21 patrolled
- 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:56, 20 March 2021 Radu iosif (Talk | contribs) automatically marked revision 949 of page Lat21 patrolled
- 17:55, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture4.pdf
- 17:04, 20 March 2021 Radu iosif (Talk | contribs) automatically marked revision 947 of page Lat21 patrolled
- 17:04, 20 March 2021 Radu iosif (Talk | contribs) automatically marked revision 946 of page Lat21 patrolled
- 17:03, 20 March 2021 Radu iosif (Talk | contribs) uploaded File:Ramseyan.pdf
- 17:03, 20 March 2021 Radu iosif (Talk | contribs) automatically marked revision 944 of page Lat21 patrolled
- 22:00, 17 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture3.pdf
- 21:52, 17 March 2021 Radu iosif (Talk | contribs) automatically marked revision 942 of page Lat21 patrolled
- 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
- 23:00, 16 March 2021 Radu iosif (Talk | contribs) automatically marked revision 939 of page Lat21 patrolled
- 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:21, 14 March 2021 Radu iosif (Talk | contribs) automatically marked revision 933 of page Lat21 patrolled
- 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:57, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 930 of page Lat21 patrolled
- 19:56, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 929 of page Lat21 patrolled
- 19:54, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 928 of page Lat21 patrolled
- 19:54, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 927 of page Lat21 patrolled
- 19:54, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 926 of page Lat21 patrolled
- 19:54, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 925 of page Lat21 patrolled
- 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
- 19:51, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 922 of page Lat21 patrolled
- 18:21, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 921 of page Lat21 patrolled
- 18:20, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 920 of page Lat21 patrolled
- 18:18, 13 March 2021 Radu iosif (Talk | contribs) automatically marked revision 919 of page Lat21 patrolled
- 18:18, 13 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture3.pdf
- 09:48, 11 March 2021 Radu iosif (Talk | contribs) automatically marked revision 917 of page Lat21 patrolled
- 18:10, 10 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 14:28, 10 March 2021 Radu iosif (Talk | contribs) automatically marked revision 915 of page Lat21 patrolled
- 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:26, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 912 of page Lat21 patrolled
- 19:24, 7 March 2021 Radu iosif (Talk | contribs) uploaded a new version of File:Lecture2.pdf
- 11:03, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 910 of page Lat21 patrolled
- 11:01, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 909 of page Lat21 patrolled
- 11:00, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 908 of page Lat21 patrolled
- 10:58, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 907 of page Lat21 patrolled
- 10:58, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 906 of page Lat21 patrolled
- 10:57, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 905 of page Lat21 patrolled
- 10:56, 7 March 2021 Radu iosif (Talk | contribs) automatically marked revision 904 of page Lat21 patrolled
- 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:59, 6 March 2021 Radu iosif (Talk | contribs) automatically marked revision 900 of page Lat21 patrolled
- 17:58, 6 March 2021 Radu iosif (Talk | contribs) automatically marked revision 899 of page Lat21 patrolled
- 17:58, 6 March 2021 Radu iosif (Talk | contribs) automatically marked revision 898 of page Lat21 patrolled
- 17:57, 6 March 2021 Radu iosif (Talk | contribs) uploaded File:Schutzenberger.pdf
- 17:57, 6 March 2021 Radu iosif (Talk | contribs) automatically marked revision 896 of page Lat21 patrolled
- 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
- 12:53, 4 March 2021 Radu iosif (Talk | contribs) automatically marked revision 893 of page Lat21 patrolled
- 18:08, 3 March 2021 Radu iosif (Talk | contribs) automatically marked revision 892 of page Lat21 patrolled
- 18:07, 3 March 2021 Radu iosif (Talk | contribs) automatically marked revision 891 of page Lat21 patrolled
- 18:06, 3 March 2021 Radu iosif (Talk | contribs) automatically marked revision 890 of page Lat21 patrolled
- 18:05, 3 March 2021 Radu iosif (Talk | contribs) automatically marked revision 889 of page Lat21 patrolled
- 18:05, 3 March 2021 Radu iosif (Talk | contribs) uploaded File:Lecture1.pdf
- 18:05, 3 March 2021 Radu iosif (Talk | contribs) automatically marked revision 887 of page Lat21 patrolled
- 14:53, 1 March 2021 Radu iosif (Talk | contribs) automatically marked revision 886 of page Lat21 patrolled
- 14:53, 1 March 2021 Radu iosif (Talk | contribs) automatically marked revision 885 of page Lat21 patrolled
- 15:47, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 884 of page Guidelines for online participation patrolled
- 15:47, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 883 of page Guidelines for online participation patrolled
- 15:39, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 882 of page Guidelines for online participation patrolled
- 10:40, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 881 of page Guidelines for online participation patrolled
- 10:40, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 880 of page Guidelines for online participation patrolled
- 10:39, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 879 of page Guidelines for online participation patrolled
- 10:38, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 878 of page Guidelines for online participation patrolled
- 10:31, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 877 of page Lat21 patrolled
- 10:31, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 876 of page Lat21 patrolled
- 10:30, 26 February 2021 Radu iosif (Talk | contribs) automatically marked revision 875 of page Lat21 patrolled
- 11:37, 16 February 2021 Radu iosif (Talk | contribs) automatically marked revision 874 of page Recent publications patrolled
- 11:37, 16 February 2021 Radu iosif (Talk | contribs) automatically marked revision 873 of page Recent publications patrolled
- 19:16, 23 January 2021 Radu iosif (Talk | contribs) automatically marked revision 872 of page Internship subjects patrolled
- 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) deleted page File:ArchitectureSeparationLogic.pdf
- 16:18, 22 January 2021 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
- 16:18, 22 January 2021 Radu iosif (Talk | contribs) deleted page 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
- 18:58, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 865 of page Lat21 patrolled
- 18:57, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 864 of page Lat21 patrolled
- 18:57, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 863 of page Lat patrolled
- 18:56, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 862 of page Lat patrolled
- 18:56, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 861 of page Lat patrolled
- 18:54, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 860 of page Lat patrolled
- 18:51, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 859 of page Lat21 patrolled
- 18:41, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 858 of page Radu Iosif patrolled
- 18:40, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 857 of page Radu Iosif patrolled
- 18:40, 16 January 2021 Radu iosif (Talk | contribs) automatically marked revision 856 of page Radu Iosif patrolled
- 12:59, 13 January 2021 Radu iosif (Talk | contribs) automatically marked revision 855 of page Recent publications patrolled
- 12:59, 13 January 2021 Radu iosif (Talk | contribs) automatically marked revision 854 of page Recent publications patrolled
- 12:59, 13 January 2021 Radu iosif (Talk | contribs) automatically marked revision 853 of page Recent publications patrolled
- 12:58, 13 January 2021 Radu iosif (Talk | contribs) automatically marked revision 852 of page Recent publications patrolled
- 11:42, 29 December 2020 Radu iosif (Talk | contribs) automatically marked revision 851 of page Recent publications patrolled
- 11:41, 29 December 2020 Radu iosif (Talk | contribs) automatically marked revision 850 of page Recent publications patrolled
- 11:40, 29 December 2020 Radu iosif (Talk | contribs) automatically marked revision 849 of page Recent publications patrolled
- 11:39, 29 December 2020 Radu iosif (Talk | contribs) uploaded File:Csl2021.pdf
- 11:39, 29 December 2020 Radu iosif (Talk | contribs) automatically marked revision 847 of page Recent publications patrolled
- 11:31, 29 December 2020 Radu iosif (Talk | contribs) automatically marked revision 846 of page Recent publications patrolled
- 12:54, 21 December 2020 Radu iosif (Talk | contribs) automatically marked revision 845 of page Radu Iosif patrolled
- 14:37, 18 August 2020 Radu iosif (Talk | contribs) automatically marked revision 844 of page Radu Iosif patrolled
- 15:53, 16 August 2020 Radu iosif (Talk | contribs) automatically marked revision 843 of page Recent publications patrolled
- 15:51, 16 August 2020 Radu iosif (Talk | contribs) automatically marked revision 842 of page Recent publications patrolled
- 15:49, 16 August 2020 Radu iosif (Talk | contribs) automatically marked revision 841 of page Recent publications patrolled
- 16:26, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 840 of page Internship subjects patrolled
- 16:26, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 839 of page Internship subjects patrolled
- 16:25, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 838 of page Internship subjects patrolled
- 16:24, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 837 of page Internship subjects patrolled
- 16:23, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 836 of page Internship subjects patrolled
- 16:23, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 835 of page Internship subjects patrolled
- 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:21, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 832 of page Internship subjects patrolled
- 16:20, 3 July 2020 Radu iosif (Talk | contribs) uploaded File:SeparationLogicEntailmentChecking.pdf
- 16:20, 3 July 2020 Radu iosif (Talk | contribs) automatically marked revision 830 of page Internship subjects patrolled
- 11:33, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 829 of page Radu Iosif patrolled
- 10:42, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 828 of page Radu Iosif patrolled
- 10:40, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 827 of page Radu Iosif patrolled
- 10:36, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 826 of page Radu Iosif patrolled
- 10:35, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 825 of page Radu Iosif patrolled
- 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:29, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 822 of page Recent publications patrolled
- 10:18, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 821 of page Recent publications patrolled
- 10:17, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 820 of page Recent publications patrolled
- 10:17, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 819 of page Recent publications patrolled
- 10:16, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tableaux2019.pdf
- 10:12, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 817 of page Recent publications patrolled
- 10:11, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 816 of page Recent publications patrolled
- 10:11, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 815 of page Recent publications patrolled
- 10:10, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Lpar2018.pdf
- 10:08, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 813 of page Recent publications patrolled
- 10:08, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 812 of page Recent publications patrolled
- 10:05, 28 January 2020 Radu iosif (Talk | contribs) uploaded File:Tacas2019.pdf
- 10:04, 28 January 2020 Radu iosif (Talk | contribs) deleted page File:Final.pdf
- 10:03, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 810 of page Recent publications patrolled
- 10:02, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 809 of page Recent publications patrolled
- 10:00, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 808 of page Recent publications patrolled
- 09:58, 28 January 2020 Radu iosif (Talk | contribs) automatically marked revision 807 of page Recent publications patrolled
- 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
- 18:45, 10 December 2019 Radu iosif (Talk | contribs) automatically marked revision 803 of page Radu Iosif patrolled
- 14:55, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 802 of page Internship subjects patrolled
- 14:50, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 801 of page Radu Iosif patrolled
- 14:49, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 800 of page Radu Iosif patrolled
- 14:48, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 799 of page Radu Iosif patrolled
- 14:47, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 798 of page Internship subjects patrolled
- 14:47, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 797 of page Internship subjects patrolled
- 14:45, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 796 of page Internship subjects patrolled
- 14:44, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 795 of page Internship subjects patrolled
- 14:42, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 794 of page Radu Iosif patrolled
- 14:42, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 793 of page Radu Iosif patrolled
- 14:41, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 792 of page Radu Iosif patrolled
- 14:40, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 791 of page Radu Iosif patrolled
- 14:40, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 790 of page Radu Iosif patrolled
- 14:39, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.jpg
- 14:39, 25 November 2019 Radu iosif (Talk | contribs) deleted page File:New.gif
- 14:37, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 788 of page Radu Iosif patrolled
- 14:36, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 787 of page Radu Iosif patrolled
- 14:36, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.gif
- 14:36, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 785 of page Radu Iosif patrolled
- 14:35, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 784 of page Radu Iosif patrolled
- 14:35, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 783 of page Radu Iosif patrolled
- 14:34, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 782 of page Radu Iosif patrolled
- 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
- 16:23, 8 September 2019 Radu iosif (Talk | contribs) automatically marked revision 778 of page Recent publications patrolled
- 19:35, 23 April 2019 Radu iosif (Talk | contribs) automatically marked revision 777 of page Paris, April 29th and 30th patrolled
- 16:53, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 776 of page Paris, April 29th and 30th patrolled
- 16:52, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 775 of page Paris, April 29th and 30th patrolled
- 16:50, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 774 of page Paris, April 29th and 30th patrolled
- 15:15, 1 April 2019 Radu iosif (Talk | contribs) automatically marked revision 773 of page Paris, April 29th and 30th patrolled
- 15:15, 1 April 2019 Radu iosif (Talk | contribs) automatically marked revision 772 of page Paris, April 29th and 30th patrolled
- 18:31, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 771 of page Paris, April 29th and 30th patrolled
- 18:30, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 770 of page Paris, April 29th and 30th patrolled
- 18:28, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 769 of page Paris, April 29th and 30th patrolled
- 18:27, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 768 of page Friends of Separation Logic patrolled
- 20:02, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 767 of page Cachan, April 29th and 30th patrolled
- 19:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 766 of page Cachan, April 29th and 30th patrolled
- 19:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 765 of page Cachan, April 29th and 30th patrolled
- 19:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 764 of page Cachan, April 29th and 30th patrolled
- 19:56, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 763 of page Cachan, April 29th and 30th patrolled
- 19:54, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 762 of page Friends of Separation Logic patrolled
- 19:53, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 761 of page Friends of Separation Logic patrolled
- 19:53, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 760 of page Friends of Separation Logic patrolled
- 19:52, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 759 of page Friends of Separation Logic patrolled
- 11:58, 8 February 2019 Radu iosif (Talk | contribs) automatically marked revision 758 of page Recent publications patrolled
- 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:42, 9 December 2018 Radu iosif (Talk | contribs) automatically marked revision 754 of page Lat18 patrolled
- 13:41, 9 December 2018 Radu iosif (Talk | contribs) uploaded File:Games.zip
- 12:55, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 752 of page Lat18 patrolled
- 12:55, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 751 of page Lat18 patrolled
- 12:52, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 750 of page Lat18 patrolled
- 12:51, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:GamesTreeAutomata.pdf
- 12:50, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 748 of page Lat18 patrolled
- 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) automatically marked revision 744 of page Lat18 patrolled
- 13:04, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:StaigerWagnerWeakParityGames.pdf
- 12:48, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 742 of page Lat18 patrolled
- 12:48, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:ReachabilityBuchiGames.pdf
- 12:12, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 740 of page Lat18 patrolled
- 12:11, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryTerminology.pdf
- 11:50, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 738 of page Lat18 patrolled
- 11:49, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:GameTheoryMotivation.pdf
- 18:24, 26 November 2018 Radu iosif (Talk | contribs) automatically marked revision 736 of page Lat18 patrolled
- 12:20, 19 November 2018 Radu iosif (Talk | contribs) automatically marked revision 735 of page Lat18 patrolled
- 13:17, 7 November 2018 Radu iosif (Talk | contribs) automatically marked revision 734 of page Recent publications patrolled