Concepedia

Detlef Sieling

DS

Statistics

Publications

8

Citations

511

H-Index

8

Active since

1993

Affiliations

TU Dortmund University(Current)

Detlef Sieling is an author at TU Dortmund University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningComputational ComplexityProgram AnalysisDiscrete MathematicsVerificationSoftware Analysis

Publications per year

1993–2005

8

Publications

8

Binary decision diagrams in theory and practice

Rolf Drechsler, Detlef Sieling · International Journal on Software Tools for Technology Transfer · 2001 · 121 citations

Decision Procedure, Engineering, Diagrammatic Reasoning +7

Graph driven BDDs — a new data structure for Boolean functions

Detlef Sieling, Ingo Wegener · Theoretical Computer Science · 1995 · 100 citations

Circuit Complexity, New Data Structure, Engineering +11

Reduction of OBDDs in linear time

Detlef Sieling, Ingo Wegener · Information Processing Letters · 1993 · 89 citations

Computational Complexity Theory, Engineering, Linear Time +6

NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS

Detlef Sieling, Ingo Wegener · Parallel Processing Letters · 1993 · 69 citations

Circuit Complexity, Engineering, Boolean Function +17

Quantum branching programs and space-bounded nonuniform quantum complexity

Martin Sauerhoff, Detlef Sieling · Theoretical Computer Science · 2005 · 44 citations · Full text

Quantum Science, Engineering, Quantum Branching Programs +5

1–5 of 8