Concepedia

Jost Berthold

JB

6

Publications

123

Citations

6

H-Index

2003

Active since

Affiliations

University of Copenhagen(Current)

Philipps University of Marburg

University of St Andrews

Jost Berthold is an author at University of Copenhagen specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsParallel ComputingComputer EngineeringParallel ProgrammingComputer ArchitectureFinanceBusiness

Publications per year

2003–2016

6

Publications

6

AUTOMATIC SKELETONS IN TEMPLATE HASKELL

Kevin Hammond, Jost Berthold, Rita Loogen · Parallel Processing Letters · 2003 · 29 citations

Engineering, Compiler Technology, Computer Architecture +23

Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer.

Jost Berthold, Rita Loogen · 2007 · 24 citations

Certified symbolic management of financial multi-party contracts

Patrick Bahr, Jost Berthold, Martin Elsman · 2015 · 22 citations

Engineering, Verification, Software Engineering +23

Financial software on GPUs

Cosmin E. Oancea, Christian Andreetta, Jost Berthold et al. · 2012 · 19 citations

Inherent Parallelism, Engineering, Gpu Benchmarking +23

FinPar

Christian Andreetta, Vivien Bégot, Jost Berthold et al. · ACM Transactions on Architecture and Code Optimization · 2016 · 18 citations · Full text

Cluster Computing, Computational Science, Commodity Many-core Hardware +15

Rows per page

1–5 of 6