This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
posters [2018/01/09 19:56] emmanuel [Posters of Team APR] |
posters [2018/01/09 20:19] emmanuel [Posters of Team APR] |
||
---|---|---|---|
Line 2: | Line 2: | ||
====== Posters of Team APR ====== | ====== Posters of Team APR ====== | ||
- | * Antoine Genitrini - HCERES 2018 : | + | * Antoine Genitrini - HCERES LIP6 2018-01 : |
* Etude quantitative et exploration statistique des processus concurrents ([[apr>posters/Antoine_Genitrini--hceres2018.pdf|PDF]]) | * Etude quantitative et exploration statistique des processus concurrents ([[apr>posters/Antoine_Genitrini--hceres2018.pdf|PDF]]) | ||
* Mathias Bourgoin - GDR GPL 2014-05 : | * Mathias Bourgoin - GDR GPL 2014-05 : | ||
Line 10: | Line 10: | ||
* Jérémie Salvucci - GDR GPL 2013-04 : | * Jérémie Salvucci - GDR GPL 2013-04 : | ||
* Memory Consumption Analysis ([[apr>posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]]) | * Memory Consumption Analysis ([[apr>posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]]) | ||
+ | * Benjamin Canou - AERES LIP6 2013-01 : | ||
+ | * A declarative-friendly API for Web document manipulation ([[apr>posters/Benjamin_Canou--aereslip6.pdf|PDF]]) | ||
* Philippe Wang - AERES LIP6 2013-01 : | * Philippe Wang - AERES LIP6 2013-01 : | ||
* Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]]) | * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]]) |