Fredrik Larsson

UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems

Johan Bengtsson, Kim G. Larsen, Fredrik Larsson et al. · BRICS Report Series · 1996 · 192 citations · Full text

Computing, Computer Engineering, Computer Science +17

Efficient verification of real-time systems: compact data structure and state-space reduction

Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al. · 2002 · 181 citations

Computing, Computer Engineering, Computer Science +17

Reduced interface recombination in Cu2ZnSnS4 solar cells with atomic layer deposition Zn1−<i>x</i>Sn<i>x</i>O<i>y</i> buffer layers

Charlotte Platzer‐Björkman, Christoffer Frisk, Jes K. Larsen et al. · Applied Physics Letters · 2015 · 115 citations · Full text

Engineering, Materials Engineering, Materials Science +17

Record 1.0 V open‐circuit voltage in wide band gap chalcopyrite solar cells

Fredrik Larsson, Nina Shariati Nilsson, Jan Keller et al. · Progress in Photovoltaics Research and Applications · 2017 · 100 citations · Full text

Engineering, Materials Engineering, Materials Science +17

Cadmium Free Cu₂ZnSnS₄ Solar Cells with 9.7% Efficiency

Jes K. Larsen, Fredrik Larsson, Tobias Törndahl et al. · Advanced Energy Materials · 2019 · 92 citations · Full text

Engineering, Materials Engineering, Materials Science +17