Jerzy Tiuryn

4.8k total citations · 1 hit paper
98 papers, 2.1k citations indexed

About

Jerzy Tiuryn is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology. According to data from OpenAlex, Jerzy Tiuryn has authored 98 papers receiving a total of 2.1k indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Computational Theory and Mathematics, 43 papers in Artificial Intelligence and 40 papers in Molecular Biology. Recurrent topics in Jerzy Tiuryn's work include Logic, programming, and type systems (35 papers), Logic, Reasoning, and Knowledge (30 papers) and Formal Methods in Verification (24 papers). Jerzy Tiuryn is often cited by papers focused on Logic, programming, and type systems (35 papers), Logic, Reasoning, and Knowledge (30 papers) and Formal Methods in Verification (24 papers). Jerzy Tiuryn collaborates with scholars based in Poland, United States and Singapore. Jerzy Tiuryn's co-authors include Dexter Kozen, David Harel, Paweł Urzyczyn, A. J. Kfoury, Paweł Górecki, Janusz Dutkowski, Bartek Wilczyński, Anna Gambin, Norbert Dojer and Andrzej Mizera and has published in prestigious journals such as SHILAP Revista de lepidopterología, Bioinformatics and PLoS ONE.

In The Last Decade

Jerzy Tiuryn

91 papers receiving 1.9k citations

Hit Papers

Dynamic Logic 2000 2026 2008 2017 2000 200 400 600

Peers

Jerzy Tiuryn
Comparison fields: 5 of 133
  • Artificial Intelligence 1.3k
  • Computational Theory and Mathematics 814
  • Molecular Biology 556
  • Computer Networks and Communications 153
  • Genetics 141
Replace Vincent Danos with:
Vincent Danos France
Valery Trifonov United States
Petra Mutzel Germany
Thomas G. Szymanski United States
Maxime Crochemore France
Craig G. Nevill-Manning New Zealand
Gabriel Valiente Spain
Ming‐Yang Kao United States
Lloyd Allison Australia
Gad M. Landau Israel
Vincent Danos France View profile →
Citations per field, relative to Jerzy Tiuryn
Jerzy Tiuryn · 1×
Citations per year, relative to Jerzy Tiuryn
Jerzy Tiuryn · 1×

Countries citing papers authored by Jerzy Tiuryn

Since Specialization
Citations

This map shows the geographic impact of Jerzy Tiuryn's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jerzy Tiuryn with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jerzy Tiuryn more than expected).

Fields of papers citing papers by Jerzy Tiuryn

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jerzy Tiuryn. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jerzy Tiuryn. The network helps show where Jerzy Tiuryn may publish in the future.

Co-authorship network of co-authors of Jerzy Tiuryn

This figure shows the co-authorship network connecting the top 25 collaborators of Jerzy Tiuryn. A scholar is included among the top collaborators of Jerzy Tiuryn based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jerzy Tiuryn. Jerzy Tiuryn is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
# Work Indexed citations
1 21
2 1
3 1
4 29
5
The R Package bgmm: Mixture Modeling with Uncertain Knowledge
3
6 12
7 2
8
Contextual Alignment of Biological Sequences
9
9
Products and polymorphic subtypes
0
10 4
11 8
12
Selected Papers from the 8th International Workshop on Computer Science Logic
2
13 2
14 27
15 12
16
The Hierarchy of Finitely Typed Functional Programs (Short Version)
6
17
Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract)
0
18
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
1
19
Hoare's logic is incomplete when it does not have to be
1
20
Correctness theories and program equivalence : (preprint)
4

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026