Maria Christakis
Maria Christakis publishes mostly in Software, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #1,336,587 of 1,633,909 ranked researchers
- Rank in Germany
- #74,411 of 86,443
- Works
- 20
- Citations
- 42
- Citations per work
- 2.1
What does Maria Christakis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software32% of their works
- 2Artificial Intelligence26% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Information Systems10% of their works
- 5Hardware and Architecture6% of their works
- 6History and Philosophy of Science3% of their works
Research topics
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Security and Verification in Computing
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Neural Networks and Applications
- Machine Learning and Data Classification
- Parallel Computing and Optimization Techniques
Which keywords describe Maria Christakis's research?
The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Security Policies and Side-Channel Attacks.
- Performance Optimization
- Noisy Labels
- Hyperparameter Optimization
- Formal Verification
- Side-Channel Attacks
- Architecture-Based Approach
- Satisfiability Modulo Theories
- Automated Testing
- Model Checking
- Software Fault Localization
- Symbolic Model Checker
- Security Policies
- Software Reliability Modeling
- Static Analysis
- Neural Networks
- Parallel Computing
- Self-Organizing Maps
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.
All 17 words, with their numbers
- Model Checking72 topics
- Automated Testing61 topic
- Software Fault Localization61 topic
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Architecture-Based Approach41 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Software Reliability Modeling41 topic
- Formal Verification21 topic
- Static Analysis21 topic
- Hyperparameter Optimization11 topic
- Neural Networks11 topic
- Noisy Labels11 topic
- Parallel Computing11 topic
- Performance Optimization11 topic
- Self-Organizing Maps11 topic
Where does Maria Christakis work?
Maria Christakis's main affiliation in the publication record is Max Planck Institute for Software Systems, Germany.
How many publications and citations does Maria Christakis have?
Science Explorer counts 20 works and 42 citations for Maria Christakis, ranking #1,336,587 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.