Concepedia

Magnus Carlsson

MC

17

Publications

641

Citations

13

H-Index

1984

Active since

Affiliations

Chalmers University of Technology(Current)

Oregon Health & Science University

KTH Royal Institute of Technology

Magnus Carlsson is an author at Chalmers University of Technology specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringChemistryOrganic ChemistrySoftware AnalysisAutomated Reasoning

Publications per year

1984–2015

17

Publications

17

Study of the sequential conversion of citric to itaconic to methacrylic acid in near-critical and supercritical water

Magnus Carlsson, Christine Habenicht, Lance C. Kam et al. · Industrial & Engineering Chemistry Research · 1994 · 94 citations

Molecular Sciences, Engineering, Chemical Measurement +15

Magnus Carlsson, Thomas Hallgren · 1993 · 88 citations · Full text

Mechanism and Kinetics of the Acid-Catalyzed Dehydration of 1- and 2-Propanol in Hot Compressed Liquid Water

Michael Jerry Antal, Magnus Carlsson, Xiaodong Xu et al. · Industrial & Engineering Chemistry Research · 1998 · 70 citations

Chemical Engineering, Engineering, Acid-catalyzed Dehydration +13

Monads for incremental computing

Magnus Carlsson · 2002 · 67 citations

Incremental Computation, Programming Language Theory, Engineering +15

State-Dependent Riccati Equation Control of a Small Unmanned Helicopter

Magnus Carlsson, G.F. Harvey, John L. Hunt et al. · AIAA Guidance, Navigation, and Control Conference and Exhibit · 2003 · 58 citations

Engineering, Aerial Robotics, Small Unmanned Helicopter +4

Rows per page

1–5 of 17