User profiles for K. Larsson

Kim G. Larsen

- Verified email at cs.aau.dk - Cited by 33724

Karl-Henrik Larsson

- Verified email at nhm.uio.no - Cited by 27483

A higher-level phylogenetic classification of the Fungi

…, JE Ironside, U Kõljalg, CP Kurtzman, KH Larsson… - Mycological …, 2007 - Elsevier
A comprehensive phylogenetic classification of the kingdom Fungi is proposed, with reference
to recent molecular phylogenetic analyses, and with input from diverse members of the …

A Tutorial on Uppaal

G Behrmann, A David, KG Larsen - Formal methods for the design of real …, 2004 - Springer
… Processes stay non-deterministically between 0 and k time units in req, and then go to the
wait location and set id to their process ID (pid). There it must wait at least k time units, x>k, k

Exercise‐induced asthma, respiratory and allergic disorders in elite athletes: epidemiology, mechanisms and diagnosis: Part I of the report from the Joint Task Force of …

…, SR Del Giacco, F Drobnic, T Haahtela, K Larsson… - Allergy, 2008 - Wiley Online Library
Aims: To analyze the changes in the prevalence of asthma, bronchial hyperresponsiveness (BHR)
and allergies in elite athletes over the past years, to review the specific pathogenetic …

Neuromelanin biosynthesis is driven by excess cytosolic catecholamines not accumulated by synaptic vesicles

D Sulzer, J Bogulavsky, KE Larsen… - Proceedings of the …, 2000 - National Acad Sciences
… Spectra were taken at 77 K and 100-KHz modulation amplitude. EPR data are expressed
as the first derivative of the absorption related to the increase in applied magnetic field. …

[BOOK][B] UPPAAL—a tool suite for automatic verification of real-time systems

J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi - 1996 - Springer
… Kim Larsen 1 Fredrik Larsson 2 … over by x, y, z etc and a finite set of data variables V ranged
over by i, j, k etc. … Larsen, Paul Pettersson, and Wang Yi. Diagnostic Model-Checking for …

Towards a unified paradigm for sequence‐based identification of fungi

…, M Hartmann, PM Kirk, P Kohout, E Larsson… - 2013 - Wiley Online Library
The nuclear ribosomal internal transcribed spacer ( ITS ) region is the formal fungal barcode
and in most cases the marker of choice for the exploration of fungal diversity in …

Phosphate‐deficient oat replaces a major portion of the plasma membrane phospholipids with the galactolipid digalactosyldiacylglycerol

MX Andersson, MH Stridh, KE Larsson… - FEBS …, 2003 - Wiley Online Library
The plasma membranes of oat normally resemble those of other eukaryotes in containing
mainly phospholipids and sterols. We here report the novel finding that the galactolipid …

Global diversity and geography of soil fungi

…, DJ Lodge, SS Lee, KH Larsson, P Kohout, K Hosaka… - science, 2014 - science.org
Introduction The kingdom Fungi is one of the most diverse groups of organisms on Earth,
and they are integral ecosystem agents that govern soil carbon cycling, plant nutrition, and …

The UNITE database for molecular identification of fungi–recent updates and future perspectives

K Abarenkov, RH Nilsson, KH Larsson, IJ Alexander… - The New …, 2010 - JSTOR
Ectomycorrhizal (ECM) fungi are typically examined for taxonomic affiliation through sequence
similarity searches involving the internal transcribed spacer (ITS) region of the nuclear …

The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications

RH Nilsson, KH Larsson, AFS Taylor… - Nucleic acids …, 2019 - academic.oup.com
UNITE ( https://unite.ut.ee/ ) is a web-based database and sequence management environment
for the molecular identification of fungi. It targets the formal fungal barcode—the nuclear …