Cedric Baumann

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Minimally Invasive

Top Venues

IEEE Trans. Ind. Electron.

J. Digit. Imaging

Publications

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev
Automatic Verification of RMA Programs via Abstraction Extrapolation. VMCAI (2018)
Pedro Augusto Gondim Teixeira, Jean-Philippe Zabel, Cedric Baumann, Stéphane Albizzati, Henry Coudane, Daniel Winninger, Alain Blum
Can Paper Replace Laser Film to Communicate the Results of Wrist Radiographs in Trauma Cases? A Reproducibility Study of the Reading of Wrist Trauma Case Radiographs on a PACS Workstation, Laser Film, and Paper. J. Digit. Imaging 26 (6) (2013)
Cedric Baumann, Hubert Piquet, Xavier Roboam, Eric Bru
A Mixed Function for Actuation and Power Flow Control in Embedded Networks. IEEE Trans. Ind. Electron. 59 (9) (2012)
Louis Maillard, Emmanuel J. Barbeau, Cedric Baumann, Laurent Koessler, Christian G. Bénar, Patrick Chauvel, Catherine Liégeois-Chauvel
From Perception to Recognition Memory: Time Course and Lateralization of Neural Substrates of Word and Abstract Picture Processing. J. Cogn. Neurosci. 23 (4) (2011)