User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 10:39, 26 February 2021 (diff | hist) . . (+27) . . Guidelines for online participation
- 10:38, 26 February 2021 (diff | hist) . . (+1,654) . . N Guidelines for online participation (Created page with " == Joining the lectures == The 2021 Logic and Automata Course will be hosted on the BigBlueButton room: https://veri-bbb.imag.fr/b/rad-jbd-yvz-lwk A password will be email...")
- 10:31, 26 February 2021 (diff | hist) . . (+2) . . Lat21
- 10:31, 26 February 2021 (diff | hist) . . (+2) . . Lat21
- 10:30, 26 February 2021 (diff | hist) . . (+106) . . Lat21
- 11:37, 16 February 2021 (diff | hist) . . (-1) . . Recent publications
- 11:37, 16 February 2021 (diff | hist) . . (-23) . . Recent publications
- 19:16, 23 January 2021 (diff | hist) . . (-72) . . Internship subjects
- 19:15, 23 January 2021 (diff | hist) . . (0) . . File:SeparationLogicEntailmentChecking.pdf (Radu iosif uploaded a new version of File:SeparationLogicEntailmentChecking.pdf) (current)
- 19:14, 23 January 2021 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf) (current)
- 19:13, 23 January 2021 (diff | hist) . . (0) . . N File:ArchitectureSeparationLogic.pdf (current)
- 18:58, 16 January 2021 (diff | hist) . . (-58) . . Lat21
- 18:57, 16 January 2021 (diff | hist) . . (-27) . . Lat21
- 18:57, 16 January 2021 (diff | hist) . . (-1) . . Lat
- 18:56, 16 January 2021 (diff | hist) . . (0) . . Lat (→Logic and Automata Theory)
- 18:56, 16 January 2021 (diff | hist) . . (+772) . . Lat (→Logic and Automata Theory)
- 18:54, 16 January 2021 (diff | hist) . . (-346) . . Lat
- 18:51, 16 January 2021 (diff | hist) . . (+1,979) . . N Lat21 (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 (Micros...")
- 18:41, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 18:40, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 18:40, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 12:59, 13 January 2021 (diff | hist) . . (+7) . . Recent publications (→Conferences)
- 12:59, 13 January 2021 (diff | hist) . . (+6) . . Recent publications
- 12:59, 13 January 2021 (diff | hist) . . (+6) . . Recent publications
- 12:58, 13 January 2021 (diff | hist) . . (+34) . . Recent publications
- 11:42, 29 December 2020 (diff | hist) . . (0) . . Recent publications
- 11:41, 29 December 2020 (diff | hist) . . (-16) . . Recent publications
- 11:40, 29 December 2020 (diff | hist) . . (+19) . . Recent publications
- 11:39, 29 December 2020 (diff | hist) . . (0) . . N File:Csl2021.pdf (current)
- 11:39, 29 December 2020 (diff | hist) . . (+404) . . Recent publications
- 11:31, 29 December 2020 (diff | hist) . . (+191) . . Recent publications
- 12:54, 21 December 2020 (diff | hist) . . (-32) . . Radu Iosif
- 14:37, 18 August 2020 (diff | hist) . . (+48) . . Radu Iosif (→PhD Students/Alumni)
- 15:53, 16 August 2020 (diff | hist) . . (+188) . . Recent publications (→Conferences)
- 15:51, 16 August 2020 (diff | hist) . . (+13) . . Recent publications
- 15:49, 16 August 2020 (diff | hist) . . (-539) . . Recent publications (→Pending)
- 16:26, 3 July 2020 (diff | hist) . . (+69) . . Internship subjects
- 16:26, 3 July 2020 (diff | hist) . . (+60) . . Internship subjects
- 16:25, 3 July 2020 (diff | hist) . . (+63) . . Internship subjects
- 16:24, 3 July 2020 (diff | hist) . . (-116) . . Internship subjects
- 16:23, 3 July 2020 (diff | hist) . . (+2) . . Internship subjects
- 16:23, 3 July 2020 (diff | hist) . . (-78) . . Internship subjects
- 16:22, 3 July 2020 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf)
- 16:21, 3 July 2020 (diff | hist) . . (+69) . . Internship subjects
- 16:20, 3 July 2020 (diff | hist) . . (0) . . N File:SeparationLogicEntailmentChecking.pdf
- 16:20, 3 July 2020 (diff | hist) . . (+286) . . Internship subjects
- 11:33, 28 January 2020 (diff | hist) . . (-38) . . Radu Iosif
- 10:42, 28 January 2020 (diff | hist) . . (+159) . . Radu Iosif
- 10:40, 28 January 2020 (diff | hist) . . (+209) . . Radu Iosif
- 10:36, 28 January 2020 (diff | hist) . . (-2) . . Radu Iosif
- 10:35, 28 January 2020 (diff | hist) . . (+64) . . Radu Iosif
- 10:32, 28 January 2020 (diff | hist) . . (0) . . N File:Cav2019.pdf (current)
- 10:31, 28 January 2020 (diff | hist) . . (0) . . N File:Fossacs2019.pdf (current)
- 10:29, 28 January 2020 (diff | hist) . . (+512) . . Recent publications
- 10:18, 28 January 2020 (diff | hist) . . (-4) . . Recent publications
- 10:17, 28 January 2020 (diff | hist) . . (-1) . . Recent publications
- 10:17, 28 January 2020 (diff | hist) . . (+140) . . Recent publications
- 10:16, 28 January 2020 (diff | hist) . . (0) . . N File:Tableaux2019.pdf (current)
- 10:12, 28 January 2020 (diff | hist) . . (-196) . . Recent publications
- 10:11, 28 January 2020 (diff | hist) . . (+4) . . Recent publications
- 10:11, 28 January 2020 (diff | hist) . . (+8) . . Recent publications
- 10:10, 28 January 2020 (diff | hist) . . (0) . . N File:Lpar2018.pdf (current)
- 10:08, 28 January 2020 (diff | hist) . . (0) . . Recent publications
- 10:08, 28 January 2020 (diff | hist) . . (+13) . . Recent publications
- 10:05, 28 January 2020 (diff | hist) . . (0) . . N File:Tacas2019.pdf (current)
- 10:03, 28 January 2020 (diff | hist) . . (-10) . . Recent publications
- 10:02, 28 January 2020 (diff | hist) . . (-78) . . Recent publications
- 10:00, 28 January 2020 (diff | hist) . . (-34) . . Recent publications
- 09:58, 28 January 2020 (diff | hist) . . (+1,059) . . Recent publications
- 18:45, 10 December 2019 (diff | hist) . . (0) . . Radu Iosif
- 14:55, 25 November 2019 (diff | hist) . . (+999) . . Internship subjects
- 14:50, 25 November 2019 (diff | hist) . . (-6) . . Radu Iosif
- 14:49, 25 November 2019 (diff | hist) . . (+1) . . Radu Iosif
- 14:48, 25 November 2019 (diff | hist) . . (-2) . . Radu Iosif
- 14:47, 25 November 2019 (diff | hist) . . (-30) . . Internship subjects
- 14:47, 25 November 2019 (diff | hist) . . (+123) . . Internship subjects
- 14:45, 25 November 2019 (diff | hist) . . (+4) . . Internship subjects
- 14: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...")
- 14:42, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 14:42, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 14:41, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 14:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 14:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 14:39, 25 November 2019 (diff | hist) . . (0) . . N File:New.jpg (current)
- 14:37, 25 November 2019 (diff | hist) . . (+1) . . Radu Iosif
- 14:36, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 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
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)