A qualitative study of clinicians ways of using a decision-support system. - Daniel Karlsson; Christer Ekdahl; Ove Wigertz; Urban Forsum (AMIA, 1997)

Design and Application of a Terminology Management System. - Mats Carlsson; Daniel Karlsson; Hans Åhlfeldt; Ove Wigertz (MedInfo, 1998)

A Decision-Support System for Urinary Tract Infections. - Daniel Karlsson; Olle Aspevall; Urban Forsum (AMIA, 1999)

Preliminary Report: Concepts and Terms used to describe Urinary Tract Infection in Primary Health Care and in the Clinical Microbiology Laboratory. - Olle Aspevall; Urban Forsum; Daniel Karlsson (MIE, 1999)

Concepts, Contexts and Expert Systems. - Daniel Karlsson; Olle Aspevall; Urban Forsum (MIE, 1999)

A Design and Prototype for a Decision-Support System in the Field of Urinary Tract Infections - Application of OpenGALEN Techniques for Indexing Medical Information. - Daniel Karlsson (MedInfo, 2001)

Formal Verification in a Component-Based Reuse Methodology. - Petru Eles; Zebo Peng; Daniel Karlsson (ISSS, 2002)

Requirements and prototyping of a home health care application based on emerging JAVA technology. - Leili Lind; Erik Sundvall; Daniel Karlsson; Nosrat Shahsavar; Hans Åhlfeldt (Int. J. Medical Informatics, 2002)

Symptom Assessment in Home Healthcare Using Digital Pens. - Leili Lind; Daniel Karlsson (AMIA, 2003)

A Formal Verification Methodology for IP-based Designs. - Daniel Karlsson; Petru Eles; Zebo Peng (DSD, 2004)

A Formal Verification Approach for IP-based Designs. - Daniel Karlsson; Petru Eles; Zebo Peng (FDL, 2004)

Validation of Embedded Systems Using Formal Method Aided Simulation. - Daniel Karlsson; Petru Eles; Zebo Peng (DSD, 2005)

Wide-Area Protection and Emergency Control. - Miroslav M. Begovic; Damir Novosel; Daniel Karlsson; Charlie Henville; Gary Michel (Proc. IEEE, 2005)

Wide-Area Protection and Power System Utilization. - Joachim Bertsch; Cédric Carnal; Daniel Karlsson; John McDaniel; Khoi Vu (Proc. IEEE, 2005)

Formal verification of systemc designs using a petri-net based representation. - Daniel Karlsson; Petru Eles; Zebo Peng (DATE, 2006)

Verification of Component-based Embedded System Designs. - Daniel Karlsson (2006)

Transactor-based Formal Verification of Real-time Embedded Systems. - Daniel Karlsson; Petru Eles; Zebo Peng (FDL, 2007)

What impacts course evaluation? - Erik Larsson; Mehdi Amirijoo; Daniel Karlsson; Petru Eles (ITiCSE, 2007)

Formal verification of component-based designs. - Daniel Karlsson; Petru Eles; Zebo Peng (Des. Autom. Embed. Syst., 2007)

An Archetype-based Testing Framework. - Rong Chen; Sebastian Garde; Thomas Beale 001; Mikael Nyström; Daniel Karlsson; Gunnar O. Klein; Hans Åhlfeldt (MIE, 2008)

Systematizing medical alerts. - Mattias Pettersson; Jenny Wihlborg; Rikard Lövström; Erik Sundvall; Mikael Nyström; Daniel Karlsson (MIE, 2008)

Model validation for embedded systems using formal method-aided simulation. - Daniel Karlsson; Petru Eles; Zebo Peng (IET Comput. Digit. Tech., 2008)

Patients' use of digital pens for pain assessment in advanced palliative home healthcare. - Leili Lind; Daniel Karlsson; Bengt Fridlund (Int. J. Medical Informatics, 2008)

Integration of tools for binding archetypes to SNOMED CT. - Erik Sundvall; Rahil Qamar; Mikael Nyström; Mattias Forss; Håkan Petersson; Daniel Karlsson; Hans Åhlfeldt; Alan L. Rector (BMC Medical Informatics Decis. Mak., 2008)

Clinical Laboratory Sciences Data Transmission: The NPU Coding System. - Françoise Pontet; Ulla Magdal Petersen; Xavier Fuentes-Arderiu; Gunnar Nordin; Ivan Bruunshuus; Jarkko Ihalainen; Daniel Karlsson; Urban Forsum; René Dybkaer; Gunther Schadow; Wolf Kuelpmann; Georges Férard; et al. (MIE, 2009)

Is the "International Classification for Patient Safety" a Classification? - Stefan Schulz 001; Daniel Karlsson; Christel Daniel; Hans Cools; Christian Lovis (MIE, 2009)

Archetype-based conversion of EHR content models: pilot experience with a regional EHR system. - Rong Chen; Gunnar O. Klein; Erik Sundvall; Daniel Karlsson; Hans Åhlfeldt (BMC Medical Informatics Decis. Mak., 2009)

