Christoph Hertzberg

University of Bremen, German Research Centre for Artificial Intelligence

Papers

4

Total Citations

53

H-Index

3

About

No biography available yet.

Research Focus

Computer science4 · 53 citations
Artificial intelligence4 · 53 citations
Robot4 · 53 citations
Robotics2 · 47 citations
Programming language2 · 47 citations
Function (biology)1 · 42 citations
Certification1 · 42 citations
Functional safety1 · 42 citations
Automated theorem proving1 · 42 citations
Computer security1 · 42 citations
Context (archaeology)1 · 42 citations
Formal methods1 · 42 citations

Key Achievements

3
H-Index
4
Papers
53
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Guaranteeing functional safety: design for provability and computer-aided verification
42 citations · 2011
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: University of Bremen, German Research Centre for Artificial Intelligence

Top Papers

  1. 1
    Guaranteeing functional safety: design for provability and computer-aided verification
    42 citations · 2011
  2. 2
    Tutorial on Quick and Easy Model Fitting Using the SLoM Framework
    5 citations · 2012
  3. 3
    Internal Simulation for Autonomous Robot Exploration of Lava Tubes
    4 citations · 2018
  4. 4
    Internal Simulation for Autonomous Robot Exploration of Lava Tubes
    2 citations · 2018

Key Collaborators

UFUdo Frese2 shared papersRDRaúl Domínguez2 shared papersABArne Böckmann2 shared papersSASascha Arnold2 shared papersEVElena Vorobev1 shared papersCLChristoph Lüth1 shared papersSMStefan Mohr1 shared papersRWRené Wagner1 shared papersHTHolger Täubig1 shared papersDWDennis Walter1 shared papers
Not generated yet