Daniel Gritzner

Leibniz University Hannover

Papers

3

Total Citations

28

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 28 citations
Embedded system3 · 28 citations
Robot3 · 28 citations
Artificial intelligence3 · 28 citations
Task (project management)2 · 24 citations
Software2 · 24 citations
Operating system2 · 24 citations
Systems engineering2 · 24 citations
Code (set theory)2 · 21 citations
Code generation1 · 17 citations
Executable1 · 17 citations
Formal specification1 · 17 citations

Key Achievements

3
H-Index
3
Papers
28
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
17 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 19
🏛 Institutions: Leibniz University Hannover

Top Papers

  1. 1
    Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
    17 citations · 2018
  2. 2
    Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots.
    7 citations · 2015
  3. 3
    Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation
    4 citations · 2018

Key Collaborators

JGJoel Greenyer3 shared papersTGTimo Gutjahr1 shared papersTOTobias Ortmaier1 shared papersTDTim Duente1 shared papersSDStefan Dulle1 shared papersFDFalk-David Deppe1 shared papersKRKevin Raetz1 shared papersEKElias Knöchelmann1 shared papersNGNils Glade1 shared papersMSMartin Singer1 shared papersTSThilo Schnelle1 shared papersRVRaphael Voges1 shared papersSTSvenja Tappe1 shared papersNTNicolas Tempelmeier1 shared papersNPNils Prenner1 shared papersMHMarius Hilbich1 shared papersKEKai Eggers1 shared papersFKFlorian Koenig1 shared papersJLJannis Luennemann1 shared papers
Not generated yet