Science Explorer Back to mapMap
Discussion
Researcher · IMDEA Software Institute · Spain

César Kunz

César Kunz publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.

OpenAlex
World rank
#1,735,174
of 7,710,434 ranked researchers
Rank in Spain
#36,710
of 204,306
Works
32
Citations
811
Citations per work
25.3
h-index
12
i10-index 13Top 32% in Artificial Intelligence
César Kunz

What does César Kunz research?

César Kunz's work is mostly in Computer Science (94%).

Physical Sciences: 30 works · 93.8% of their workComputer Science: 30 works · 93.8% of their workArtificial Intelligence: 17 works · 53.1% of their workComputational Theory and Mathematics: 4 works · 12.5% of their workComputer Networks and Communications: 4 works · 11.5% of their workHardware and Architecture: 2 works · 7.3% of their workSoftware: 2 works · 5.2% of their workSignal Processing: 1 works · 4.2% of their workEverything else: 2 works · 6.2% of their workTHEIR WORKCésar Kunz32works
Physical Sciences94%

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 Science3093.8%
  2. Everything else26.2%
  1. 1Artificial Intelligence53% of their works
  2. 2Computational Theory and Mathematics12% of their works
  3. 3Computer Networks and Communications12% of their works
  4. 4Hardware and Architecture7% of their works
  5. 5Software5% of their works
  6. 6Signal Processing4% of their works

Research topics

Which keywords describe César Kunz's research?

The keywords of their largest research topics: Model Checking, Side-Channel Attacks, Formal Verification, Static Analysis, Control-Flow Integrity, Security Policies, Satisfiability Modulo Theories and Symbolic Model Checker.

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 Checking272 topics
  2. Side-Channel Attacks212 topics
  3. Formal Verification161 topic
  4. Static Analysis161 topic
  5. Control-Flow Integrity151 topic
  6. Security Policies151 topic
  7. Satisfiability Modulo Theories111 topic
  8. Symbolic Model Checker111 topic
  9. Distributed Systems71 topic
  10. Fault Tolerance71 topic
  11. Homomorphic Encryption71 topic
  12. Identity-Based Encryption71 topic
  13. Block Ciphers61 topic
  14. Cryptanalysis61 topic
  15. Automated Testing51 topic
  16. Parallel Computing51 topic
  17. Performance Optimization51 topic
  18. Software Fault Localization51 topic

Where does César Kunz work?

César Kunz's main affiliation in the publication record is IMDEA Software Institute, Spain.

How many publications and citations does César Kunz have?

OpenAlex counts 32 works and 811 citations for César Kunz, an h-index of 12, ranking #1,735,174 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 César Kunz. 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.