| 2017 | AIME | Ontological Representation of Laboratory Test Observables: Challenges and Perspectives in the SNOMED CT Observable Entity Model Adoption. | Mlissa Mary, Lina Fatima Soualmia, Xavier Gansel, Stfan Jacques Darmoni, Daniel Karlsson, Stefan Schulz |
| 2014 | FOIS | An Ontological Analysis of Reference in Health Record Statements. | Stefan Schulz, Catalina Martnez-Costa, Daniel Karlsson, Ronald Cornet, Mathias Brochhausen, Alan L. Rector |
| 2014 | RE | Towards feature-oriented requirements validation for automotive systems. | Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lnn, Daniel Karlsson, Bo Liwang |
| 2012 | DATE | Timing Modeling with AUTOSAR - Current state and future directions. | Marie-Agns Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz |
| 2012 | SAFECOMP | Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. | Oscar Ljungkrantz, Henrik Lnn, Hans Blom, Cecilia Ekelin, Daniel Karlsson |
| 2007 | FDL | Transactor-based Formal Verification of Real-time Embedded Systems. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2007 | ITiCSE | What impacts course evaluation? | Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles |
| 2006 | DATE | Formal verification of systemc designs using a petri-net based representation. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2005 | DSD | Validation of Embedded Systems Using Formal Method Aided Simulation. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2004 | DSD | A Formal Verification Methodology for IP-based Designs. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2004 | FDL | A Formal Verification Approach for IP-based Designs. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2003 | AMIA | Symptom Assessment in Home Healthcare Using Digital Pens. | Leili Lind, Daniel Karlsson |
| 1999 | AMIA | A Decision-Support System for Urinary Tract Infections. | Daniel Karlsson, Olle Aspevall, Urban Forsum |
| 1997 | AMIA | A qualitative study of clinicians ways of using a decision-support system. | Daniel Karlsson, Christer Ekdahl, Ove Wigertz, Urban Forsum |