| 2022 | COCOON | Rooting Gene Trees via Phylogenetic Networks. | Jerzy Tiuryn, Natalia Rutecka, Pawel Grecki |
| 2007 | ISMB | Identification of functional modules from conserved ancestral protein-protein interactions. | Janusz Dutkowski, Jerzy Tiuryn |
| 2006 | MFCS | On Genome Evolution with Innovation. | Damian Wjtowicz, Jerzy Tiuryn |
| 2006 | RECOMB | On Genome Evolution with Accumulated Change and Innovation. | Damian Wjtowicz, Jerzy Tiuryn |
| 2005 | PPAM | Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins. | Szymon Nowakowski, Krzysztof Fidelis, Jerzy Tiuryn |
| 2004 | MFCS | A Case Study of Genome Evolution: From Continuous to Discrete Time Model. | Jerzy Tiuryn, Ryszard Rudnicki, Damian Wjtowicz |
| 2004 | RECOMB | On the Structure of Reconciliations. | Pawel Grecki, Jerzy Tiuryn |
| 2002 | ECCB | Contextual alignment of biological sequences. | Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz |
| 2001 | LICS | Intuitionistic Linear Logic and Partial Correctness. | Dexter Kozen, Jerzy Tiuryn |
| 1999 | MFCS | Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. | Jerzy Tiuryn |
| 1997 | LICS | Discrimination by Parallel Observers. | Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn |
| 1996 | LICS | The Subtyping Problem for Second-Order Types is Undecidable. | Jerzy Tiuryn, Pawel Urzyczyn |
| 1996 | MFCS | A Sequent Calculus for Subtyping Polymorphic Types. | Jerzy Tiuryn |
| 1992 | LFCS | Solving Equational Constraints in Polymorphic Types. | Jerzy Tiuryn |
| 1992 | LICS | Subtype Inequalities | Jerzy Tiuryn |
| 1990 | LICS | Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) | A. J. Kfoury, Jerzy Tiuryn |
| 1990 | MFCS | Type Inference Problems: A Survey. | Jerzy Tiuryn |
| 1990 | STOC | The Undecidability of the Semi-Unification Problem (Preliminary Report) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1989 | LICS | Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | LICS | On the Computational Power of Universally Polymorphic Recursion | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | POPL | A Proper Extension of ML with an Effective Type-Assignment. | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1987 | LICS | The Hierarchy of Finitely Typed Functional Programs (Short Version) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1986 | MFCS | Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs. | Jerzy Tiuryn |
| 1985 | MFPS | Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). | David B. Benson, Jerzy Tiuryn |
| 1984 | MFCS | Remarks on Comparing Expressive Power of Logics of Programs. | Jerzy Tiuryn, Pawel Urzyczyn |
| 1983 | FOCS | Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract) | Jerzy Tiuryn, Pawel Urzyczyn |
| 1982 | ICALP | On the Power of Nondeterminism in Dynamic Logic. | Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn |
| 1981 | FOCS | Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract) | Jerzy Tiuryn |
| 1979 | FCT | Implicit definability of algebraic structures by means of program properties. | Jan A. Bergstra, Jerzy Tiuryn |
| 1979 | ICALP | Unique Fixed Points v. Least Fixed Points. | Jerzy Tiuryn |
| 1979 | MFCS | Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract). | Jerzy Tiuryn |
| 1977 | FCT | Fixed-Points and Algebras with Infinitely Long Expressions, II. | Jerzy Tiuryn |
| 1977 | MFCS | Fixed-Points and Algebras with Infinitely Long Expressions, I. | Jerzy Tiuryn |
| 1976 | MFCS | On the Domain of Iteration in Iterative Algebraic Theories. | Jerzy Tiuryn |
| 1974 | MFCS | The Algebraic Approach to the Theory of Computing Systems. | Jerzy Tiuryn |