Ulla Herter

According to our database1, Ulla Herter authored at least 3 papers between 2010 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Static netlist verification for IBM high-frequency processors using a tree-grammar.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Connecting a C++ based Structural Verification Tool to the Web.
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2010
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010


  Loading...