Science Explorer Back to mapMap
Discussion
Researcher · Vilnius University · Lithuania

Stasys Norgėla

Stasys Norgėla publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Statistics and Probability, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

OpenAlex
World rank
#6,759,039
of 7,710,434 ranked researchers
Rank in Lithuania
#6,228
of 9,273
Works
15
Citations
8
Citations per work
0.5
h-index
2
i10-index 0Top 98% in Artificial Intelligence
Stasys Norgėla

What does Stasys Norgėla research?

Stasys Norgėla's work is mostly in Computer Science (93%), Mathematics (5%), Engineering (2%).

Physical Sciences: 15 works · 99.9% of their workComputer Science: 14 works · 92.7% of their workArtificial Intelligence: 7 works · 48.8% of their workComputational Theory and Mathematics: 6 works · 41.5% of their workComputer Networks and Communications: 0 works · 2.4% of their workMathematics: 1 works · 4.8% of their workStatistics and Probability: 0 works · 2.4% of their workTheoretical Computer Science: 0 works · 2.4% of their workEngineering: 0 works · 2.4% of their workControl and Systems Engineering: 0 works · 2.4% of their workTHEIR WORKStasys Norgėla15works
Physical Sciences100%

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
    1. Computer Science1492.7%
    2. Mathematics14.8%
    3. Engineering02.4%
  1. 1Artificial Intelligence49% of their works
  2. 2Computational Theory and Mathematics42% of their works
  3. 3Statistics and Probability2% of their works
  4. 4Computer Networks and Communications2% of their works
  5. 5Theoretical Computer Science2% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Stasys Norgėla's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic and Satisfiability Modulo Theories.

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
  1. Model Checking233 topics
  2. Temporal Logic142 topics
  3. Automata92 topics
  4. Formal Verification91 topic
  5. Static Analysis91 topic
  6. Answer Set Programming81 topic
  7. Modal Logic81 topic
  8. Satisfiability Modulo Theories61 topic
  9. Symbolic Model Checker61 topic
  10. Formal Languages31 topic
  11. Regular Expressions31 topic
  12. Compression21 topic
  13. Fuzzy Logic21 topic
  14. Gröbner Bases21 topic
  15. Residuated Lattices21 topic
  16. Suffix Arrays21 topic
  17. Symbolic Computing21 topic
  18. Active Learning11 topic
  19. Machine Learning11 topic

Where does Stasys Norgėla work?

Stasys Norgėla's main affiliation in the publication record is Vilnius University, Lithuania.

How many publications and citations does Stasys Norgėla have?

OpenAlex counts 15 works and 8 citations for Stasys Norgėla, an h-index of 2, 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 Stasys Norgėla. Posts are plain text and can be reported.