Science Explorer Back to mapMap
Discussion
Researcher · University of Parma · Italy

Roberto Bagnara

Roberto Bagnara publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

ORCID 0000-0002-6163-6278 OpenAlex
World rank
#1,903,802
of 7,710,434 ranked researchers
Rank in Italy
#62,803
of 242,206
Works
113
Citations
1.9k
Citations per work
16.8
h-index
24
i10-index 39Top 8.5% in Artificial Intelligence
Roberto Bagnara

What does Roberto Bagnara research?

Roberto Bagnara's work is mostly in Computer Science (89%).

Physical Sciences: 100 works · 88.6% of their workComputer Science: 100 works · 88.6% of their workArtificial Intelligence: 32 works · 28.5% of their workComputational Theory and Mathematics: 29 works · 26.0% of their workSoftware: 14 works · 12.4% of their workHardware and Architecture: 11 works · 9.3% of their workComputer Networks and Communications: 10 works · 8.7% of their workInformation Systems: 4 works · 3.7% of their workEverything else: 13 works · 11.4% of their workTHEIR WORKRoberto Bagnara113works
Physical Sciences89%

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 Science10088.6%
  2. Everything else1311.4%
  1. 1Artificial Intelligence28% of their works
  2. 2Computational Theory and Mathematics26% of their works
  3. 3Software12% of their works
  4. 4Hardware and Architecture9% of their works
  5. 5Computer Networks and Communications9% of their works
  6. 6Information Systems4% of their works

Research topics

Which keywords describe Roberto Bagnara's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Answer Set Programming and Modal Logic.

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 Checking1413 topics
  2. Temporal Logic822 topics
  3. Satisfiability Modulo Theories611 topic
  4. Symbolic Model Checker611 topic
  5. Formal Verification591 topic
  6. Static Analysis591 topic
  7. Answer Set Programming211 topic
  8. Modal Logic211 topic
  9. Automated Testing191 topic
  10. Software Fault Localization191 topic
  11. Domain-Specific Languages161 topic
  12. Model-Driven Engineering161 topic
  13. Constraint Optimization121 topic
  14. Distributed Algorithms121 topic
  15. High-Level Synthesis121 topic
  16. Parallel Computing121 topic
  17. Performance Optimization121 topic
  18. Reconfigurable Computing121 topic

Where does Roberto Bagnara work?

Roberto Bagnara's main affiliation in the publication record is University of Parma, Italy.

How many publications and citations does Roberto Bagnara have?

OpenAlex counts 113 works and 1,900 citations for Roberto Bagnara, an h-index of 24, ranking #1,903,802 of 7,710,434 researchers worldwide on the quality 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.

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 Roberto Bagnara. Posts are plain text and can be reported.