Patrick Michel

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Tree Representation

Frequency Distribution

Top Venues

Programming Logics

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

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
Particle Size-Frequency Distributions of the OSIRIS-REx Candidate Sample Sites on Asteroid (101955) Bennu. Remote. Sens. 13 (7) (2021)
Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). Programming Logics (2013)
Patrick Michel, Arnd Poetzsch-Heffter
Verifying and Generating WP Transformers for Procedures on Complex Data. ITP (2012)
Patrick Michel, Arnd Poetzsch-Heffter
Maintaining XML Data Integrity in Programs. SOFSEM (2010)