Login / Signup
Carsten Schmitt
Publication Activity (10 Years)
Years Active: 2010-2017
Publications (10 Years): 2
Top Topics
Wavelet Decomposition
Database Interface
Verification Method
High Frequencies
Top Venues
MBMV
DATE
</>
Publications
</>
Christoph Jäschke
,
Ulla Herter
,
Claudia Wolkober
,
Carsten Schmitt
,
Christian G. Zoellin
Static netlist verification for IBM high-frequency processors using a tree-grammar.
DATE
(2017)
Carsten Schmitt
,
Christoph Jäschke
,
Claudia Wolkober
,
Ulla Herter
Connecting a C++ based Structural Verification Tool to the Web.
MBMV
(2016)
Carsten Schmitt
Redesign von Find a Fertility Clinic der HFEA: Zwischen Transparenz und Schutz der User vor sich selbst - Darstellungen von Erfolgswahrscheinlichkeiten in der.
Usability Professionals
(2010)
Christoph Jäschke
,
Carsten Schmitt
,
Ulla Herter
,
Tobias Wich
,
Jochen Rust
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.
MBMV
(2010)