User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:47, 25 November 2019 (diff | hist) . . (-30) . . Internship subjects
- 13:47, 25 November 2019 (diff | hist) . . (+123) . . Internship subjects
- 13:45, 25 November 2019 (diff | hist) . . (+4) . . Internship subjects
- 13:44, 25 November 2019 (diff | hist) . . (+273) . . N Internship subjects (Created page with "The following internships can be continued with a PhD thesis on already acquired funding: * Local Reasoning about Reconfigurable Component-based Systems (Master level, 6 mon...")
- 13:42, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:42, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 13:41, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 13:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:39, 25 November 2019 (diff | hist) . . (0) . . N File:New.jpg (current)
- 13:37, 25 November 2019 (diff | hist) . . (+1) . . Radu Iosif
- 13:36, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:36, 25 November 2019 (diff | hist) . . (-5) . . Radu Iosif
- 13:35, 25 November 2019 (diff | hist) . . (-1) . . Radu Iosif
- 13:35, 25 November 2019 (diff | hist) . . (+23) . . Radu Iosif
- 13:34, 25 November 2019 (diff | hist) . . (+93) . . Radu Iosif
- 11:14, 25 November 2019 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf)
- 11:12, 25 November 2019 (diff | hist) . . (0) . . N File:InfiniteAlphabetAutomata.pdf
- 15:23, 8 September 2019 (diff | hist) . . (+166) . . Recent publications
- 18:35, 23 April 2019 (diff | hist) . . (+15) . . Paris, April 29th and 30th (current)
- 15:53, 18 April 2019 (diff | hist) . . (+59) . . Paris, April 29th and 30th
- 15:52, 18 April 2019 (diff | hist) . . (+2) . . Paris, April 29th and 30th
- 15:50, 18 April 2019 (diff | hist) . . (+207) . . Paris, April 29th and 30th
- 14:15, 1 April 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 14:15, 1 April 2019 (diff | hist) . . (+618) . . Paris, April 29th and 30th
- 17:31, 20 March 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 17:30, 20 March 2019 (diff | hist) . . (+88) . . Paris, April 29th and 30th
- 17: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...")
- 17:27, 20 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic (current)
- 19:02, 19 March 2019 (diff | hist) . . (+1,186) . . Cachan, April 29th and 30th (current)
- 18:58, 19 March 2019 (diff | hist) . . (+1) . . Cachan, April 29th and 30th
- 18:58, 19 March 2019 (diff | hist) . . (+12) . . Cachan, April 29th and 30th
- 18:58, 19 March 2019 (diff | hist) . . (+4) . . Cachan, April 29th and 30th
- 18: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...")
- 18:54, 19 March 2019 (diff | hist) . . (+4) . . Friends of Separation Logic
- 18:53, 19 March 2019 (diff | hist) . . (-12) . . Friends of Separation Logic
- 18:53, 19 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic
- 18: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...")
- 10:58, 8 February 2019 (diff | hist) . . (+184) . . Recent publications
- 12:49, 7 February 2019 (diff | hist) . . (0) . . N File:Cav19b.tar.gz (current)
- 17:26, 6 February 2019 (diff | hist) . . (0) . . File:Cav19.tar.gz (Radu iosif uploaded a new version of File:Cav19.tar.gz) (current)
- 10:39, 6 February 2019 (diff | hist) . . (0) . . N File:Cav19.tar.gz
- 12:42, 9 December 2018 (diff | hist) . . (+68) . . Lat18 (current)
- 12:41, 9 December 2018 (diff | hist) . . (0) . . N File:Games.zip (current)
- 11:55, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 11:55, 7 December 2018 (diff | hist) . . (+129) . . Lat18
- 11:52, 7 December 2018 (diff | hist) . . (+2) . . Lat18
- 11:51, 7 December 2018 (diff | hist) . . (0) . . N File:GamesTreeAutomata.pdf (current)
- 11:50, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 11:50, 7 December 2018 (diff | hist) . . (0) . . N File:ParityGames.pdf (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
