The Algebraic Approach to the Theory of Computing Systems. - Jerzy Tiuryn (MFCS, 1974)

On the Domain of Iteration in Iterative Algebraic Theories. - Jerzy Tiuryn (MFCS, 1976)

Fixed-Points and Algebras with Infinitely Long Expressions, II. - Jerzy Tiuryn (FCT, 1977)

Fixed-Points and Algebras with Infinitely Long Expressions, I. - Jerzy Tiuryn (MFCS, 1977)

Some Results on the Decomposition of Finite Automata - Jerzy Tiuryn (Inf. Control., 1978)

Implicit definability of algebraic structures by means of program properties. - Jan A. Bergstra; Jerzy Tiuryn (FCT, 1979)

Unique Fixed Points v. Least Fixed Points. - Jerzy Tiuryn (ICALP, 1979)

A Survey of the Logic of Effective Definitions. - Jerzy Tiuryn (Logic of Programs, 1979)

Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract). - Jerzy Tiuryn (MFCS, 1979)

Unique Fixed Points Vs. Least Fixed Points. - Jerzy Tiuryn (Theor. Comput. Sci., 1980)

Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract) - Jerzy Tiuryn (FOCS, 1981)

Hoare's Logic is Incomplete When It Does Not Have To Be. - Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn (Logic of Programs, 1981)

A Note On Equivalences Among Logics of Programs. - Albert R. Meyer; Jerzy Tiuryn (Logic of Programs, 1981)

Logic of effective definitions. - Jan A. Bergstra; Jerzy Tiuryn (Fundam. Informaticae, 1981)

Algorithmic degrees of algebraic structures. - Jan A. Bergstra; Jerzy Tiuryn (Fundam. Informaticae, 1981)

Regular extensions of iterative algebras and metric interpretations. - Jan A. Bergstra; Jerzy Tiuryn (Fundam. Informaticae, 1981)

Logic of effective definitions. - Jerzy Tiuryn (Fundam. Informaticae, 1981)

On the Power of Nondeterminism in Dynamic Logic. - Piotr Berman; Joseph Y. Halpern; Jerzy Tiuryn (ICALP, 1982)

Floyds Principle, Correctness Theories and Program Equivalence. - Jan A. Bergstra; Jerzy Tiuryn; John V. Tucker (Theor. Comput. Sci., 1982)

Another Incompleteness Result for Hoare's Logic - Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn (Inf. Control., 1982)

Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract) - Jerzy Tiuryn; Pawel Urzyczyn (FOCS, 1983)

Implicit definability of finite binary trees by sets of equations. - Jerzy Tiuryn (Logic and Machines, 1983)

PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness. - Jan A. Bergstra; Jerzy Tiuryn (Logic of Programs, 1983)

Remarks on Comparing Expressive Power of Logics of Programs. - Jerzy Tiuryn; Pawel Urzyczyn (MFCS, 1984)

Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic - Jerzy Tiuryn (Inf. Control., 1984)

Equivalences among Logics of Programs. - Albert R. Meyer; Jerzy Tiuryn (J. Comput. Syst. Sci., 1984)

Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). - David B. Benson; Jerzy Tiuryn (Mathematical Foundations of Programming Semantics, 1985)

Preface - Jerzy Tiuryn (Inf. Control., 1985)

Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs. - Jerzy Tiuryn (MFCS, 1986)

The Hierarchy of Finitely Typed Functional Programs (Short Version) - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (LICS, 1987)

On the Computational Power of Universally Polymorphic Recursion - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (LICS, 1988)

A Proper Extension of ML with an Effective Type-Assignment. - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (POPL, 1988)

Some Relationships Between Logics of Programs and Complexity Theory. - Jerzy Tiuryn; Pawel Urzyczyn (Theor. Comput. Sci., 1988)

Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (LICS, 1989)

Fixed Points in Free Process Algebras, Part I. - David B. Benson; Jerzy Tiuryn (Theor. Comput. Sci., 1989)

A Simplified Proof of DDL < DL - Jerzy Tiuryn (Inf. Comput., 1989)

Logics of Programs. - Dexter Kozen; Jerzy Tiuryn (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

ML Typability is DEXTIME-Complete. - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (CAAP, 1990)

Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) - A. J. Kfoury; Jerzy Tiuryn (LICS, 1990)

Type Inference Problems: A Survey. - Jerzy Tiuryn (MFCS, 1990)

The Undecidability of the Semi-Unification Problem (Preliminary Report) - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (STOC, 1990)

Fixed Points in Free Process Algebras, Part II. - Jerzy Tiuryn; David B. Benson (Theor. Comput. Sci., 1990)

Solving Equational Constraints in Polymorphic Types. - Jerzy Tiuryn (LFCS, 1992)

