Daniel Platte

According to our database¹, Daniel Platte authored at least 4 papers between 2005 and 2015.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Robust design of E/E architecture component platforms.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2006

Ansätze zur Verbesserung der Simulationsperformance automatisch generierter analoger Verhaltensmodelle.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Using Sequential Equations to Improve Efficiency and Robustness.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

2005

Time Constrained Verification of Analog Circuits using Model-Checking Algorithms.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Daniel Platte

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...