César Muñoz
César Muñoz publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Aerospace Engineering, on topics such as Formal Methods in Verification, Air Traffic Management and Optimization and Logic, programming, and type systems.
- World rank
- #295,549 of 1,633,909 ranked researchers
- Rank in United States
- #111,789 of 358,040
- Works
- 70
- Citations
- 277
- Citations per work
- 4.0
What does César Muñoz research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics24% of their works
- 2Artificial Intelligence18% of their works
- 3Aerospace Engineering13% of their works
- 4Hardware and Architecture9% of their works
- 5Computer Networks and Communications8% of their works
- 6Software7% of their works
Research topics
Which keywords describe César Muñoz's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Air Traffic Management, Conflict Resolution, Formal Verification and Static Analysis.
- Scheduling Algorithms
- Parallel Computing
- Hard Real-Time Systems
- Interval Analysis
- Fault Tolerance
- Static Analysis
- Conflict Resolution
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Air Traffic Management
- Formal Verification
- Distributed Systems
- Floating-Point Arithmetic
- Answer Set Programming
- Modal Logic
- 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 18 words, with their numbers
- Model Checking293 topics
- Temporal Logic212 topics
- Satisfiability Modulo Theories171 topic
- Symbolic Model Checker171 topic
- Air Traffic Management91 topic
- Conflict Resolution91 topic
- Formal Verification81 topic
- Static Analysis81 topic
- Distributed Systems61 topic
- Fault Tolerance61 topic
- Floating-Point Arithmetic61 topic
- Interval Analysis61 topic
- Answer Set Programming41 topic
- Hard Real-Time Systems41 topic
- Modal Logic41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Scheduling Algorithms41 topic
Where does César Muñoz work?
César Muñoz's main affiliation in the publication record is Langley Research Center, United States.
How many publications and citations does César Muñoz have?
Science Explorer counts 70 works and 277 citations for César Muñoz, ranking #295,549 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 César Muñoz
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.