Lars Hedrich

	2009
18		Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang: Formal approaches to analog circuit verification. DATE 2009: 724-729
	2008
17		Alexander Jesser, Lars Hedrich: A symbolic approach for mixed-signal model checking. ASP-DAC 2008: 404-409
16		Sebastian Steinhorst, Lars Hedrich: Model Checking of Analog Systems using an Analog Specification Language. DATE 2008: 324-329
15		Xiaoying Wang, Lars Hedrich: Structural Synthesis of Four-Quadrant Multiplier Based on Hierarchical Topology. DATE 2008: 800-803
14		Alexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008)
	2006
13		Xiaoying Wang, Lars Hedrich: An approach to topology synthesis of analog circuits using hierarchical blocks and symbolic analysis. ASP-DAC 2006: 700-705
12		Xiaoying Wang, Lars Hedrich: Hierarchical exploration and selection of transistor-topologies for analog circuit design. ISCAS 2006
11		Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke: Time Constrained Verification of Analog Circuits using Model-Checking Algorithms. Electr. Notes Theor. Comput. Sci. 153(3): 37-52 (2006)
	2004
10		Lutz Näthke, Volodymyr Burkhay, Lars Hedrich, Erich Barke: Hierarchical Automatic Behavioral Model Generation of Nonlinear Analog Circuits Based on Nonlinear Symbolic Techniques. DATE 2004: 442-447
	2002
9		Walter Hartong, Lars Hedrich, Erich Barke: On Discrete Modeling and Model Checking for Nonlinear Analog Systems. CAV 2002: 401-413
8		Walter Hartong, Lars Hedrich, Erich Barke: Model checking algorithms for analog verification. DAC 2002: 542-547
7		Walter Hartong, Lars Hedrich, Erich Barke: An Approach to Model Checking for Nonlinear Analog Systems. DATE 2002: 1080
6		Ralf Popp, Joerg Oehmen, Lars Hedrich, Erich Barke: Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits. DATE 2002: 274-278
5		Andreas C. Lemke, Lars Hedrich, Erich Barke: Analog circuit sizing based on formal methods using affine arithmetic. ICCAD 2002: 486-489
	2000
4		Thorsten Adler, Hiltrud Brocke, Lars Hedrich, Erich Barke: A current driven routing and verification methodology for analog applications. DAC 2000: 385-389
	1998
3		Lars Hedrich, Erich Barke: A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances. DATE 1998: 649-
	1996
2		Carsten Borchers, Lars Hedrich, Erich Barke: Equation-Based Behavioral Model Generation for Nonlinear Analog Circuits. DAC 1996: 236-239
	1995
1		Lars Hedrich, Erich Barke: A formal approach to nonlinear analog circuit verification. ICCAD 1995: 123-127

Coauthor Index

1	Thorsten Adler	[4]
2	Erich Barke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [18]
3	Carsten Borchers	[2]
4	Hiltrud Brocke	[4]
5	Volodymyr Burkhay	[10]
6	Wolfgang Fengler	[14]
7	Darius Grabowski	[11] [18]
8	Helmut Graeb	[18]
9	Walter Hartong	[7] [8] [9]
10	Stefan Heinen	[18]
11	Alexander Jesser	[14] [17]
12	Thomas Kropf	[14]
13	Stefan Laemmermann	[14]
14	Andreas C. Lemke	[5]
15	Lutz Näthke	[10]
16	Joerg Oehmen	[6]
17	Alexander Pacholik	[14]
18	Daniel Platte	[11]
19	Ralf Popp	[6] [18]
20	Wolfgang Rosenstiel	[14]
21	Jürgen Ruf	[14]
22	Sebastian Steinhorst	[16] [18]
23	Xiaoying Wang	[12] [13] [15]
24	Yifan Wang	[18]
25	Roland J. Weiss (Roland Weiss)	[14]

Colors in the list of coauthors