Science Explorer Interactive view Map
Researcher · Universidad Nacional de Córdoba · Argentina

Pedro R. D’Argenio

Pedro R. D’Argenio publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Advanced Software Engineering Methodologies.

ORCID 0000-0002-8528-9215 OpenAlex
World rank
#390,835
of 1,633,909 ranked researchers
Rank in Argentina
#765
of 5,585
Works
29
Citations
138
Citations per work
4.8

What does Pedro R. D’Argenio research?

Computational Theory and Mathematics: 30.2%Artificial Intelligence: 23.3%Software: 16.3%Management Science and Operations Research: 7.0%other fields: 23.2%30%top field
Computational Theory and Mathematics30.2%Artificial Intelligence23.3%Software16.3%Management Science and Operations Research7.0%other fields23.2%

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

  1. 1Computational Theory and Mathematics30% of their works
  2. 2Artificial Intelligence23% of their works
  3. 3Software16% of their works
  4. 4Management Science and Operations Research7% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Safety, Risk, Reliability and Quality2% of their works

Research topics

Which keywords describe Pedro R. D’Argenio's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Autonomic Computing and Self-Adaptive Systems.

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 Checking153 topics
  2. Temporal Logic132 topics
  3. Satisfiability Modulo Theories111 topic
  4. Symbolic Model Checker111 topic
  5. Architecture-Based Approach51 topic
  6. Software Reliability Modeling51 topic
  7. Autonomic Computing31 topic
  8. Self-Adaptive Systems31 topic
  9. Answer Set Programming21 topic
  10. Automated Testing21 topic
  11. Deadlock Prevention21 topic
  12. Formal Verification21 topic
  13. Modal Logic21 topic
  14. Petri Nets21 topic
  15. Software Fault Localization21 topic
  16. Static Analysis21 topic
  17. Bayesian Networks11 topic
  18. Causal Inference11 topic

Where does Pedro R. D’Argenio work?

Pedro R. D’Argenio's main affiliation in the publication record is Universidad Nacional de Córdoba, Argentina.

How many publications and citations does Pedro R. D’Argenio have?

Science Explorer counts 29 works and 138 citations for Pedro R. D’Argenio, ranking #390,835 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.

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.