Subtype Inequalities - Jerzy Tiuryn (LICS, 1992)

On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (Theor. Comput. Sci., 1992)

Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus - A. J. Kfoury; Jerzy Tiuryn (Inf. Comput., 1992)

Type Reconstruction with Recursive Types and Atomic Subtyping. - Jerzy Tiuryn; Mitchell Wand (TAPSOFT, 1993)

A New Characterization of Lambda Definability. - Achim Jung; Jerzy Tiuryn (TLCA, 1993)

Type Reconstruction in the Presence of Polymorphic Recursion. - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (ACM Trans. Program. Lang. Syst., 1993)

The Undecidability of the Semi-unification Problem - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 1993)

An Analysis of ML Typability. - A. J. Kfoury; Jerzy Tiuryn; Pawel Urzyczyn (J. ACM, 1994)

Equational Axiomatization of Bicoercibility for Polymorphic Types. - Jerzy Tiuryn (FSTTCS, 1995)

Untyped Lambda-Calculus with Input-Output. - Jerzy Tiuryn; Mitchell Wand (CAAP, 1996)

Satisfiability of Inequalities in a Poset. - Vaughan R. Pratt; Jerzy Tiuryn (Fundam. Informaticae, 1996)

Subtyping over a Lattice (Abstract). - Jerzy Tiuryn (Kurt Gödel Colloquium, 1997)

Discrimination by Parallel Observers. - Mariangiola Dezani-Ciancaglini; Jerzy Tiuryn; Pawel Urzyczyn (LICS, 1997)

Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. - Jerzy Tiuryn (MFCS, 1999)

Discrimination by Parallel Observers: The Algorithm. - Mariangiola Dezani-Ciancaglini; Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 1999)

Alpha-Conversion and Typability. - A. J. Kfoury; Simona Ronchi Della Rocca; Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 1999)

Intuitionistic Linear Logic and Partial Correctness. - Dexter Kozen; Jerzy Tiuryn (LICS, 2001)

A Sequent Calculus for Subtyping Polymorphic Types. - Jerzy Tiuryn (Inf. Comput., 2001)

On the completeness of propositional Hoare logic. - Dexter Kozen; Jerzy Tiuryn (Inf. Sci., 2001)

Dynamic logic. - David Harel; Dexter Kozen; Jerzy Tiuryn (SIGACT News, 2001)

Contextual alignment of biological sequences. - Anna Gambin; Slawomir Lasota 001; Radoslaw Szklarczyk; Jerzy Tiuryn; Jerzy Tyszkiewicz (ECCB, 2002)

Products and Polymorphic Subtypes. - Viviana Bono; Jerzy Tiuryn (Fundam. Informaticae, 2002)

The Subtyping Problem for Second-Order Types Is Undecidable. - Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 2002)

Type Inference for Nested Self Types. - Viviana Bono; Jerzy Tiuryn; Pawel Urzyczyn (TYPES, 2003)

Substructural logic and partial correctness. - Dexter Kozen; Jerzy Tiuryn (ACM Trans. Comput. Log., 2003)

A Case Study of Genome Evolution: From Continuous to Discrete Time Model. - Jerzy Tiuryn; Ryszard Rudnicki; Damian Wójtowicz (MFCS, 2004)

On the Structure of Reconciliations. - Pawel Górecki 001; Jerzy Tiuryn (Comparative Genomics, 2004)

Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins. - Szymon Nowakowski; Krzysztof Fidelis; Jerzy Tiuryn (PPAM, 2005)

Regulatory Network Reconstruction Using Stochastic Logical Networks. - Bartek Wilczynski; Jerzy Tiuryn (CMSB, 2006)

On Genome Evolution with Innovation. - Damian Wójtowicz; Jerzy Tiuryn (MFCS, 2006)

On Genome Evolution with Accumulated Change and Innovation. - Damian Wójtowicz; Jerzy Tiuryn (Comparative Genomics, 2006)

Applying dynamic Bayesian networks to perturbed gene expression data. - Norbert Dojer; Anna Gambin; Andrzej Mizera; Bartek Wilczynski; Jerzy Tiuryn (BMC Bioinform., 2006)

Using local gene expression similarities to discover regulatory binding site modules. - Bartek Wilczynski; Torgeir R. Hvidsten; Andriy Kryshtafovych; Jerzy Tiuryn; Henryk Jan Komorowski; Krzysztof Fidelis (BMC Bioinform., 2006)

Alignment with Context Dependent Scoring Function. - Anna Gambin; Jerzy Tiuryn; Jerzy Tyszkiewicz (J. Comput. Biol., 2006)

