Cedric Baumann

Orcid: 0000-0003-4887-9459

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

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

2018
Automatic Verification of RMA Programs via Abstraction Extrapolation.
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.
J. Digit. Imaging, 2013

2012
A Mixed Function for Actuation and Power Flow Control in Embedded Networks.
IEEE Trans. Ind. Electron., 2012

2011
From Perception to Recognition Memory: Time Course and Lateralization of Neural Substrates of Word and Abstract Picture Processing.
J. Cogn. Neurosci., 2011


  Loading...