Patrick Michel

According to our database, Patrick Michel authored at least 5 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Particle Size-Frequency Distributions of the OSIRIS-REx Candidate Sample Sites on Asteroid (101955) Bennu.

Keara N. Burke, Daniella N. DellaGiustina, Carina A. Bennett, Kevin J. Walsh, Maurizio Pajola, Edward B. Bierhaus, Michael C. Nolan, William V. Boynton, Juliette I. Brodbeck, Harold C. Connolly, Jasinghege Don Prasanna Deshapriya, Jason P. Dworkin, Catherine M. Elder, Dathon R. Golish, Rachael H. Hoover, Erica R. Jawin, Timothy J. McCoy, Patrick Michel, Jamie L. Molaro, Jennifer O. Nolau, Jacob Padilla, Bashar Rizk, Stuart J. Robbins, Eric M. Sahr, Peter H. Smith, Stephanie J. Stewart, Hannah C. M. Susorney, Heather L. Enos, Dante S. Lauretta

Remote. Sens., 2021

2014

A Formal Framework for Maintaining the Integrity of Structured Data.

Patrick Michel

PhD thesis, 2014

2013

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).

Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Verifying and Generating WP Transformers for Procedures on Complex Data.

Patrick Michel, Arnd Poetzsch-Heffter

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2010

Maintaining XML Data Integrity in Programs.

Patrick Michel, Arnd Poetzsch-Heffter

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010