Concepedia

Jochen Bern

JB

Statistics

Publications

5

Citations

149

H-Index

5

Active since

1995

Affiliations

Universität Trier(Current)

Jochen Bern is an author at Universität Trier specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationComputer EngineeringProgram AnalysisHardware SecuritySoftware Analysis

Publications per year

1995–2004

5

Publications

5

First-order design of geodetic networks using the simulated annealing method

Jochen Bern, Sergio Baselga · Journal of Geodesy · 2004 · 49 citations

Engineering, Spatial Network, Simulated Annealing +5

Efficient OBDD-based boolean manipulation in CAD beyond current limits

Jochen Bern, Christoph Meinel, Anna Slobodová · 1995 · 47 citations

Circuit Complexity, Engineering, Boolean Function +22

Boolean manipulation with free BDD's. First experimental results

Jochen Bern, Jordan Gergov, Christoph Meinel et al. · 2002 · 22 citations

Circuit Complexity, Logic Synthesis, Engineering +11

Some heuristics for generating tree-like FBDD types

Jochen Bern, Christoph Meinel, Anna Slobodová · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 20 citations

Circuit Complexity, Engineering, Boolean Function +21

Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits

Jochen Bern · Proceedings - ACM IEEE Design Automation Conference · 1995 · 11 citations

1–5 of 5