Dorel Lucanu
Dorel Lucanu publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #1,275,719 of 1,633,909 ranked researchers
- Rank in Romania
- #2,597 of 4,540
- Works
- 33
- Citations
- 42
- Citations per work
- 1.3
What does Dorel Lucanu research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence44% of their works
- 2Computational Theory and Mathematics26% of their works
- 3Software9% of their works
- 4Information Systems9% of their works
- 5Industrial and Manufacturing Engineering4% of their works
- 6Computer Networks and Communications2% of their works
Research topics
Which keywords describe Dorel Lucanu's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Description Logics and Knowledge Representation.
- Semantic Web
- Molecular Computation
- Side-Channel Attacks
- Software Fault Localization
- Modal Logic
- Automated Testing
- Knowledge Representation
- Symbolic Model Checker
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Satisfiability Modulo Theories
- Description Logics
- Answer Set Programming
- Code Clone Detection
- Refactoring
- Security Policies
- DNA Computing
- Ontology
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 20 words, with their numbers
- Model Checking233 topics
- Temporal Logic122 topics
- Formal Verification111 topic
- Static Analysis111 topic
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Description Logics42 topics
- Knowledge Representation42 topics
- Answer Set Programming31 topic
- Automated Testing31 topic
- Code Clone Detection31 topic
- Modal Logic31 topic
- Refactoring31 topic
- Software Fault Localization31 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- DNA Computing11 topic
- Molecular Computation11 topic
- Ontology11 topic
- Semantic Web11 topic
Where does Dorel Lucanu work?
Dorel Lucanu's main affiliation in the publication record is Alexandru Ioan Cuza University, Romania.
How many publications and citations does Dorel Lucanu have?
Science Explorer counts 33 works and 42 citations for Dorel Lucanu, ranking #1,275,719 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.