Jakob Lichtenberg

	2006
3		Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner: Thorough static analysis of device drivers. EuroSys 2006: 73-85
	1999
2		Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Difference Decision Diagrams. CSL 1999: 111-125
1		Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. Electr. Notes Theor. Comput. Sci. 23(2): (1999)

Coauthor Index

1	Henrik Reif Andersen	[1] [2]
2	Thomas Ball	[3]
3	Ella Bounimova	[3]
4	Byron Cook	[3]
5	Henrik Hulgaard	[1] [2]
6	Vladimir Levin	[3]
7	Con McGarvey	[3]
8	Jesper B. Møller	[1] [2]
9	Bohus Ondrusek	[3]
10	Sriram K. Rajamani	[3]
11	Abdullah Ustuner	[3]

Colors in the list of coauthors