Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thibaut Balabonski

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Xavier Urbain

> Home > Persons > Thibaut Balabonski

Publications

2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BalabonskiCPRTU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BalabonskiCPRTU21
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Computer Aided Formal Design of Swarm Robotics Algorithms. SSS 2021: 469-473
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-06966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-06966
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Computer Aided Formal Design of Swarm Robotics Algorithms. CoRR abs/2101.06966 (2021)
2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BalabonskiDRTU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BalabonskiDRTU19
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory Comput. Syst. 63(2): 200-218 (2019)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/BalabonskiCPRTU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/BalabonskiCPRTU19
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. NETYS 2019: 93-109
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BalabonskiCPRTU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BalabonskiCPRTU18
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. SSS 2018: 404-408
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BalabonskiCRTU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BalabonskiCRTU17
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. FMICS-AVoCS 2017: 165-181
2016
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BalabonskiDRTU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BalabonskiDRTU16
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. SSS 2016: 7-19

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.