User contributions
For Alexandre Duret-Lutz (talk | block log | uploads | logs)(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 23:42, 18 February 2021 (diff | hist) (+50) Past People (→Class 2007) (current)
- 14:53, 14 January 2021 (diff | hist) (+17) Courses/ALGO (current)
- 12:10, 13 January 2021 (diff | hist) (+216) Courses/ALGO-TDTP (current)
- 12:07, 13 January 2021 (diff | hist) (0) Courses/ALGO
- 11:42, 13 January 2021 (diff | hist) (0) Cours/THEG App (current)
- 11:41, 13 January 2021 (diff | hist) (+12) Cours/THEG App
- 11:40, 13 January 2021 (diff | hist) (+11) Cours/THEG App
- 11:38, 13 January 2021 (diff | hist) (+1) Cours/THEG App
- 11:36, 13 January 2021 (diff | hist) (+275) N Cours/THEG App (Created page with "{{Course |visible=No |title=Théorie des graphes |acronym=THEG |teacher=Adl |period=S2, App1 |audience=AppIng |duration=12h |optional course=non |objectives=Notions de théori...")
- 11:24, 13 January 2021 (diff | hist) (+327) N Courses/ASIE (Created page with "{{Course |visible=Yes |title=Approche Scientifique pour l'Informatique Expérimentale |acronym=ASIE |teacher=Adl |period=S4, Ing2 |audience=RDI |exam type=Projet |duration=12h...") (current)
- 16:59, 10 December 2020 (diff | hist) (0) File:Duret-lutz.jpg (Adl uploaded a new version of File:Duret-lutz.jpg) (current)
- 08:13, 7 October 2020 (diff | hist) (+135) Projects (→Spot: a model checking library) (current)
- 08:11, 7 October 2020 (diff | hist) (+2) Projects (update description of Spot)
- 19:39, 28 May 2020 (diff | hist) (+43) N Publications/blahoudek.20.atva (Redirected page to Publications/blahoudek.20.cav) (current) (Tag: New redirect)
- 15:06, 3 December 2019 (diff | hist) (-1) Jobs/PHD 2019 omegalgo (current)
- 14:36, 5 July 2019 (diff | hist) (+96) m Jobs/PHD 2019 LDL
- 14:34, 5 July 2019 (diff | hist) (+27) m Jobs/PHD 2019 omegaGPU
- 14:34, 5 July 2019 (diff | hist) (-2) m Jobs/PHD 2019 omegaGPU
- 14:33, 5 July 2019 (diff | hist) (-1) m Jobs/PHD 2019 omegaGPU
- 14:33, 5 July 2019 (diff | hist) (+36) m Jobs/PHD 2019 omegaGPU
- 14:35, 16 April 2019 (diff | hist) (+218) TickTac (current)
- 11:19, 28 March 2019 (diff | hist) (0) m Jobs/PHD 2019 omegaGPU
- 11:18, 28 March 2019 (diff | hist) (+22) m Jobs/PHD 2019 omegaGPU
- 11:18, 28 March 2019 (diff | hist) (+1,135) N Jobs/PHD 2019 omegaGPU (Created page with "{{Job |Reference id=PHD 2019 omegaGPU |Title=Parallélisation des algorithmes d'ω-automates sur GPU |Dates=2019 |Research field=Automates et vérification |Advisor=Alexandre...")
- 11:17, 28 March 2019 (diff | hist) (0) m Jobs/PHD 2019 omegalgo
- 11:15, 28 March 2019 (diff | hist) (+4,401) N Jobs/PHD 2019 omegalgo (Created page with "{{Job |Reference id=PHD 2019 omegalgo |Title=Algorithmique des ω-automates |Dates=2019 |Research field=Automates et vérification |Related project=Spot |Advisor=Alexandre Dur...")
- 11:00, 28 March 2019 (diff | hist) (0) m Jobs/PHD 2019 LDL
- 10:59, 28 March 2019 (diff | hist) (-33) Open positions - PhD (current)
- 10:59, 28 March 2019 (diff | hist) (+33) Open positions - PhD
- 10:58, 28 March 2019 (diff | hist) (+2) Open positions - PhD
- 10:57, 28 March 2019 (diff | hist) (-2) Open positions - PhD
- 10:57, 28 March 2019 (diff | hist) (-24) m Jobs/PHD 2019 LDL
- 10:56, 28 March 2019 (diff | hist) (+12) Jobs/PHD 2019 LDL
- 10:36, 28 March 2019 (diff | hist) (-4) m Jobs/PHD 2019 LDL
- 10:36, 28 March 2019 (diff | hist) (+4) m Jobs/PHD 2019 LDL
- 10:36, 28 March 2019 (diff | hist) (-4) m Jobs/PHD 2019 LDL
- 10:35, 28 March 2019 (diff | hist) (+2,297) N Jobs/PHD 2019 LDL (Created page with "{{Job |Reference id=PHD_2019_LDL |Title=Traduction de logique dynamique linéaire en ω-automates |Research field=automates, logique temporelle, model checking, vérification...")
- 17:41, 16 November 2018 (diff | hist) (+117) Jobs/M2 2017 MC Spot Generic Acc (current)
- 11:20, 4 October 2018 (diff | hist) (+9) Jobs
- 11:19, 4 October 2018 (diff | hist) (+3,703) N Enseignant-chercheur, équipe automates et vérification (Created page with "L'[http://epita.fr EPITA] est une école d'ingénieur (CTI), reconnue comme une école majeure dans le domaine de l'informatique. Le [https://www.usinenouvelle.com/comparatif-...")
- 11:18, 4 October 2018 (diff | hist) (+10) Jobs
- 11:09, 4 October 2018 (diff | hist) (+53) Jobs
- 16:39, 27 June 2018 (diff | hist) (+1) Spot (→LRDE publications related to Spot)
- 15:33, 27 June 2018 (diff | hist) (0) File:Spot.png (Adl uploaded a new version of "File:Spot.png": new logo) (current)
- 18:26, 20 January 2018 (diff | hist) (-70) NewsEntry (2018/01/20) (current)
- 18:24, 20 January 2018 (diff | hist) (+383) N NewsEntry (2018/01/20) (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.5] was released |subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis. |date=2018/01/20 }} The main f...")
- 20:49, 16 November 2017 (diff | hist) (-358) m NewsEntry (2017/09/06) (Blanked the page) (current)
- 20:48, 16 November 2017 (diff | hist) (+432) Nm NewsEntry (2017/09/06)2 (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |subtitle=More tools, and more support for complex acceptance conditions. |date=2017/09/06 }} This release con...") (current)
- 20:46, 16 November 2017 (diff | hist) (+358) N NewsEntry (2017/09/06) (Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |date=2017/09/06 }} This release contains two new tools (genaut for generating families of automata taken from...")
- 11:30, 23 February 2017 (diff | hist) (+203) Jobs/M2 2017 MC Spot Generic Acc
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)