Information Models and Ontologies for Representing the Electronic Health Record. - Daniel Karlsson; Martin Berzell; Stefan Schulz 001 (ICBO, 2011)

Improving automotive embedded systems engineering at European level. - Gerhard Griessnig; Ingrid Kundner; Eric Armengaud; Sandra Torchiaro; Daniel Karlsson (Elektrotech. Informationstechnik, 2011)

Timing Modeling with AUTOSAR - Current state and future directions. - Marie-Agnès Peraldi-Frati; Hans Blom; Daniel Karlsson; Stefan Kuntz (DATE, 2012)

Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. - Oscar Ljungkrantz; Henrik Lönn; Hans Blom; Cecilia Ekelin; Daniel Karlsson (SAFECOMP Workshops, 2012)

User-Directed Coordination in SNOMED CT. - Ronald Cornet; Mikael Nyström; Daniel Karlsson (MedInfo, 2013)

The openEHR Developers' Workshop. - Shinji Kobayashi; Alan David March; Erik Sundvall; Daniel Karlsson; Mikael Nyström; Sérgio Miranda Freire; Bert Verhees; Iago Corbal; Nadim Anani; Rong Chen (MedInfo, 2013)

Digital Pen-Based Telemonitoring of Elderly Heart Failure Patients. - Leili Lind; Daniel Karlsson (MedInfo, 2013)

Applying representational state transfer (REST) architecture to archetype-based electronic health record systems. - Erik Sundvall; Mikael Nyström; Daniel Karlsson; Martin Eneling; Rong Chen; Håkan Örman (BMC Medical Informatics Decis. Mak., 2013)

An Ontological Analysis of Reference in Health Record Statements. - Stefan Schulz 001; Catalina Martínez-Costa; Daniel Karlsson; Ronald Cornet; Mathias Brochhausen; Alan L. Rector (FOIS, 2014)

Semantic Krippendorff's α for measuring inter-rater agreement in SNOMED CT coding studies. - Daniel Karlsson; Kirstine Rosenbeck Gøeg; Håkan Örman; Anne Randorff Højen (MIE, 2014)

Does SNOMED CT post-coordination scale? - Daniel Karlsson; Mikael Nyström; Ronald Cornet (MIE, 2014)

Telehealth for "the Digital Illiterate" - Elderly Heart Failure Patients Experiences. - Leili Lind; Daniel Karlsson (MIE, 2014)

Towards feature-oriented requirements validation for automotive systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist; Henrik Lönn; Daniel Karlsson; Bo Liwang (RE, 2014)

Ontology Patterns for Clinical Information Modelling. - Catalina Martínez-Costa; Daniel Karlsson; Stefan Schulz 001 (WOP, 2014)

Archetype Representation of PROMs. - Daniel Karlsson; Leili Lind (MIE, 2015)

Semantic enrichment of clinical models towards semantic interoperability. The heart failure summary use case. - Catalina Martínez-Costa; Ronald Cornet; Daniel Karlsson; Stefan Schulz 001; Dipak Kalra (J. Am. Medical Informatics Assoc., 2015)

Suggesting Missing Relations in Biomedical Ontologies Based on Lexical Regularities. - Manuel Quesada-Martínez; Jesualdo Tomás Fernández-Breis; Daniel Karlsson (MIE, 2016)

Ontological Representation of Laboratory Test Observables: Challenges and Perspectives in the SNOMED CT Observable Entity Model Adoption. - Mélissa Mary; Lina Fatima Soualmia; Xavier Gansel; Stéfan Jacques Darmoni; Daniel Karlsson; Stefan Schulz 001 (AIME, 2017)

SNOMED CT for structured, computable cancer synoptic reporting. - Walter S. Campbell; Daniel Karlsson; Audrey Lazenby; Geoffrey Talmon; James R. Campbell 001 (CRI, 2017)

A computable pathology report for precision medicine: extending an observables ontology unifying SNOMED CT and LOINC. - Walter S. Campbell; Daniel Karlsson; Daniel J. Vreeman; Audrey Lazenby; Geoffrey Talmon; James R. Campbell 001 (J. Am. Medical Informatics Assoc., 2018)

Quantitative analysis of manual annotation of clinical text samples. - José Antonio Miñarro-Giménez; Ronald Cornet; Marie-Christine Jaulent; Heike Dewenter; Sylvia Thun; Kirstine Rosenbeck Gøeg; Daniel Karlsson; Stefan Schulz 001 (Int. J. Medical Informatics, 2019)

SNOMED CT and Basic Formal Ontology - convergence or contradiction between standards? The case of "clinical finding". - Stefan Schulz 001; James T. Case; Peter Hendler; Daniel Karlsson; Michael Lawley; Ronald Cornet; Robert R. Hausam; Harold Solbrig; Karim Nashar; Catalina Martínez-Costa; Yongsheng Gao 005 (Appl. Ontology, 2023)