Job references
From LRDE
This is a property of type Text.
J
- Institut Langevin, CNRS UMR 7587 (ESPCI)
http://www.institut-langevin.espci.fr/
- LRDE (EPITA)
http://www.lrde.epita.fr
- Hôpital des Quinze-Vingts, Paris.
http://www.quinze-vingts.fr/ +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
* [https://www.lrde.epita.fr/wiki/Publications/demaille.14.ciaa Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch. “ A Type System for Weighted Automata and Rational Expressions,” CIAA’14.]
+
* On the usage of a SAT-solver for minimization: https://www.lrde.epita.fr/~adl/dl/adl/baarir.15.lpar.pdf
* For the present usage of SAT-based minimization in Spots: https://spot.lrde.epita.fr/satmin.html
+
[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012] +
[[File:sujet-climb-qt.png|640px]] +
* Parallel Explicit Model Checking for Generalized Büchi Automata:
https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf
* Improved Multi-Core Nested Depth-First:
http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf
* Scalable Multi-core LTL Model-Checking:
http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf
+
Krishnan et al.'s "Deterministic ω-Automata vis-a-vis Deterministic Büchi Automata" (ISAAC'94)
C. Löding. [http://old.automata.rwth-aachen.de/download/papers/loeding/lo98.ps "Methods for the transformation of omega-automata: Complexity and connection to second order logic"] (Master Thesis 1998)
U. Boker. [http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf "Why these automata types"] (LPAR 2018)
http://spot.lrde.epita.fr/ +
http://spot.lrde.epita.fr +
- M. Garrigues and A. Manzanera, "Video++, a modern image and video processing C++ framework," In Proc. of the Conference on Design &
Architectures for Signal & Image Processing (DASIP), 2014. https://hal.inria.fr/hal-01118322/document
- T. Geraud, "Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes," HDR report, Univ. Paris-Est, 2012.
https://www.lrde.epita.fr/~theo/slides/geraud.2012.hdr_slides.pdf
- R. Levillain, T. Geraud, and L. Najman, "Why and how to design a generic and efficient image processing framework: The case of the
milena library," In Proceedings of the IEEE International Conference on Image Processing (ICIP), pages 1941–1944, Hong Kong, September
2010. https://www.lrde.epita.fr/~theo/papers/geraud.2010.icip.pdf +
https://www.lrde.epita.fr/wiki/Publications/newton.16.els
https://www.lrde.epita.fr/wiki/Publications/newton.17.els
https://www.lrde.epita.fr/wiki/Publications/newton.18.meta.pdf
https://www.lrde.epita.fr/wiki/Publications/newton.18.tocl
https://www.lrde.epita.fr/wiki/Publications/newton.19.els +
* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters
https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf
* On-The-Fly Parallel Decomposition of Strongly Connected Components
https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf
* Parallel Explicit Model Checking for Generalized Büchi Automata:
https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf
* Improved Multi-Core Nested Depth-First:
http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf
* Scalable Multi-core LTL Model-Checking:
http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf
* Distributed Algorithms for SCC Decomposition
https://core.ac.uk/download/pdf/81957312.pdf
+
Some references
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
* [http://arxiv.org/abs/1010.5318 Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot, “Minimization of automata.”]
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.8177 Marie-Pierre Béal, Maxime Crochemore, “Minimizing incomplete automata.”] +
Quelques références bibliographiques
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
* [http://arxiv.org/abs/1010.5318 Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot, “Minimization of automata.”]
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.8177 Marie-Pierre Béal, Maxime Crochemore, “Minimizing incomplete automata.”] +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
* [http://www.cs.sun.ac.za/~jaco/PUBS/index.html#vzg13 L. van Zijl, J. Geldenhuys, “ Symmetric Difference NFA: the state of the art”]
+
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
+
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.]
* [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]
+
* HOAF: format for omega-automata with general acceptance. http://adl.github.io/hoaf/
* Spot: C++ library in which we would like to implement the developed algorithms. https://spot.lrde.epita.fr/
* Christof Löding's diploma thesis about conversion between different acceptance types. http://www.automata.rwth-aachen.de/~loeding/diploma_loeding.pdf
+
1. A. Mosleh, N. Bouguila, and A. Ben Hamza, “Automatic Inpainting Scheme for Video Text Detection and Removal,” IEEE Transactions on Image Processing, vol. 22, no. 11, pp. 4460–4472, 2013.
2. M.Wang,B.Yan,andK.NgiNgan,“Anefficientframeworkforimage/video inpainting,” Signal Processing : Image Communication, vol. 28, no. 7, pp. 753–762, 2013.
3. S. Choi, B. Ham, K. Sohn, “Space-Time Hole Filling With Random Walks in View Extrapolation for 3D Video,” IEEE Transactions on Image Pro- cessing, vol. 22, no. 6, pp. 2429–2441, 2013. +
1. A. Mosleh, N. Bouguila, and A. Ben Hamza, “Automatic Inpainting Scheme for Video Text Detection and Removal,” IEEE Transactions on Image Processing, vol. 22, no. 11, pp. 4460–4472, 2013.
2. M.Wang,B.Yan,andK.NgiNgan,“Anefficientframeworkforimage/video inpainting,” Signal Processing : Image Communication, vol. 28, no. 7, pp. 753–762, 2013.
3. S. Choi, B. Ham, K. Sohn, “Space-Time Hole Filling With Random Walks in View Extrapolation for 3D Video,” IEEE Transactions on Image Pro- cessing, vol. 22, no. 6, pp. 2429–2441, 2013. +
[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012] +
[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012] +
* Spot: https://spot.lrde.epita.fr/
* LDL: https://www.cs.rice.edu/~vardi/papers/ijcai13.pdf (attention, la sémantique de LDL y est donnée sur des mots finis, alors que nous travaillerons sur des mots infinis).
* PSL: https://fr.wikipedia.org/wiki/Property_Specification_Language
+
* Spot: https://spot.lrde.epita.fr/
* https://www.researchgate.net/publication/318983530_Graph_Processing_on_GPUs_A_Survey
* https://arxiv.org/pdf/1801.05857.pdf
* https://fmt.ewi.utwente.nl/media/101.pdf
+
* Spot: https://spot.lrde.epita.fr/
* HOA: https://www.lrde.epita.fr/~adl/dl/adl/babiak.15.cav.pdf
* Why these automata types: http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf
* L'article d'Emerson-Lei: https://www.sciencedirect.com/science/article/pii/0167642387900360
* Une des premières utilisations du terme "EL-automaton": https://www.cs.rice.edu/~vardi/papers/stoc89rj.pdf
+
[[File:sujet-climb-qt.png|640px]] +