David von Oheimb
David von Oheimb publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Formal Methods in Verification, Advanced Authentication Protocols Security and Logic, programming, and type systems.
- World rank
- #786,977 of 7,710,434 ranked researchers
- Rank in Germany
- #38,749 of 364,343
- Works
- 39
- Citations
- 2.2k
- Citations per work
- 57.2
What does David von Oheimb research?
David von Oheimb's work is mostly in Computer Science (69%), Engineering (9%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences3178.3%
- Computer Science2769.0%
- Engineering49.3%
- Everything else821.7%
- 1Artificial Intelligence28% of their works
- 2Computer Networks and Communications18% of their works
- 3Information Systems12% of their works
- 4Computational Theory and Mathematics11% of their works
- 5Electrical and Electronic Engineering5% of their works
- 6Safety, Risk, Reliability and Quality4% of their works
Research topics
Which keywords describe David von Oheimb's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Cryptanalysis, Satisfiability Modulo Theories, Side-Channel Attacks, Symbolic Model Checker, Authentication and Key Exchange.
- Hash Functions
- Trust
- Reputation
- Assurance Cases
- Static Analysis
- Formal Verification
- Key Exchange
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Cryptanalysis
- Side-Channel Attacks
- Authentication
- Control-Flow Integrity
- Security Policies
- Answer Set Programming
- Modal Logic
- Safety Assurance
- Block Ciphers
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 20 words, with their numbers
- Model Checking233 topics
- Temporal Logic152 topics
- Cryptanalysis122 topics
- Satisfiability Modulo Theories111 topic
- Side-Channel Attacks112 topics
- Symbolic Model Checker111 topic
- Authentication91 topic
- Key Exchange91 topic
- Control-Flow Integrity81 topic
- Formal Verification81 topic
- Security Policies81 topic
- Static Analysis81 topic
- Answer Set Programming41 topic
- Assurance Cases41 topic
- Modal Logic41 topic
- Reputation41 topic
- Safety Assurance41 topic
- Trust41 topic
- Block Ciphers31 topic
- Hash Functions31 topic
Where does David von Oheimb work?
David von Oheimb's main affiliation in the publication record is Siemens (Germany), Germany.
How many publications and citations does David von Oheimb have?
OpenAlex counts 39 works and 2,232 citations for David von Oheimb, an h-index of 15, ranking #786,977 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about David von Oheimb. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.