Skip to content

Thomas Lindenkreuz

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

1997–2000

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2000DATEStatic Timing Analysis Taking Crosstalk into Account.Matthias Ringe, Thomas Lindenkreuz, Erich Barke
1998DATEPath Verification Using Boolean Satisfiability.Matthias Ringe, Thomas Lindenkreuz, Erich Barke
1997ITCThe Fail-Stop Controller AE11.Eberhard Bhl, Thomas Lindenkreuz, R. Stephan