César Sánchez
César Sánchez publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Distributed systems and fault tolerance and Software Testing and Debugging Techniques.
- World rank
- #1,704,862 of 7,710,434 ranked researchers
- Rank in Spain
- #36,046 of 204,306
- Works
- 169
- Citations
- 2.1k
- Citations per work
- 12.2
What does César Sánchez research?
César Sánchez's work is mostly in Computer Science (80%).
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 Sciences13580.0%
- Computer Science13580.0%
- Everything else3420.0%
- 1Artificial Intelligence21% of their works
- 2Computational Theory and Mathematics21% of their works
- 3Computer Networks and Communications12% of their works
- 4Software11% of their works
- 5Hardware and Architecture8% of their works
- 6Information Systems7% of their works
Research topics
Which keywords describe César Sánchez's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Distributed Systems, Fault Tolerance, Software Fault Localization and Embedded Systems.
- Reconfigurable Computing
- Internet of Things
- Scheduling Algorithms
- Side-Channel Attacks
- Static Analysis
- Embedded Systems
- Fault Tolerance
- Automated Testing
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Distributed Systems
- Software Fault Localization
- Formal Verification
- Security Policies
- Hard Real-Time Systems
- Blockchain
- High-Level Synthesis
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
- Model Checking1212 topics
- Satisfiability Modulo Theories861 topic
- Symbolic Model Checker861 topic
- Automated Testing361 topic
- Distributed Systems361 topic
- Fault Tolerance361 topic
- Software Fault Localization361 topic
- Embedded Systems352 topics
- Formal Verification351 topic
- Static Analysis351 topic
- Security Policies291 topic
- Side-Channel Attacks291 topic
- Hard Real-Time Systems251 topic
- Scheduling Algorithms251 topic
- Blockchain161 topic
- Internet of Things161 topic
- High-Level Synthesis101 topic
- Reconfigurable Computing101 topic
Where does César Sánchez work?
César Sánchez's main affiliation in the publication record is IMDEA Software Institute, Spain.
How many publications and citations does César Sánchez have?
OpenAlex counts 169 works and 2,070 citations for César Sánchez, an h-index of 18, ranking #1,704,862 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.
Other researchers named César Sánchez
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 César Sánchez. 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.