Bosio Bosio

Statistics

Publications

Citations

H-Index

Active since

2009

Affiliations

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier(Current)

Bosio Bosio is an author at Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringDiagnosisFuel CellsVerificationFormal MethodsFault DiagnosisComputer ScienceMixed ConductorsSoftware TestingEnergy Conversion

Publications per year

2009–2013

Publications

A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects

Bosio Bosio, Patrick Girard, S. Pravossoudovitch et al. · IEEE Transactions on Computers · 2009 · 20 citations

Fault Diagnosis, Engineering, Verification +18

Membranes and Molten Carbonate Fuel Cells to Capture CO2 and Increase Energy Production in Natural Gas Power Plants

Greppi, Paolo, Bosio Bosio et al. · Industrial & Engineering Chemistry Research · 2013 · 15 citations

Chemical Engineering, Engineering, Energy Conversion +9

1–2 of 2