Frédéric Daumas

Statistics

Publications

Citations

310

H-Index

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Frédéric Daumas is an author at Centre National de la Recherche Scientifique specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringMedicineChemistryBiophysicsBlockchainMicroscopy

Publications per year

2002–2018

Publications

Confined Diffusion Without Fences of a G-Protein-Coupled Receptor as Revealed by Single Particle Tracking

Frédéric Daumas, Nicolas Destainville, Claire Millot et al. · Biophysical Journal · 2003 · 209 citations · Full text

Biophysical Modeling, Proteinlipid Interaction, Diffusion Without Fences +11

Model-Checking of Smart Contracts

Zeinab Nehaï, Pierre-Yves Piriou, Frédéric Daumas · 2018 · 80 citations

Engineering, Verification, Software Engineering +20

Probing functionalized gold colloids for single particle tracking experiments

Frédéric Daumas, Honoré Mazarguil, Claire Millot et al. · Biochemical and Biophysical Research Communications · 2002 · 11 citations

Nanoparticles, Colloidal Material, Engineering +6

Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.

Damien Chabrol, Christophe Aussaguès, Stéphane Louise et al. · IASTED PDCS · 2005 · 10 citations

Intricate Systems, Engineering, Real-time System Design +18

1–4 of 4