Frieder Stolzenburg

Harz University of Applied Sciences, University of Koblenz and Landau

Papers

15

Total Citations

133

H-Index

7

About

No biography available yet.

Research Focus

Computer science15 · 133 citations
Artificial intelligence12 · 86 citations
Programming language6 · 70 citations
Model checking5 · 68 citations
Robot7 · 65 citations
Theoretical computer science4 · 48 citations
Distributed computing5 · 48 citations
Unified Modeling Language5 · 48 citations
Software5 · 47 citations
Human–computer interaction4 · 40 citations
Automaton3 · 38 citations
Finite-state machine3 · 38 citations

Key Achievements

7
H-Index
15
Papers
133
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Approaching a formal soccer theory from behaviour specifications in robotic soccer<sup>*</sup>
25 citations · 2008
📈 Most Prolific Year: 2008 (4 Papers)
🤝 Key Collaborators: 22
🏛 Institutions: Harz University of Applied Sciences, University of Koblenz and Landau

Top Papers

  1. 1
    Approaching a formal soccer theory from behaviour specifications in robotic soccer<sup>*</sup>
    25 citations · 2008
  2. 2
    Multi-Robot Systems: Modeling, Specification, and Model Checking
    22 citations · 2010
  3. 3
    Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking
    17 citations · 2008
  4. 4
    Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification
    13 citations · 2005
  5. 5
    Multiagent Matching Algorithms with and without Coach
    10 citations · 2003
  6. 6
    From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications
    8 citations · 2003
  7. 7
    Model Checking Hybrid Multiagent Systems for the RoboCup
    8 citations · 2008
  8. 8
    RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League
    7 citations · 2019
  9. 9
    Predictive Neural Networks
    5 citations · 2018
  10. 10
    Localization, Exploration, and Navigation Based on Qualitative Angle Information
    5 citations · 2010

Key Collaborators

JMJan Murray6 shared papersFSFalk Schmidsberger4 shared papersOOOliver Obst4 shared papersOMOlivia Michael3 shared papersUFUlrich Furbach3 shared papersAFAlexander Ferrein1 shared papersTRThomas Röfer1 shared papersSKStefanie Krause1 shared papersGLGerhard Lakemeyer1 shared papersUVUbbo Visser1 shared papersTAToshiaki Arai1 shared papersKSKarsten Sturm1 shared papersFRFlorian Ruh1 shared papersOVOskar von Stryk1 shared papersCRChristian Reinl1 shared papersTWT.W. Wagner1 shared papersAMAmmar Mohammed1 shared papersAHAnna-Lena Henk1 shared papersTAToshiaki Arai1 shared papersFDFrank Dylla1 shared papers
Not generated yet