Martin Liebenberg

RWTH Aachen University

Papers

5

Total Citations

31

H-Index

3

About

No biography available yet.

Research Focus

Computer science5 · 31 citations
Mathematics2 · 23 citations
Decidability2 · 23 citations
Theoretical computer science2 · 23 citations
Programming language2 · 23 citations
Axiom2 · 23 citations
Normalization property2 · 23 citations
Robot3 · 8 citations
World Wide Web3 · 8 citations
Data science3 · 8 citations
Engineering3 · 8 citations
Interoperability3 · 8 citations

Key Achievements

3
H-Index
5
Papers
31
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Exploring the boundaries of decidable verification of non-terminating Golog programs
15 citations · 2014
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 42
🏛 Institutions: RWTH Aachen University

Top Papers

  1. 1
    Exploring the boundaries of decidable verification of non-terminating Golog programs
    15 citations · 2014
  2. 2
    Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
    8 citations · 2014
  3. 3
    Actionable Artificial Intelligence for the Future of Production
    5 citations · 2023
  4. 4
    Actionable Artificial Intelligence for the Future of Production
    2 citations · 2023
  5. 5
    Actionable Artificial Intelligence for the Future of Production
    1 citations · 2023

Key Collaborators

GLGerhard Lakemeyer5 shared papersLVLuisa Vervier3 shared papersSZSong Zhang3 shared papersTGThomas Gries3 shared papersCBChristian Brecher3 shared papersMVMarcus Völker3 shared papersMZMartina Ziefle3 shared papersMGMarco Grochowski3 shared papersSKStefan Kowalewski3 shared papersMTMinh Trinh3 shared papersTKThomas Käster3 shared papersHAHans Aoyang Zhou3 shared papersPWPhilipp Walderich3 shared papersLRLeon Reinsch3 shared papersTBTobias Brockhoff3 shared papersRSRobert Schmitt3 shared papersTHThomas Henn3 shared papersAFAndrés Felipe Posada-Moreno3 shared papersLTLiam Tirpitz3 shared papersMBMohamed Behery3 shared papers
Not generated yet