Péter Müller
Péter Müller publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #372,313 of 1,633,909 ranked researchers
- Rank in Switzerland
- #7,074 of 19,404
- Works
- 84
- Citations
- 275
- Citations per work
- 3.3
What does Péter Müller research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence36% of their works
- 2Computational Theory and Mathematics13% of their works
- 3Software12% of their works
- 4Information Systems7% of their works
- 5Computer Networks and Communications5% of their works
- 6Hardware and Architecture4% of their works
Research topics
- Logic, programming, and type systems
- Formal Methods in Verification
- Security and Verification in Computing
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- Software Engineering Research
- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
Which keywords describe Péter Müller's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Security Policies and Side-Channel Attacks.
- Parallel Computing
- Distributed Systems
- Code Clone Detection
- Autonomic Computing
- Side-Channel Attacks
- Automated Testing
- Satisfiability Modulo Theories
- Formal Verification
- Model Checking
- Static Analysis
- Symbolic Model Checker
- Security Policies
- Software Fault Localization
- Self-Adaptive Systems
- Refactoring
- Fault Tolerance
- Performance Optimization
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 Checking352 topics
- Formal Verification201 topic
- Static Analysis201 topic
- Satisfiability Modulo Theories151 topic
- Symbolic Model Checker151 topic
- Automated Testing111 topic
- Security Policies111 topic
- Side-Channel Attacks111 topic
- Software Fault Localization111 topic
- Autonomic Computing61 topic
- Self-Adaptive Systems61 topic
- Code Clone Detection51 topic
- Refactoring51 topic
- Distributed Systems31 topic
- Fault Tolerance31 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
Where does Péter Müller work?
Péter Müller's main affiliation in the publication record is ETH Zurich, Switzerland.
How many publications and citations does Péter Müller have?
Science Explorer counts 84 works and 275 citations for Péter Müller, ranking #372,313 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.
Other researchers named Péter Müller
- peter-muller-zf-friedrichshafen-germany
- peter-muller-the-university-of-texas-at-austin
- peter-muller-massachusetts-institute-of-technology
- peter-muller-humboldt-universitat-zu-berlin
- peter-muller-helmholtz-centre-for-infection-research
- peter-muller-university-of-gottingen
- peter-muller-hochschule-dusseldorf-university-of-applied-sciences
- peter-muller-eth-zurich-switzerland
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.