DLS-trees: A model of evolutionary scenarios. - Pawel Górecki 001; Jerzy Tiuryn (Theor. Comput. Sci., 2006)

Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks. - Bartek Wilczynski; Jerzy Tiuryn (CMSB, 2007)

Identification of functional modules from conserved ancestral protein-protein interactions. - Janusz Dutkowski; Jerzy Tiuryn (ISMB/ECCB (Supplement of Bioinformatics), 2007)

Inferring phylogeny from whole genomes. - Pawel Górecki 001; Jerzy Tiuryn (Bioinform., 2007)

URec: a system for unrooted reconciliation. - Pawel Górecki 001; Jerzy Tiuryn (Bioinform., 2007)

A new approach to the assessment of the quality of predictions of transcription factor binding sites. - Szymon Nowakowski; Jerzy Tiuryn (J. Biomed. Informatics, 2007)

Evolution of Gene Families Based on Gene Duplication, Loss, Accumulated Change, and Innovation. - Damian Wójtowicz; Jerzy Tiuryn (J. Comput. Biol., 2007)

Phylogeny-guided interaction mapping in seven eukaryotes. - Janusz Dutkowski; Jerzy Tiuryn (BMC Bioinform., 2009)

Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs. - Bartek Wilczynski; Norbert Dojer; Mateusz Patelak; Jerzy Tiuryn (BMC Bioinform., 2009)

CAMBer: An approach to support comparative analysis of multiple bacterial strains. - Michal Wozniak 002; Limsoon Wong; Jerzy Tiuryn (BIBM, 2010)

MODEVO: exploring modularity and evolution of protein interaction networks. - Michal Wozniak 002; Jerzy Tiuryn; Janusz Dutkowski (Bioinform., 2010)

Introducing Knowledge into Differential Expression Analysis. - Ewa Szczurek; Przemyslaw Biecek; Jerzy Tiuryn; Martin Vingron (J. Comput. Biol., 2010)

CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains. - Michal Wozniak 002; Limsoon Wong; Jerzy Tiuryn (Bioinform., 2011)

Deregulation upon DNA damage revealed by joint analysis of context-specific perturbation data. - Ewa Szczurek; Florian Markowetz; Irit Gat-Viks; Przemyslaw Biecek; Jerzy Tiuryn; Martin Vingron (BMC Bioinform., 2011)

Bi-Billboard: Symmetrization and Careful Choice of Informant Species Results in Higher Accuracy of Regulatory Element Prediction. - Norbert Dojer; Przemyslaw Biecek; Jerzy Tiuryn (J. Comput. Biol., 2011)

Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model. - Pawel Górecki 001; Jerzy Tiuryn (Logic and Program Semantics, 2012)

A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution. - Janusz Dutkowski; Jerzy Tiuryn (J. Comput. Biol., 2013)

Bioinformatics and Computational Biology in Poland. - Janusz M. Bujnicki; Jerzy Tiuryn (PLoS Comput. Biol., 2013)

Unrooted Tree Reconciliation: A Unified Approach. - Pawel Górecki 001; Oliver Eulenstein; Jerzy Tiuryn (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains. - Michal Wozniak 002; Limsoon Wong; Jerzy Tiuryn (BMC Bioinform., 2014)

Romulus: robust multi-state identification of transcription factor binding sites from DNase-seq data. - Aleksander Jankowski; Jerzy Tiuryn; Shyam Prabhakar (Bioinform., 2016)

Enhanceosome transcription factors preferentially dimerize with high mobility group proteins. - Aleksander Jankowski; Paulina Obara; Utsav Mathur; Jerzy Tiuryn (BMC Syst. Biol., 2016)

FastBill: An Improved Tool for Prediction of Cis-Regulatory Modules. - Bartek Wilczynski; Jerzy Tiuryn (J. Comput. Biol., 2017)

Learning signaling networks from combinatorial perturbations by exploiting siRNA off-target effects. - Jerzy Tiuryn; Ewa Szczurek (Bioinform., 2019)

Minimizing genomic duplication episodes. - Jaroslaw Paszek; Jerzy Tiuryn; Pawel Górecki 001 (Comput. Biol. Chem., 2020)

The Unconstrained Diameters of the Duplication-Loss Cost and the Loss Cost. - Pawel Górecki 001; Oliver Eulenstein; Jerzy Tiuryn (IEEE ACM Trans. Comput. Biol. Bioinform., 2021)

Rooting Gene Trees via Phylogenetic Networks. - Jerzy Tiuryn; Natalia Rutecka; Pawel Górecki 001 (COCOON, 2022)

Phylogenetic network-assisted rooting of unrooted gene trees. - Jerzy Tiuryn; Natalia Rutecka; Pawel Górecki 001 (J. Comb. Optim., 2024)