Michael A. Taitslin
Michael A. Taitslin publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Advanced Database Systems and Queries and Logic, programming, and type systems.
- World rank
- #2,552,358 of 7,710,434 ranked researchers
- Rank in Russia
- #9,024 of 179,717
- Works
- 43
- Citations
- 408
- Citations per work
- 9.5
What does Michael A. Taitslin research?
Michael A. Taitslin's work is mostly in Computer Science (67%), Mathematics (7%), Social Sciences (4%).
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 Sciences3274.2%
- Computer Science2967.1%
- Mathematics37.1%
- Everything else1022.2%
- Social Sciences23.6%
- Social Sciences23.6%
- 1Artificial Intelligence30% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Computer Networks and Communications14% of their works
- 4Algebra and Number Theory7% of their works
- 5Signal Processing5% of their works
- 6Transportation4% of their works
Research topics
Which keywords describe Michael A. Taitslin's research?
The keywords of their largest research topics: Model Checking, Answer Set Programming, Modal Logic, Continuous Queries, Data Stream Management, Formal Verification, Static Analysis and GPS Trajectories.
- Algorithmic Information Theory
- Residuated Lattices
- Formal Languages
- Armendariz Rings
- GPS Trajectories
- Formal Verification
- Continuous Queries
- Answer Set Programming
- Model Checking
- Modal Logic
- Data Stream Management
- Static Analysis
- Trajectory Data Mining
- Automata
- Fuzzy Logic
- Zero-Divisor Graphs
- Computability
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 17 words, with their numbers
- Model Checking272 topics
- Answer Set Programming181 topic
- Modal Logic181 topic
- Continuous Queries121 topic
- Data Stream Management121 topic
- Formal Verification91 topic
- Static Analysis91 topic
- GPS Trajectories61 topic
- Trajectory Data Mining61 topic
- Armendariz Rings51 topic
- Automata51 topic
- Formal Languages51 topic
- Fuzzy Logic51 topic
- Residuated Lattices51 topic
- Zero-Divisor Graphs51 topic
- Algorithmic Information Theory41 topic
- Computability41 topic
Where does Michael A. Taitslin work?
Michael A. Taitslin's main affiliation in the publication record is Tver State University, Russia.
How many publications and citations does Michael A. Taitslin have?
OpenAlex counts 43 works and 408 citations for Michael A. Taitslin, an h-index of 11, ranking #2,552,358 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 Michael A. Taitslin. Posts are plain text and can be reported.