Daniel Karlsson

	2009
13		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, Dongchon Kang, Clement J. McDonald, Gilbert Hill: Clinical Laboratory Sciences Data Transmission: The NPU Coding System. MIE 2009: 265-269
12		Stefan Schulz, Daniel Karlsson, Christel Daniel, Hans Cools, Christian Lovis: Is the "International Classification for Patient Safety" a Classification? MIE 2009: 502-506
	2008
11		Rong Chen, Sebastian Garde, Thomas Beale, Mikael Nyström, Daniel Karlsson, Gunnar O. Klein, Hans Åhlfeldt: An Archetype-based Testing Framework. MIE 2008: 401-406
10		Mattias Pettersson, Jenny Wihlborg, Rikard Lövström, Erik Sundvall, Mikael Nyström, Daniel Karlsson: Systematizing medical alerts. MIE 2008: 753-758
9		Leili Lind, Daniel Karlsson, Bengt Fridlund: Patients' use of digital pens for pain assessment in advanced palliative home healthcare. I. J. Medical Informatics 77(2): 129-136 (2008)
	2007
8		Daniel Karlsson, Petru Eles, Zebo Peng: Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310
7		Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles: What impacts course evaluation? ITiCSE 2007: 333
	2006
6		Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233
	2005
5		Daniel Karlsson, Petru Eles, Zebo Peng: Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201
	2004
4		Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379
3		Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568
	2002
2		Petru Eles, Zebo Peng, Daniel Karlsson: Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161
1		Leili Lind, Erik Sundvall, Daniel Karlsson, Nosrat Shahsavar, Hans Åhlfeldt: Requirements and prototyping of a home health care application based on emerging JAVA technology. I. J. Medical Informatics 68(1-3): 129-139 (2002)

Coauthor Index

1	Hans Åhlfeldt	[1] [11]
2	Mehdi Amirijoo	[7]
3	Thomas Beale	[11]
4	Christel Daniel-Le Bozec (Christel Daniel, Christel Le Bozec)	[12]
5	Ivan Bruunshuus	[13]
6	Rong Chen	[11]
7	Hans Cools	[12]
8	René Dybkaer	[13]
9	Petru Eles	[2] [3] [4] [5] [6] [7] [8]
10	Georges Férard	[13]
11	Urban Forsum	[13]
12	Bengt Fridlund	[9]
13	Xavier Fuentes-Arderiu	[13]
14	Sebastian Garde	[11]
15	Gilbert Hill	[13]
16	Jarkko Ihalainen	[13]
17	Dongchon Kang	[13]
18	Gunnar O. Klein	[11]
19	Wolf Kuelpmann	[13]
20	Erik Larsson	[7]
21	Leili Lind	[1] [9]
22	Christian Lovis	[12]
23	Rikard Lövström	[10]
24	Clement J. McDonald	[13]
25	Gunnar Nordin	[13]
26	Mikael Nyström	[10] [11]
27	Zebo Peng	[2] [3] [4] [5] [6] [8]
28	Ulla Magdal Petersen	[13]
29	Mattias Pettersson	[10]
30	Françoise Pontet	[13]
31	Gunther Schadow	[13]
32	Stefan Schulz	[12]
33	Nosrat Shahsavar	[1]
34	Erik Sundvall	[1] [10]
35	Jenny Wihlborg	[10]

Colors in the list of coauthors