Sophie Tison
Sophie Tison publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, semigroups and automata theory and Advanced Database Systems and Queries.
- World rank
- #590,401 of 1,633,909 ranked researchers
- Rank in France
- #36,072 of 96,116
- Works
- 29
- Citations
- 113
- Citations per work
- 3.9
What does Sophie Tison research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence36% of their works
- 2Computational Theory and Mathematics31% of their works
- 3Computer Networks and Communications17% of their works
- 4Hardware and Architecture6% of their works
- 5Information Systems and Management2% of their works
- 6Philosophy2% of their works
Research topics
Which keywords describe Sophie Tison's research?
The keywords of their largest research topics: Model Checking, Automata, Formal Languages, Formal Verification, Regular Expressions, Static Analysis, Temporal Logic and Continuous Queries.
- Ontology
- Answer Set Programming
- Statistical Machine Translation
- Compression
- Satisfiability Modulo Theories
- Description Logics
- Continuous Queries
- Static Analysis
- Formal Verification
- Automata
- Model Checking
- Formal Languages
- Regular Expressions
- Temporal Logic
- Data Stream Management
- Knowledge Representation
- Symbolic Model Checker
- Neural Machine Translation
- Suffix Arrays
- Modal Logic
- Semantic Web
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 21 words, with their numbers
- Model Checking143 topics
- Automata122 topics
- Formal Languages81 topic
- Formal Verification81 topic
- Regular Expressions81 topic
- Static Analysis81 topic
- Temporal Logic62 topics
- Continuous Queries51 topic
- Data Stream Management51 topic
- Description Logics42 topics
- Knowledge Representation42 topics
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Compression31 topic
- Neural Machine Translation31 topic
- Statistical Machine Translation31 topic
- Suffix Arrays31 topic
- Answer Set Programming21 topic
- Modal Logic21 topic
- Ontology21 topic
- Semantic Web21 topic
Where does Sophie Tison work?
Sophie Tison's main affiliation in the publication record is Laboratoire d'Informatique Fondamentale de Lille, France.
How many publications and citations does Sophie Tison have?
Science Explorer counts 29 works and 113 citations for Sophie Tison, ranking #590,401 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.