Pierre Michel

Orcid: 0000-0001-6151-6279

According to our database1, Pierre Michel authored at least 13 papers between 1997 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Driving Behavior Identification and Real-World Fuel Consumption Estimation With Crowdsensing Data.
IEEE Trans. Intell. Transp. Syst., 2022

2021
A filter approach for feature selection in classification: application to automatic atrial fibrillation detection in electrocardiogram recordings.
BMC Medical Informatics Decis. Mak., 2021

2020
From trips database to real-world fuel consumption. model and large-scale simulation framework.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
Assessing variable importance in clustering: a new method based on unsupervised binary decision trees.
Comput. Stat., 2019

2018
Radio interference challenges in a multiprotocol compact RF hardware platform for home and building automation applications.
Int. J. Commun. Syst., 2018

Automatic generation of the dental scheme based on 2D radiographs.
Proceedings of the Medical Imaging 2018: Biomedical Applications in Molecular, 2018

2017
Clustering nominal data using unsupervised binary decision trees: Comparisons with the state of the art methods.
Pattern Recognit., 2017

2016
Virtual Reality System for Rehabilitation of Children with Cerebral Palsy: A Preliminary Study.
Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2016), 2016

2007
SéMo'07, premier atelier sur la sémantique des modèles.
Obj. Logiciel Base données Réseaux, 2007

2005
A transport simulation code for inertial confinement fusion relevant laser-plasma interaction.
Comput. Phys. Commun., 2005

2003
Towards the verification of real-time systems in avionics: the Cotre approach.
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2001
Using Formal Verification Techniques to Reduce Simulation and Test Effort.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1997
A Framework for Modular Formal Specification and Verification.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997


  Loading...