Concepedia

Bernd Braßel

BB

Statistics

Publications

2

Citations

54

H-Index

2

Active since

2004

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

Bernd Braßel is an author at Christian-Albrechts-Universität zu Kiel specializing in program analysis, formal verification, and computer engineering.

Top concepts

Publications per year

2004–2008

2

Publications

2

Encapsulating Non-Determinism in Functional Logic Computations.

Bernd Braßel, Michael Hanus, Frank Huch · 2004 · 44 citations

Declaring Numbers

Bernd Braßel, Sebastian Fischer, Frank Huch · Electronic Notes in Theoretical Computer Science · 2008 · 10 citations · Full text

, , +12

1–2 of 2