Jens Knoop

TU Dortmund University

Papers

1

Total Citations

9

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 9 citations
Formal methods1 · 9 citations
Formal verification1 · 9 citations
Programming language1 · 9 citations
Software engineering1 · 9 citations

Key Achievements

1
H-Index
1
Papers
9
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Leveraging Applications of Formal Methods, Verification, and Validation
9 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: TU Dortmund University

Top Papers

  1. 1
    Leveraging Applications of Formal Methods, Verification, and Validation
    9 citations · 2012

Key Collaborators

DSDietmar Schreiner1 shared papersRHReiner Hähnle1 shared papersTMTiziana Margaria1 shared papersBSBernhard Steffen1 shared papers
Not generated yet