Francesco Zappa Nardelli
Francesco Zappa Nardelli publishes mostly in Artificial Intelligence, Hardware and Architecture and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Distributed systems and fault tolerance.
- World rank
- #220,961 of 7,710,434 ranked researchers
- Rank in France
- #13,898 of 324,115
- Works
- 57
- Citations
- 2.5k
- Citations per work
- 43.4
What does Francesco Zappa Nardelli research?
Francesco Zappa Nardelli's work is mostly in Computer Science (93%).
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 Sciences5392.8%
- Computer Science5392.8%
- Everything else47.2%
- 1Artificial Intelligence35% of their works
- 2Hardware and Architecture22% of their works
- 3Computer Networks and Communications20% of their works
- 4Information Systems6% of their works
- 5Computational Theory and Mathematics5% of their works
- 6Software3% of their works
Research topics
Which keywords describe Francesco Zappa Nardelli's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Parallel Computing, Performance Optimization, Distributed Systems, Fault Tolerance and Security Policies.
- Modal Logic
- Reconfigurable Computing
- Refactoring
- Symbolic Model Checker
- Temporal Logic
- Security Policies
- Distributed Systems
- Parallel Computing
- Formal Verification
- Model Checking
- Static Analysis
- Performance Optimization
- Fault Tolerance
- Side-Channel Attacks
- Satisfiability Modulo Theories
- Code Clone Detection
- High-Level Synthesis
- Answer Set Programming
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 Checking393 topics
- Formal Verification301 topic
- Static Analysis301 topic
- Parallel Computing281 topic
- Performance Optimization281 topic
- Distributed Systems201 topic
- Fault Tolerance201 topic
- Security Policies131 topic
- Side-Channel Attacks131 topic
- Temporal Logic92 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Code Clone Detection51 topic
- Refactoring51 topic
- High-Level Synthesis41 topic
- Reconfigurable Computing41 topic
- Answer Set Programming31 topic
- Modal Logic31 topic
Where does Francesco Zappa Nardelli work?
Francesco Zappa Nardelli's main affiliation in the publication record is Institut national de recherche en sciences et technologies du numérique, France.
How many publications and citations does Francesco Zappa Nardelli have?
OpenAlex counts 57 works and 2,471 citations for Francesco Zappa Nardelli, an h-index of 24, ranking #220,961 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 Francesco Zappa Nardelli. 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.