Tilman Glökler

	2007
4		Thuyen Le, Tilman Glökler, Jason Baumgartner: Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. DATE 2007: 219-224
	2006
3		Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10
	2003
2		Tilman Glökler, Andreas Hoffmann, Heinrich Meyr: Methodical Low-Power ASIP Design Space Exploration. VLSI Signal Processing 33(3): 229-246 (2003)
	2002
1		Oliver Wahlen, Tilman Glökler, Achim Nohl, Andreas Hoffmann, Rainer Leupers, Heinrich Meyr: Application specific compiler/architecture codesign: a case study. LCTES-SCOPES 2002: 185-193

Coauthor Index

1	Jason Baumgartner	[3] [4]
2	Andreas Hoffmann	[1] [2]
3	Gary A. Van Huben	[3]
4	Thuyen Le	[4]
5	Rainer Leupers	[1]
6	Heinrich Meyr	[1] [2]
7	Hari Mony	[3]
8	Achim Nohl	[1]
9	Barinjato Ramanandray	[3]
10	Paul Roessler	[3]
11	A. E. (Rick) Seigler (Adrian E. Seigler)	[3]
12	Devi Shanmugam	[3]
13	Oliver Wahlen	[1]

Colors in the list of coauthors