Daniela Petrişan
Daniela Petrişan publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Advanced Algebra and Logic.
- World rank
- #5,963,477 of 7,710,434 ranked researchers
- Rank in France
- #253,944 of 324,115
- Works
- 54
- Citations
- 315
- Citations per work
- 5.8
What does Daniela Petrişan research?
Daniela Petrişan's work is mostly in Computer Science (81%), Engineering (5%), Mathematics (3%).
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
- Physical Sciences4888.6%
- Computer Science4480.6%
- Engineering34.7%
- Mathematics23.3%
- Everything else611.4%
- 1Artificial Intelligence33% of their works
- 2Computational Theory and Mathematics31% of their works
- 3Information Systems13% of their works
- 4Control and Systems Engineering5% of their works
- 5Computer Science Applications3% of their works
- 6Mathematical Physics3% of their works
Research topics
Which keywords describe Daniela Petrişan's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Automata, Answer Set Programming, Modal Logic and Fuzzy Logic.
- Mathematical Information Retrieval
- Education Technology
- Big Data Mining
- Satisfiability Modulo Theories
- Formal Languages
- Fuzzy Logic
- Answer Set Programming
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Automata
- Modal Logic
- Residuated Lattices
- Regular Expressions
- Symbolic Model Checker
- Machine Learning
- Math Search
- Qualitative Data Analysis
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 19 words, with their numbers
- Model Checking533 topics
- Temporal Logic282 topics
- Formal Verification251 topic
- Static Analysis251 topic
- Automata212 topics
- Answer Set Programming201 topic
- Modal Logic201 topic
- Fuzzy Logic181 topic
- Residuated Lattices181 topic
- Formal Languages131 topic
- Regular Expressions131 topic
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Big Data Mining71 topic
- Machine Learning71 topic
- Education Technology61 topic
- Math Search61 topic
- Mathematical Information Retrieval61 topic
- Qualitative Data Analysis61 topic
Where does Daniela Petrişan work?
Daniela Petrişan's main affiliation in the publication record is Université Paris Cité, France.
How many publications and citations does Daniela Petrişan have?
OpenAlex counts 54 works and 315 citations for Daniela Petrişan, an h-index of 10, ranking #5,963,477 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 Daniela Petrişan. Posts are plain text and can be reported.