Daniel Damian
Daniel Damian publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Dementia and Cognitive Impairment Research.
- World rank
- #6,482,988 of 7,710,434 ranked researchers
- Rank in Switzerland
- #75,920 of 80,918
- Works
- 34
- Citations
- 229
- Citations per work
- 6.7
What does Daniel Damian research?
Daniel Damian's work is mostly in Computer Science (40%), Biochemistry, Genetics and Molecular Biology (8%), Medicine (7%).
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
- Everything else1544.2%
- Physical Sciences1440.0%
- Computer Science1440.0%
- Life Sciences38.4%
- Health Sciences37.4%
- Medicine37.4%
- 1Artificial Intelligence18% of their works
- 2Computational Theory and Mathematics10% of their works
- 3Molecular Biology8% of their works
- 4Psychiatry and Mental health7% of their works
- 5Software6% of their works
- 6Information Systems5% of their works
Research topics
Which keywords describe Daniel Damian's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Alzheimer's Disease, Mild Cognitive Impairment, Satisfiability Modulo Theories, Symbolic Model Checker and Code Clone Detection.
- Vascular Cognitive Impairment
- Tau Pathology
- Automated Testing
- Refactoring
- Healthcare
- Code Clone Detection
- Satisfiability Modulo Theories
- Alzheimer's Disease
- Formal Verification
- Model Checking
- Static Analysis
- Mild Cognitive Impairment
- Symbolic Model Checker
- Deep Learning
- Oxidative Stress
- Amyloid Hypothesis
- Software Fault Localization
- Cerebral Hypoperfusion
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 Checking152 topics
- Formal Verification81 topic
- Static Analysis81 topic
- Alzheimer's Disease71 topic
- Mild Cognitive Impairment71 topic
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Code Clone Detection51 topic
- Deep Learning51 topic
- Healthcare51 topic
- Oxidative Stress52 topics
- Refactoring51 topic
- Amyloid Hypothesis31 topic
- Automated Testing31 topic
- Software Fault Localization31 topic
- Tau Pathology31 topic
- Cerebral Hypoperfusion21 topic
- Vascular Cognitive Impairment21 topic
Where does Daniel Damian work?
Daniel Damian's main affiliation in the publication record is University of Lausanne, Switzerland.
How many publications and citations does Daniel Damian have?
OpenAlex counts 34 works and 229 citations for Daniel Damian, an h-index of 9, ranking #6,482,988 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 Daniel Damian. Posts are plain text and can be reported.