Stanislovas Norgėla
Stanislovas Norgėla publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Political Science and International Relations, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #6,759,039 of 7,710,434 ranked researchers
- Rank in Lithuania
- #6,228 of 9,273
- Works
- 15
- Citations
- 2
- Citations per work
- 0.1
What does Stanislovas Norgėla research?
Stanislovas Norgėla's work is mostly in Computer Science (72%), Social Sciences (13%), Engineering (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 Sciences1278.1%
- Computer Science1171.9%
- Engineering03.1%
- Mathematics03.1%
- Social Sciences212.6%
- Social Sciences212.6%
- Everything else19.3%
- 1Computational Theory and Mathematics38% of their works
- 2Artificial Intelligence34% of their works
- 3Political Science and International Relations6% of their works
- 4Education6% of their works
- 5Control and Systems Engineering3% of their works
- 6Geometry and Topology3% of their works
Research topics
Which keywords describe Stanislovas Norgėla's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Description Logics, Knowledge Representation, Satisfiability Modulo Theories, Symbolic Model Checker and Answer Set Programming.
- Smart Grid
- Ontology
- Cyber-Physical Systems
- Formal Languages
- Fuzzy Logic
- Modal Logic
- Answer Set Programming
- Satisfiability Modulo Theories
- Description Logics
- Temporal Logic
- Model Checking
- Automata
- Knowledge Representation
- Symbolic Model Checker
- Formal Verification
- Static Analysis
- Residuated Lattices
- Regular Expressions
- Gröbner Bases
- Semantic Web
- Symbolic Computing
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 Checking163 topics
- Temporal Logic112 topics
- Automata82 topics
- Description Logics62 topics
- Knowledge Representation62 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Answer Set Programming51 topic
- Formal Verification51 topic
- Modal Logic51 topic
- Static Analysis51 topic
- Fuzzy Logic31 topic
- Residuated Lattices31 topic
- Formal Languages21 topic
- Regular Expressions21 topic
- Cyber-Physical Systems11 topic
- Gröbner Bases11 topic
- Ontology11 topic
- Semantic Web11 topic
- Smart Grid11 topic
- Symbolic Computing11 topic
Where does Stanislovas Norgėla work?
Stanislovas Norgėla's main affiliation in the publication record is Vilnius University, Lithuania.
How many publications and citations does Stanislovas Norgėla have?
OpenAlex counts 15 works and 2 citations for Stanislovas Norgėla, an h-index of 1, ranking #6,759,039 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 Stanislovas Norgėla. Posts are plain text and can be reported.