Elena Vorobev

University of Bremen

Papers

1

Total Citations

42

H-Index

1

About

No biography available yet.

Research Focus

Artificial intelligence1 · 42 citations
Automated theorem proving1 · 42 citations
Certification1 · 42 citations
Collision1 · 42 citations
Computer science1 · 42 citations
Computer security1 · 42 citations
Context (archaeology)1 · 42 citations
Formal methods1 · 42 citations
Formal verification1 · 42 citations
Function (biology)1 · 42 citations
Functional safety1 · 42 citations
IEC 615081 · 42 citations

Key Achievements

1
H-Index
1
Papers
42
Total Citations
42
Avg Citations/Paper
🏆 Most Cited Paper
Guaranteeing functional safety: design for provability and computer-aided verification
42 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Bremen

Top Papers

  1. 1
    Guaranteeing functional safety: design for provability and computer-aided verification
    42 citations · 2011

Key Collaborators

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