Science Explorer Interactive view Map
Researcher · Jan Długosz University · Poland

Andrzej Zbrzezny

Andrzej Zbrzezny publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Logic, programming, and type systems.

ORCID 0000-0003-2771-9683 OpenAlex
World rank
#1,257,508
of 1,633,909 ranked researchers
Rank in Poland
#15,151
of 21,787
Works
15
Citations
26
Citations per work
1.7

What does Andrzej Zbrzezny research?

Computational Theory and Mathematics: 38.9%Artificial Intelligence: 27.8%Software: 22.2%Hardware and Architecture: 11.1%39%top field
Computational Theory and Mathematics38.9%Artificial Intelligence27.8%Software22.2%Hardware and Architecture11.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics39% of their works
  2. 2Artificial Intelligence28% of their works
  3. 3Software22% of their works
  4. 4Hardware and Architecture11% of their works

Research topics

Which keywords describe Andrzej Zbrzezny's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering, Formal Methods, Deadlock Prevention and Formal Verification.

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
  1. Model Checking72 topics
  2. Satisfiability Modulo Theories51 topic
  3. Symbolic Model Checker51 topic
  4. Domain-Specific Languages41 topic
  5. Model-Driven Engineering41 topic
  6. Formal Methods32 topics
  7. Deadlock Prevention21 topic
  8. Formal Verification21 topic
  9. Petri Nets21 topic
  10. Static Analysis21 topic
  11. Agent-Based Modeling11 topic
  12. High-Level Synthesis11 topic
  13. Markov Decision Processes11 topic
  14. Multi-Agent Systems11 topic
  15. Neural Machine Translation11 topic
  16. Reconfigurable Computing11 topic
  17. Spoken Dialogue Systems11 topic
  18. Statistical Machine Translation11 topic

Where does Andrzej Zbrzezny work?

Andrzej Zbrzezny's main affiliation in the publication record is Jan Długosz University, Poland.

How many publications and citations does Andrzej Zbrzezny have?

Science Explorer counts 15 works and 26 citations for Andrzej Zbrzezny, ranking #1,257,508 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.