Edward Ochmański
Edward Ochmański publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as semigroups and automata theory, Formal Methods in Verification and Advanced Algebra and Logic.
- World rank
- #6,394,426 of 7,710,434 ranked researchers
- Rank in Poland
- #67,156 of 100,960
- Works
- 36
- Citations
- 302
- Citations per work
- 8.4
What does Edward Ochmański research?
Edward Ochmański's work is mostly in Computer Science (75%), Biochemistry, Genetics and Molecular Biology (7%), Business, Management and Accounting (5%).
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 Sciences2876.7%
- Computer Science2774.6%
- Mathematics12.1%
- Everything else410.6%
- Life Sciences37.4%
- Social Sciences25.3%
- 1Computational Theory and Mathematics54% of their works
- 2Artificial Intelligence16% of their works
- 3Molecular Biology7% of their works
- 4Management Information Systems5% of their works
- 5Computer Networks and Communications4% of their works
- 6Algebra and Number Theory2% of their works
Research topics
Which keywords describe Edward Ochmański's research?
The keywords of their largest research topics: Automata, Model Checking, Formal Languages, Regular Expressions, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention and Fuzzy Logic.
- Computability
- Workflow Mining
- Static Analysis
- Formal Verification
- Residuated Lattices
- Fuzzy Logic
- Symbolic Model Checker
- Regular Expressions
- Model Checking
- Automata
- Formal Languages
- Satisfiability Modulo Theories
- Deadlock Prevention
- Petri Nets
- DNA Computing
- Molecular Computation
- Business Process Management
- Algorithmic Information Theory
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 18 words, with their numbers
- Automata252 topics
- Model Checking182 topics
- Formal Languages131 topic
- Regular Expressions131 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Deadlock Prevention101 topic
- Fuzzy Logic101 topic
- Petri Nets101 topic
- Residuated Lattices101 topic
- DNA Computing61 topic
- Formal Verification61 topic
- Molecular Computation61 topic
- Static Analysis61 topic
- Business Process Management51 topic
- Workflow Mining51 topic
- Algorithmic Information Theory41 topic
- Computability41 topic
Where does Edward Ochmański work?
Edward Ochmański's main affiliation in the publication record is Polish Academy of Sciences, Poland.
How many publications and citations does Edward Ochmański have?
OpenAlex counts 36 works and 302 citations for Edward Ochmański, an h-index of 8, ranking #6,394,426 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 Edward Ochmański. Posts are plain text and can be reported.