BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Xavier Urbain

Xavier Urbain contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Distributed, Parallel, and Cluster ComputingLogic in Computer Scienceastro-ph.IMComputational Geometrycond-mat.mes-hallDiscrete Mathematicsphysics.atom-phphysics.chem-phquant-phRobotics

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2026arXiv

Fast hydrogen atom diffraction through monocrystalline graphene

We report fast atom diffraction through single-layer graphene using hydrogen atoms at kinetic energies from 150 to 1200 eV. High-resolution images reveal overlapping hexagonal patterns from coexisting monocrystalline domains. Time-of-flight tagging confirms negligible energy loss, making the method suitable for matter-wave interferometry. The diffraction is well described by the eikonal approximation, with accurate modeling requiring the full 3D interaction potential from DFT. Simpler models fail to reproduce the data, highlighting the exceptional sensitivity of diffraction patterns to atom-surface interactions and their potential for spectroscopic applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Branching ratio for $\text{O}+\text{H}_3^+$ forming $\text{OH}^+ +\text{H}_2$ and $\text{H}_2\text{O}^+ +\text{H}$

The gas-phase reaction of $\mathrm{O}+\mathrm{H}_3^+$ has two exothermic product channels, $\mathrm{OH}^+ +\mathrm{H}_2$ and $\mathrm{H}_2\mathrm{O}^+ +\mathrm{H}$. In the present study, we analyze experimental data from a merged-beams measurement to derive thermal rate coefficients resolved by product channel for the temperature range from 10 to 1000 K. Published astrochemical models either ignore the second product channel or apply a temperature-independent branching ratio of 70% vs. 30% for the formation of $\mathrm{OH}^+ +\mathrm{H}_2$ vs. $\mathrm{H}_2\mathrm{O}^+ +\mathrm{H}$, respectively, which originates from a single experimental data point measured at 295 K. Our results are consistent with this data point, but show a branching ratio that varies with temperature reaching 58% vs. 42% at 10 K. We provide recommended rate coefficients for the two product channels for two cases, one where the initial fine-structure population of the O$(^3P_J)$ reactant is in its $J=2$ ground state and the other one where it is in thermal equilibrium.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Computer Aided Formal Design of Swarm Robotics Algorithms

Previous works on formally studying mobile robotic swarms consider necessary and sufficient system hypotheses enabling to solve theoretical benchmark problems (geometric pattern formation, gathering, scattering, etc.). We argue that formal methods can also help in the early stage of mobile robotic swarms protocol design, to obtain protocols that are correct-by-design, even for problems arising from real-world use cases, not previously studied theoretically. Our position is supported by a concrete case study. Starting from a real-world case scenario, we jointly design the formal problem specification, a family of protocols that are able to solve the problem, and their corresponding proof of correctness, all expressed with the same formal framework. The concrete framework we use for our development is the PACTOLE library based on the COQ proof assistant.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Impossibility of Gathering, a Certification

Recent advances in Distributed Computing highlight models and algorithms for autonomous swarms of mobile robots that self-organise and cooperate to solve global objectives. The overwhelming majority of works so far considers handmade algorithms and proofs of correctness. This paper builds upon a previously proposed formal framework to certify the correctness of impossibility results regarding distributed algorithms that are dedicated to autonomous mobile robots evolving in a continuous space. As a case study, we consider the problem of gathering all robots at a particular location, not known beforehand. A fundamental (but not yet formally certified) result, due to Suzuki and Yamashita, states that this simple task is impossible for two robots executing deterministic code and initially located at distinct positions. Not only do we obtain a certified proof of the original impossibility result, we also get the more general impossibility of gathering with an even number of robots, when any two robots are possibly initially at the same exact location.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the COQ higher order calculus to reason about algorithms as abstract objects. We present in particular formal proofs of two impossibility results forconvergence of oblivious mobile robots if respectively more than one half and more than one third of the robots exhibit Byzantine failures, starting from the original theorems by Bouzid et al.. Thanks to our formalization, the corresponding COQ developments are quite compact. To our knowledge, these are the first certified (in the sense of formally proved) impossibility results for robot networks.

0 citations0 reviewsNo code linkedOpen access