Accéder directement au contenu

Jean-Baptiste Yunès

7
Documents
Affiliations actuelles
  • 444497
  • 557826
  • 300301
Contact

Domaines de recherche


Publications

"luidnel-maignan"

Synchronizing the Squad with (Almost) Arbitrary Cut Ratio

Luidnel Maignan , Jean-Baptiste Yunès
Fourth International Symposium on Computing and Networking, CANDAR 2016, Hiroshima, Japan, November 22-25, 2016, 2016, Hiroshima, Japan. pp.229--235, ⟨10.1109/CANDAR.2016.0048⟩
Communication dans un congrès hal-01799305v1

A Field Based Solution of Mazoyer's FSSP Schema

Luidnel Maignan , Jean-Baptiste Yunès
Cellular Automata - 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings, Samira El Yacoubi, Jaroslaw Wąs, Stefania Bandini, 2016, Fez, Morocco. pp.134--143, ⟨10.1007/978-3-319-44365-2_13⟩
Communication dans un congrès hal-01799306v1

Experimental Finitization of Infinite Field-Based Generalized FSSP Solution

Luidnel Maignan , Jean-Baptiste Yunès
Cellular Automata - 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings, 2014, Cracovie, Poland. pp.136--145, ⟨10.1007/978-3-319-11520-7_15⟩
Communication dans un congrès hal-01799311v1

Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces

Luidnel Maignan , Jean-Baptiste Yunès
Cellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers, 2014, Himeji, Japan. pp.83--96, ⟨10.1007/978-3-319-18812-6_7⟩
Communication dans un congrès hal-01799309v1

Recursivity in Field-based Programming: the Firing Squad Example.

Jean-Baptiste Yunès , Luidnel Maignan
Workshop on Spatial Computing International Conference on Autonomous Agents and MultiAgent Systems, Jun 2012, Valencia, Spain
Communication dans un congrès hal-02420182v1
Image document

Proving Formally a Field-Based FSSP Solution

Yoann Marquer , Luidnel Maignan , Jean-Baptiste Yunès
[Technical Report] Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot - Paris 7. 2018, pp.1-58
Rapport hal-01739317v1