Alejandro Díaz-Caro
Alejandro Díaz-Caro publishes mostly in Artificial Intelligence and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Advanced Algebra and Logic.
- World rank
- #1,321,505 of 1,633,909 ranked researchers
- Rank in Argentina
- #4,306 of 5,585
- Works
- 19
- Citations
- 14
- Citations per work
- 0.7
What does Alejandro Díaz-Caro research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence71% of their works
- 2Computational Theory and Mathematics29% of their works
Research topics
Which keywords describe Alejandro Díaz-Caro's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Answer Set Programming, Formal Verification, Modal Logic, Static Analysis, Fuzzy Logic and Residuated Lattices.
- Symbolic Model Checker
- Residuated Lattices
- Static Analysis
- Formal Verification
- Temporal Logic
- Model Checking
- Answer Set Programming
- Modal Logic
- Fuzzy Logic
- Satisfiability Modulo Theories
Size is their works in the topics tagged with each word, from their 4 largest topics. Each links to the topic it comes from most.
All 10 words, with their numbers
- Model Checking143 topics
- Temporal Logic82 topics
- Answer Set Programming61 topic
- Formal Verification61 topic
- Modal Logic61 topic
- Static Analysis61 topic
- Fuzzy Logic31 topic
- Residuated Lattices31 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
Where does Alejandro Díaz-Caro work?
Alejandro Díaz-Caro's main affiliation in the publication record is National University of Quilmes, Argentina.
How many publications and citations does Alejandro Díaz-Caro have?
Science Explorer counts 19 works and 14 citations for Alejandro Díaz-Caro, ranking #1,321,505 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.