Cedric Baumann

According to our database, Cedric Baumann authored at least 4 papers between 2011 and 2018.

Collaborative distances:

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

2018

Automatic Verification of RMA Programs via Abstraction Extrapolation.

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2013

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.

Pedro Augusto Gondim Teixeira, Jean-Philippe Zabel, Cedric Baumann, Stéphane Albizzati, Henry Coudane, Daniel Winninger, Alain Blum

J. Digit. Imaging, 2013

2012

A Mixed Function for Actuation and Power Flow Control in Embedded Networks.

Cedric Baumann, Hubert Piquet, Xavier Roboam, Eric Bru

IEEE Trans. Ind. Electron., 2012

2011

From Perception to Recognition Memory: Time Course and Lateralization of Neural Substrates of Word and Abstract Picture Processing.

Louis Maillard, Emmanuel J. Barbeau, Cedric Baumann, Laurent Koessler, Christian G. Bénar, Patrick Chauvel, Catherine Liégeois-Chauvel

J. Cogn. Neurosci., 2011