Jerzy Tiuryn

85 papers and 893 indexed citations i.

Jerzy Tiuryn has authored 85 papers that have received a total of 893 indexed citations. This includes 39 papers in Molecular Biology, 36 papers in Computational Theory and Mathematics and 31 papers in Artificial Intelligence. The topics of these papers are Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (19 papers). Jerzy Tiuryn is often cited by papers focused on Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (19 papers) and collaborates with scholars based in Poland, United States and Singapore. Jerzy Tiuryn's co-authors include Paweł Urzyczyn, Ewa Szczurek, Bartek Wilczyński, Martin Vingron and Przemysław Biecek and has published in prestigious journals such as Bioinformatics, PLoS ONE and Genome Research