Maximiliano Cristiá
Maximiliano Cristiá publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #1,463,079 of 1,633,909 ranked researchers
- Rank in Argentina
- #4,812 of 5,585
- Works
- 20
- Citations
- 25
- Citations per work
- 1.3
What does Maximiliano Cristiá research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence27% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Information Systems13% of their works
- 4Computer Networks and Communications13% of their works
- 5Software13% of their works
- 6Signal Processing7% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Constraint Satisfaction and Optimization
- Advanced Malware Detection Techniques
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
Which keywords describe Maximiliano Cristiá's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Android Malware and Answer Set Programming.
- Self-Adaptive Systems
- Software Fault Localization
- Modal Logic
- Distributed Algorithms
- Constraint Optimization
- Answer Set Programming
- Static Analysis
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Android Malware
- Automated Testing
- Detection
- Domain-Specific Languages
- Model-Driven Engineering
- Autonomic Computing
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
- Model Checking113 topics
- Temporal Logic72 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Formal Verification41 topic
- Static Analysis41 topic
- Android Malware21 topic
- Answer Set Programming21 topic
- Automated Testing21 topic
- Constraint Optimization21 topic
- Detection21 topic
- Distributed Algorithms21 topic
- Domain-Specific Languages21 topic
- Modal Logic21 topic
- Model-Driven Engineering21 topic
- Software Fault Localization21 topic
- Autonomic Computing11 topic
- Self-Adaptive Systems11 topic
Where does Maximiliano Cristiá work?
Maximiliano Cristiá's main affiliation in the publication record is Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas, Argentina.
How many publications and citations does Maximiliano Cristiá have?
Science Explorer counts 20 works and 25 citations for Maximiliano Cristiá, ranking #1,463,079 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.