User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 14:36, 25 November 2019 (diff | hist) . . (-5) . . Radu Iosif
- 14:35, 25 November 2019 (diff | hist) . . (-1) . . Radu Iosif
- 14:35, 25 November 2019 (diff | hist) . . (+23) . . Radu Iosif
- 14:34, 25 November 2019 (diff | hist) . . (+93) . . Radu Iosif
- 12:14, 25 November 2019 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf)
- 12:12, 25 November 2019 (diff | hist) . . (0) . . N File:InfiniteAlphabetAutomata.pdf
- 16:23, 8 September 2019 (diff | hist) . . (+166) . . Recent publications
- 19:35, 23 April 2019 (diff | hist) . . (+15) . . Paris, April 29th and 30th (current)
- 16:53, 18 April 2019 (diff | hist) . . (+59) . . Paris, April 29th and 30th
- 16:52, 18 April 2019 (diff | hist) . . (+2) . . Paris, April 29th and 30th
- 16:50, 18 April 2019 (diff | hist) . . (+207) . . Paris, April 29th and 30th
- 15:15, 1 April 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 15:15, 1 April 2019 (diff | hist) . . (+618) . . Paris, April 29th and 30th
- 18:31, 20 March 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 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
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)