Filtrer vos résultats
- 6
- 3
- 5
- 3
- 1
- 7
- 2
- 2
- 2
- 3
- 1
- 2
- 1
- 7
- 2
- 7
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 6
- 5
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
Reconstruction of lake history using nondestructive methods. A first record of organic endmember in sediments using solid phase fluorescence (Lake Noir Inférieur, Aiguilles Rouges Massif, France)EGU 2015, 2015, Vienne, Austria
Communication dans un congrès
hal-02049266v1
|
|||
|
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneauALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01154517v1
|
||
Facing peak loads in a P2P transaction systemThe First Workshop on P2P and Dependability (P2PDEP'12), May 2012, Sibiu, Romania. pp.1-7, ⟨10.1145/2212346.2212347⟩
Communication dans un congrès
hal-01271769v1
|
|||
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue
hal-01344903v1
|
||
|
Formal verification of Mobile Robot Protocols[Research Report] LIP6. 2013
Rapport
hal-00834061v1
|
||
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open ProblemsInternational Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue
hal-01238784v1
|
|||
|
Vérification formelle et robots mobiles15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00818707v1
|
||
|
On the Synthesis of Mobile Robots Algorithms: the Case of Ring GatheringSSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Communication dans un congrès
hal-01016832v2
|
||
|
Land use development and environmental responses since the Neolithic around Lake Paladru in the French Pre-alpsJournal of Archaeological Science, 2016, 7, pp.48-59. ⟨10.1016/j.jasrep.2016.03.040⟩
Article dans une revue
hal-01326183v1
|