Science Explorer Back to mapMap
Discussion
Researcher · Praxis (United States) · United States

Angela Wallenburg

Angela Wallenburg publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.

OpenAlex
World rank
#5,037,738
of 7,710,434 ranked researchers
Rank in United States
#1,304,784
of 1,627,098
Works
18
Citations
106
Citations per work
5.9
h-index
5
i10-index 4Top 82% in Artificial Intelligence
Angela Wallenburg

What does Angela Wallenburg research?

Angela Wallenburg's work is mostly in Computer Science (92%).

Physical Sciences: 16 works · 91.5% of their workComputer Science: 16 works · 91.5% of their workArtificial Intelligence: 7 works · 36.2% of their workSoftware: 5 works · 25.5% of their workComputational Theory and Mathematics: 3 works · 14.9% of their workComputer Networks and Communications: 1 works · 6.4% of their workSignal Processing: 1 works · 6.4% of their workHardware and Architecture: 0 works · 2.1% of their workEverything else: 2 works · 8.5% of their workTHEIR WORKAngela Wallenburg18works
Physical Sciences92%

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
    1. Computer Science1691.5%
  2. Everything else28.5%
  1. 1Artificial Intelligence36% of their works
  2. 2Software26% of their works
  3. 3Computational Theory and Mathematics15% of their works
  4. 4Signal Processing6% of their works
  5. 5Computer Networks and Communications6% of their works
  6. 6Hardware and Architecture2% of their works

Research topics

Which keywords describe Angela Wallenburg's research?

The keywords of their largest research topics: Model Checking, Automated Testing, Formal Verification, Satisfiability Modulo Theories, Software Fault Localization, Static Analysis, Symbolic Model Checker and Architecture-Based Approach.

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 18 words, with their numbers
  1. Model Checking142 topics
  2. Automated Testing71 topic
  3. Formal Verification71 topic
  4. Satisfiability Modulo Theories71 topic
  5. Software Fault Localization71 topic
  6. Static Analysis71 topic
  7. Symbolic Model Checker71 topic
  8. Architecture-Based Approach41 topic
  9. Software Reliability Modeling41 topic
  10. Machine Learning32 topics
  11. Security Policies31 topic
  12. Side-Channel Attacks31 topic
  13. Android Malware21 topic
  14. Detection21 topic
  15. Neural Machine Translation11 topic
  16. Python11 topic
  17. Scientific Computing11 topic
  18. Statistical Machine Translation11 topic

Where does Angela Wallenburg work?

Angela Wallenburg's main affiliation in the publication record is Praxis (United States), United States.

How many publications and citations does Angela Wallenburg have?

OpenAlex counts 18 works and 106 citations for Angela Wallenburg, an h-index of 5, ranking #5,037,738 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 Angela Wallenburg. 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.