Science Explorer Interactive view Map
Researcher · Ca' Foscari University of Venice · Italy

Pietro Ferrara

Pietro Ferrara publishes mostly in Artificial Intelligence, Software and Information Systems, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Software Testing and Debugging Techniques.

ORCID 0000-0002-4678-933X OpenAlex
World rank
#806,644
of 1,633,909 ranked researchers
Rank in Italy
#31,040
of 65,712
Works
24
Citations
39
Citations per work
1.6

What does Pietro Ferrara research?

Artificial Intelligence: 30.4%Software: 17.4%Information Systems: 17.4%Computational Theory and Mathematics: 8.7%other fields: 26.1%30%top field
Artificial Intelligence30.4%Software17.4%Information Systems17.4%Computational Theory and Mathematics8.7%other fields26.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence30% of their works
  2. 2Software17% of their works
  3. 3Information Systems17% of their works
  4. 4Computational Theory and Mathematics9% of their works
  5. 5Signal Processing9% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe Pietro Ferrara's research?

The keywords of their largest research topics: Model Checking, Static Analysis, Automated Testing, Formal Verification, Security Policies, Side-Channel Attacks, Software Fault Localization and Type Inference.

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
  1. Model Checking52 topics
  2. Static Analysis52 topics
  3. Automated Testing31 topic
  4. Formal Verification31 topic
  5. Security Policies31 topic
  6. Side-Channel Attacks31 topic
  7. Software Fault Localization31 topic
  8. Type Inference31 topic
  9. Android Malware21 topic
  10. Cross-Site Scripting21 topic
  11. Detection21 topic
  12. SQL Injection21 topic
  13. Satisfiability Modulo Theories21 topic
  14. Symbolic Model Checker21 topic
  15. Computational Thinking11 topic
  16. Monte Carlo Tree Search11 topic
  17. Procedural Content Generation11 topic
  18. Programming Education11 topic

Where does Pietro Ferrara work?

Pietro Ferrara's main affiliation in the publication record is Ca' Foscari University of Venice, Italy.

How many publications and citations does Pietro Ferrara have?

Science Explorer counts 24 works and 39 citations for Pietro Ferrara, ranking #806,644 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 Pietro Ferrara

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.