User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 18:30, 20 March 2019 (diff | hist) . . (+88) . . Paris, April 29th and 30th
- 18:28, 20 March 2019 (diff | hist) . . (+3,293) . . N Paris, April 29th and 30th (Created page with "'''Stephane Demri''': ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in o...")
- 18:27, 20 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic (current)
- 20:02, 19 March 2019 (diff | hist) . . (+1,186) . . Cachan, April 29th and 30th (current)
- 19:58, 19 March 2019 (diff | hist) . . (+1) . . Cachan, April 29th and 30th
- 19:58, 19 March 2019 (diff | hist) . . (+12) . . Cachan, April 29th and 30th
- 19:58, 19 March 2019 (diff | hist) . . (+4) . . Cachan, April 29th and 30th
- 19:56, 19 March 2019 (diff | hist) . . (+2,090) . . N Cachan, April 29th and 30th (Created page with "Stephane Demri: ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in order t...")
- 19:54, 19 March 2019 (diff | hist) . . (+4) . . Friends of Separation Logic
- 19:53, 19 March 2019 (diff | hist) . . (-12) . . Friends of Separation Logic
- 19:53, 19 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic
- 19:52, 19 March 2019 (diff | hist) . . (+805) . . N Friends of Separation Logic (Created page with "Friends of Separation Logic (FOSL) is an informal working group on topics related to Separation Logic (SL), such as: * extensions of SL and relations with other logics (firs...")
- 11:58, 8 February 2019 (diff | hist) . . (+184) . . Recent publications
- 13:49, 7 February 2019 (diff | hist) . . (0) . . N File:Cav19b.tar.gz (current)
- 18:26, 6 February 2019 (diff | hist) . . (0) . . File:Cav19.tar.gz (Radu iosif uploaded a new version of File:Cav19.tar.gz) (current)
- 11:39, 6 February 2019 (diff | hist) . . (0) . . N File:Cav19.tar.gz
- 13:42, 9 December 2018 (diff | hist) . . (+68) . . Lat18 (current)
- 13:41, 9 December 2018 (diff | hist) . . (0) . . N File:Games.zip (current)
- 12:55, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 12:55, 7 December 2018 (diff | hist) . . (+129) . . Lat18
- 12:52, 7 December 2018 (diff | hist) . . (+2) . . Lat18
- 12:51, 7 December 2018 (diff | hist) . . (0) . . N File:GamesTreeAutomata.pdf (current)
- 12:50, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 12:50, 7 December 2018 (diff | hist) . . (0) . . N File:ParityGames.pdf (current)
- 12:49, 7 December 2018 (diff | hist) . . (0) . . File:StaigerWagnerWeakParityGames.pdf (Radu iosif uploaded a new version of File:StaigerWagnerWeakParityGames.pdf) (current)
- 21:57, 2 December 2018 (diff | hist) . . (0) . . File:StaigerWagnerWeakParityGames.pdf (Radu iosif uploaded a new version of File:StaigerWagnerWeakParityGames.pdf)
- 13:04, 1 December 2018 (diff | hist) . . (+17) . . Lat18
- 13:04, 1 December 2018 (diff | hist) . . (0) . . N File:StaigerWagnerWeakParityGames.pdf
- 12:48, 1 December 2018 (diff | hist) . . (+7) . . Lat18
- 12:48, 1 December 2018 (diff | hist) . . (0) . . N File:ReachabilityBuchiGames.pdf (current)
- 12:12, 1 December 2018 (diff | hist) . . (+6) . . Lat18
- 12:11, 1 December 2018 (diff | hist) . . (0) . . N File:GameTheoryTerminology.pdf (current)
- 11:50, 1 December 2018 (diff | hist) . . (+5) . . Lat18
- 11:49, 1 December 2018 (diff | hist) . . (0) . . N File:GameTheoryMotivation.pdf (current)
- 18:24, 26 November 2018 (diff | hist) . . (+86) . . Lat18
- 12:20, 19 November 2018 (diff | hist) . . (0) . . Lat18
- 13:17, 7 November 2018 (diff | hist) . . (+99) . . Recent publications
- 17:55, 6 November 2018 (diff | hist) . . (-1,791) . . Lat18/feedback (Replaced content with "<?php echo 'hello' ?>") (current)
- 17:46, 6 November 2018 (diff | hist) . . (+1,812) . . N Lat18/feedback (Created page with "<?php class SpecialTestForm extends SpecialPage { public function __construct() { parent::__construct( 'TestForm' ); } public function execute( $par ) { $this->getOut...")
- 11:49, 27 October 2018 (diff | hist) . . (+74) . . Lat18
- 11:48, 27 October 2018 (diff | hist) . . (+155) . . Lat18
- 11:47, 27 October 2018 (diff | hist) . . (+141) . . Lat18
- 11:42, 27 October 2018 (diff | hist) . . (+58) . . Lat18
- 19:12, 21 October 2018 (diff | hist) . . (-3) . . Lat18
- 19:12, 21 October 2018 (diff | hist) . . (+96) . . Lat18
- 16:07, 21 October 2018 (diff | hist) . . (+11) . . Lat18
- 16:06, 21 October 2018 (diff | hist) . . (+4) . . Lat18
- 16:06, 21 October 2018 (diff | hist) . . (+52) . . Lat18
- 16:06, 21 October 2018 (diff | hist) . . (+2) . . Lat18
- 16:05, 21 October 2018 (diff | hist) . . (+21) . . Lat18
- 16:04, 21 October 2018 (diff | hist) . . (0) . . N File:Mcnaughton.pdf (current)
- 16:04, 21 October 2018 (diff | hist) . . (+22) . . Lat18
- 11:42, 13 October 2018 (diff | hist) . . (+116) . . Radu Iosif
- 12:08, 7 October 2018 (diff | hist) . . (+2) . . Radu Iosif
- 14:43, 6 October 2018 (diff | hist) . . (+1) . . Lat18
- 12:14, 6 October 2018 (diff | hist) . . (+1) . . Lat18 (→Logic and Automata Theory)
- 12:14, 6 October 2018 (diff | hist) . . (+72) . . Lat18
- 21:00, 26 September 2018 (diff | hist) . . (0) . . Lat18
- 20:57, 26 September 2018 (diff | hist) . . (-2) . . Lat18
- 19:25, 26 September 2018 (diff | hist) . . (-1) . . Lat18
- 19:11, 26 September 2018 (diff | hist) . . (+723) . . Lat18
- 19:07, 26 September 2018 (diff | hist) . . (+39) . . Lat18
- 21:05, 16 September 2018 (diff | hist) . . (+22) . . Lat18
- 20:55, 16 September 2018 (diff | hist) . . (+89) . . Lat18
- 20:54, 16 September 2018 (diff | hist) . . (+10) . . Lat18
- 20:53, 16 September 2018 (diff | hist) . . (+11) . . Lat18
- 20:53, 16 September 2018 (diff | hist) . . (0) . . Lat18
- 20:52, 16 September 2018 (diff | hist) . . (+119) . . Lat18
- 20:51, 16 September 2018 (diff | hist) . . (+8) . . Lat18
- 20:50, 16 September 2018 (diff | hist) . . (+57) . . Lat18
- 20:49, 16 September 2018 (diff | hist) . . (+7) . . Lat18
- 20:49, 16 September 2018 (diff | hist) . . (+35) . . Lat18
- 20:48, 16 September 2018 (diff | hist) . . (+3) . . Lat18
- 20:46, 16 September 2018 (diff | hist) . . (+1,657) . . N Lat18 (Created page with "=== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu_Iosif] '''Objectives''': Many major hardware (Intel, IBM) and software (Micr...")
- 16:14, 28 May 2018 (diff | hist) . . (+151) . . Recent publications (→Pending)
- 19:09, 29 April 2018 (diff | hist) . . (-1) . . Journees GT Verif 2018 Informations Locales (current)
- 10:10, 13 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 18:55, 11 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 15:06, 11 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 10:10, 11 April 2018 (diff | hist) . . (+154) . . Recent publications
- 11:17, 9 April 2018 (diff | hist) . . (+1) . . Journees GT Verif 2018 Informations Locales
- 11:17, 9 April 2018 (diff | hist) . . (+11) . . Journees GT Verif 2018 Informations Locales
- 11:17, 9 April 2018 (diff | hist) . . (+8) . . Journees GT Verif 2018 Informations Locales
- 11:16, 9 April 2018 (diff | hist) . . (-8) . . Journees GT Verif 2018 Informations Locales
- 11:15, 9 April 2018 (diff | hist) . . (+2) . . Journees GT Verif 2018 Informations Locales
- 11:15, 9 April 2018 (diff | hist) . . (+60) . . Journees GT Verif 2018 Informations Locales
- 11:13, 9 April 2018 (diff | hist) . . (+5) . . Radu Iosif
- 11:13, 9 April 2018 (diff | hist) . . (+95) . . Radu Iosif
- 15:00, 17 March 2018 (diff | hist) . . (+2) . . Restaurants et bars (current)
- 14:54, 17 March 2018 (diff | hist) . . (-4) . . Journees GT Verif 2018 Informations Locales
- 14:24, 16 March 2018 (diff | hist) . . (+59) . . Restaurants et bars
- 14:23, 16 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales
- 10:31, 16 March 2018 (diff | hist) . . (+60) . . Restaurants et bars
- 10:30, 16 March 2018 (diff | hist) . . (+1) . . Restaurants et bars
- 10:30, 16 March 2018 (diff | hist) . . (+67) . . Restaurants et bars
- 10:29, 16 March 2018 (diff | hist) . . (+199) . . Restaurants et bars
- 10:27, 16 March 2018 (diff | hist) . . (+2) . . Restaurants et bars
- 10:26, 16 March 2018 (diff | hist) . . (+2) . . Restaurants et bars
- 10:26, 16 March 2018 (diff | hist) . . (+690) . . Restaurants et bars
- 10:21, 16 March 2018 (diff | hist) . . (0) . . Restaurants et bars (→Restaurants)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)