Daniel Hausmann

University of Bremen

Papers

1

Total Citations

12

H-Index

1

About

No biography available yet.

Research Focus

Automated theorem proving1 · 12 citations
Certification1 · 12 citations
Component (thermodynamics)1 · 12 citations
Computer science1 · 12 citations
Context (archaeology)1 · 12 citations
Correctness1 · 12 citations
Domain (mathematical analysis)1 · 12 citations
Engineering1 · 12 citations
Formal methods1 · 12 citations
Formal specification1 · 12 citations
Formal verification1 · 12 citations
Gas meter prover1 · 12 citations

Key Achievements

1
H-Index
1
Papers
12
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
The Importance of Being Formal
12 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Bremen

Top Papers

  1. 1
    The Importance of Being Formal
    12 citations · 2009

Key Collaborators

UFUdo Frese1 shared papersHTHolger Täubig1 shared papersDWDennis Walter1 shared papersCLChristoph Lüth1 shared papers
Not generated yet