Jerzy Tiuryn

ORCID

Publication Activity (10 Years)

Years Active: 1974-2024
Publications (10 Years): 8

Top Venues

Bioinform.

BMC Bioinform.

IEEE ACM Trans. Comput. Biol. Bioinform.

J. Comput. Biol.

Publications

Jerzy Tiuryn, Natalia Rutecka, Pawel Górecki
Phylogenetic network-assisted rooting of unrooted gene trees. J. Comb. Optim. 47 (5) (2024)
Jerzy Tiuryn, Natalia Rutecka, Pawel Górecki
Rooting Gene Trees via Phylogenetic Networks. COCOON (2022)
Pawel Górecki, Oliver Eulenstein, Jerzy Tiuryn
The Unconstrained Diameters of the Duplication-Loss Cost and the Loss Cost. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Jaroslaw Paszek, Jerzy Tiuryn, Pawel Górecki
Minimizing genomic duplication episodes. Comput. Biol. Chem. 89 (2020)
Jerzy Tiuryn, Ewa Szczurek
Learning signaling networks from combinatorial perturbations by exploiting siRNA off-target effects. Bioinform. 35 (14) (2019)
Bartek Wilczynski, Jerzy Tiuryn
FastBill: An Improved Tool for Prediction of Cis-Regulatory Modules. J. Comput. Biol. 24 (3) (2017)
Aleksander Jankowski, Paulina Obara, Utsav Mathur, Jerzy Tiuryn
Enhanceosome transcription factors preferentially dimerize with high mobility group proteins. BMC Syst. Biol. 10 (2016)
Aleksander Jankowski, Jerzy Tiuryn, Shyam Prabhakar
Romulus: robust multi-state identification of transcription factor binding sites from DNase-seq data. Bioinform. 32 (16) (2016)
Michal Wozniak, Limsoon Wong, Jerzy Tiuryn
eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains. BMC Bioinform. 15 (2014)
Janusz M. Bujnicki, Jerzy Tiuryn
Bioinformatics and Computational Biology in Poland. PLoS Comput. Biol. 9 (5) (2013)
Janusz Dutkowski, Jerzy Tiuryn
A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution. J. Comput. Biol. 20 (9) (2013)
Pawel Górecki, Oliver Eulenstein, Jerzy Tiuryn
Unrooted Tree Reconciliation: A Unified Approach. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (2) (2013)
Pawel Górecki, Jerzy Tiuryn
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model. Logic and Program Semantics (2012)
Norbert Dojer, Przemyslaw Biecek, Jerzy Tiuryn
Bi-Billboard: Symmetrization and Careful Choice of Informant Species Results in Higher Accuracy of Regulatory Element Prediction. J. Comput. Biol. 18 (6) (2011)
Michal Wozniak, Limsoon Wong, Jerzy Tiuryn
CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains. Bioinform. 27 (23) (2011)
Ewa Szczurek, Florian Markowetz, Irit Gat-Viks, Przemyslaw Biecek, Jerzy Tiuryn, Martin Vingron
Deregulation upon DNA damage revealed by joint analysis of context-specific perturbation data. BMC Bioinform. 12 (2011)
Ewa Szczurek, Przemyslaw Biecek, Jerzy Tiuryn, Martin Vingron
Introducing Knowledge into Differential Expression Analysis. J. Comput. Biol. 17 (8) (2010)
Michal Wozniak, Jerzy Tiuryn, Janusz Dutkowski
MODEVO: exploring modularity and evolution of protein interaction networks. Bioinform. 26 (14) (2010)
Michal Wozniak, Limsoon Wong, Jerzy Tiuryn
CAMBer: An approach to support comparative analysis of multiple bacterial strains. BIBM (2010)
Bartek Wilczynski, Norbert Dojer, Mateusz Patelak, Jerzy Tiuryn
Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs. BMC Bioinform. 10 (2009)
Janusz Dutkowski, Jerzy Tiuryn
Phylogeny-guided interaction mapping in seven eukaryotes. BMC Bioinform. 10 (2009)
Janusz Dutkowski, Jerzy Tiuryn
Identification of functional modules from conserved ancestral protein-protein interactions. ISMB/ECCB (Supplement of Bioinformatics) (2007)
Szymon Nowakowski, Jerzy Tiuryn
A new approach to the assessment of the quality of predictions of transcription factor binding sites. J. Biomed. Informatics 40 (2) (2007)
Pawel Górecki, Jerzy Tiuryn
URec: a system for unrooted reconciliation. Bioinform. 23 (4) (2007)
Pawel Górecki, Jerzy Tiuryn
Inferring phylogeny from whole genomes. Bioinform. 23 (2) (2007)
Bartek Wilczynski, Jerzy Tiuryn
Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks. CMSB (2007)
Damian Wójtowicz, Jerzy Tiuryn
Evolution of Gene Families Based on Gene Duplication, Loss, Accumulated Change, and Innovation. J. Comput. Biol. 14 (4) (2007)
Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek Wilczynski, Jerzy Tiuryn
Applying dynamic Bayesian networks to perturbed gene expression data. BMC Bioinform. 7 (2006)
Bartek Wilczynski, Jerzy Tiuryn
Regulatory Network Reconstruction Using Stochastic Logical Networks. CMSB (2006)
Pawel Górecki, Jerzy Tiuryn
DLS-trees: A model of evolutionary scenarios. Theor. Comput. Sci. 359 (1-3) (2006)
Bartek Wilczynski, Torgeir R. Hvidsten, Andriy Kryshtafovych, Jerzy Tiuryn, Henryk Jan Komorowski, Krzysztof Fidelis
Using local gene expression similarities to discover regulatory binding site modules. BMC Bioinform. 7 (2006)
Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz
Alignment with Context Dependent Scoring Function. J. Comput. Biol. 13 (1) (2006)
Damian Wójtowicz, Jerzy Tiuryn
On Genome Evolution with Accumulated Change and Innovation. Comparative Genomics (2006)
Damian Wójtowicz, Jerzy Tiuryn
On Genome Evolution with Innovation. MFCS (2006)
Szymon Nowakowski, Krzysztof Fidelis, Jerzy Tiuryn
Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins. PPAM (2005)
Jerzy Tiuryn, Ryszard Rudnicki, Damian Wójtowicz
A Case Study of Genome Evolution: From Continuous to Discrete Time Model. MFCS (2004)
Pawel Górecki, Jerzy Tiuryn
On the Structure of Reconciliations. Comparative Genomics (2004)
Dexter Kozen, Jerzy Tiuryn
Substructural logic and partial correctness. ACM Trans. Comput. Log. 4 (3) (2003)
Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn
Type Inference for Nested Self Types. TYPES (2003)
Viviana Bono, Jerzy Tiuryn
Products and Polymorphic Subtypes. Fundam. Informaticae 51 (1-2) (2002)
Jerzy Tiuryn, Pawel Urzyczyn
The Subtyping Problem for Second-Order Types Is Undecidable. Inf. Comput. 179 (1) (2002)
Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz
Contextual alignment of biological sequences. ECCB (2002)
Dexter Kozen, Jerzy Tiuryn
On the completeness of propositional Hoare logic. Inf. Sci. 139 (3-4) (2001)
David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic logic. SIGACT News 32 (1) (2001)
Dexter Kozen, Jerzy Tiuryn
Intuitionistic Linear Logic and Partial Correctness. LICS (2001)
Jerzy Tiuryn
A Sequent Calculus for Subtyping Polymorphic Types. Inf. Comput. 164 (2) (2001)
Dexter Kozen, Jerzy Tiuryn
On the Completeness of Propositional Hoare Logic. RelMiCS (2000)
A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn
Alpha-Conversion and Typability. Inf. Comput. 150 (1) (1999)
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150 (2) (1999)
Jerzy Tiuryn
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. MFCS (1999)
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
Discrimination by Parallel Observers. LICS (1997)
Jerzy Tiuryn
Subtyping over a Lattice (Abstract). Kurt Gödel Colloquium (1997)
Vaughan R. Pratt, Jerzy Tiuryn
Satisfiability of Inequalities in a Poset. Fundam. Informaticae 28 (1-2) (1996)
Jerzy Tiuryn, Pawel Urzyczyn
The Subtyping Problem for Second-Order Types is Undecidable. LICS (1996)
Jerzy Tiuryn, Mitchell Wand
Untyped Lambda-Calculus with Input-Output. CAAP (1996)
Jerzy Tiuryn
A Sequent Calculus for Subtyping Polymorphic Types. MFCS (1996)
Jerzy Tiuryn
Equational Axiomatization of Bicoercibility for Polymorphic Types. FSTTCS (1995)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
An Analysis of ML Typability. J. ACM 41 (2) (1994)
Achim Jung, Jerzy Tiuryn
A New Characterization of Lambda Definability. TLCA (1993)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
Type Reconstruction in the Presence of Polymorphic Recursion. ACM Trans. Program. Lang. Syst. 15 (2) (1993)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
The Undecidability of the Semi-unification Problem Inf. Comput. 102 (1) (1993)
Jerzy Tiuryn, Mitchell Wand
Type Reconstruction with Recursive Types and Atomic Subtyping. TAPSOFT (1993)
Jerzy Tiuryn
Solving Equational Constraints in Polymorphic Types. LFCS (1992)
A. J. Kfoury, Jerzy Tiuryn
Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus Inf. Comput. 98 (2) (1992)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. Theor. Comput. Sci. 93 (1) (1992)
Jerzy Tiuryn
Subtype Inequalities LICS (1992)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
ML Typability is DEXTIME-Complete. CAAP (1990)
A. J. Kfoury, Jerzy Tiuryn
Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) LICS (1990)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
The Undecidability of the Semi-Unification Problem (Preliminary Report) STOC (1990)
Jerzy Tiuryn, David B. Benson
Fixed Points in Free Process Algebras, Part II. Theor. Comput. Sci. 70 (2) (1990)
Jerzy Tiuryn
Type Inference Problems: A Survey. MFCS (1990)
David B. Benson, Jerzy Tiuryn
Fixed Points in Free Process Algebras, Part I. Theor. Comput. Sci. 63 (3) (1989)
Jerzy Tiuryn
A Simplified Proof of DDL < DL Inf. Comput. 81 (1) (1989)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) LICS (1989)
Jerzy Tiuryn, Pawel Urzyczyn
Some Relationships Between Logics of Programs and Complexity Theory. Theor. Comput. Sci. 60 (1988)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
A Proper Extension of ML with an Effective Type-Assignment. POPL (1988)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
On the Computational Power of Universally Polymorphic Recursion LICS (1988)
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version) LICS (1987)
Jerzy Tiuryn
Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs. MFCS (1986)
David B. Benson, Jerzy Tiuryn
Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). Mathematical Foundations of Programming Semantics (1985)
Jerzy Tiuryn
Preface Inf. Control. 67 (1-3) (1985)
Jerzy Tiuryn, Pawel Urzyczyn
Remarks on Comparing Expressive Power of Logics of Programs. MFCS (1984)
Jerzy Tiuryn
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic Inf. Control. 60 (1-3) (1984)
Albert R. Meyer, Jerzy Tiuryn
Equivalences among Logics of Programs. J. Comput. Syst. Sci. 29 (2) (1984)
Jerzy Tiuryn, Pawel Urzyczyn
Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract) FOCS (1983)
Jan A. Bergstra, Jerzy Tiuryn
PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness. Logic of Programs (1983)
Jerzy Tiuryn
Implicit definability of finite binary trees by sets of equations. Logic and Machines (1983)
Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn
On the Power of Nondeterminism in Dynamic Logic. ICALP (1982)
Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn
Another Incompleteness Result for Hoare's Logic Inf. Control. 52 (2) (1982)
Jan A. Bergstra, Jerzy Tiuryn, John V. Tucker
Floyds Principle, Correctness Theories and Program Equivalence. Theor. Comput. Sci. 17 (1982)
Albert R. Meyer, Jerzy Tiuryn
A Note On Equivalences Among Logics of Programs. Logic of Programs (1981)
Jan A. Bergstra, Jerzy Tiuryn
Algorithmic degrees of algebraic structures. Fundam. Informaticae 4 (4) (1981)
Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn
Hoare's Logic is Incomplete When It Does Not Have To Be. Logic of Programs (1981)
Jerzy Tiuryn
Logic of effective definitions. Fundam. Informaticae 4 (3) (1981)
Jerzy Tiuryn
Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract) FOCS (1981)
Jan A. Bergstra, Jerzy Tiuryn
Logic of effective definitions. Fundam. Informaticae 4 (3) (1981)
Jan A. Bergstra, Jerzy Tiuryn
Regular extensions of iterative algebras and metric interpretations. Fundam. Informaticae 4 (4) (1981)
Jerzy Tiuryn
Unique Fixed Points Vs. Least Fixed Points. Theor. Comput. Sci. 12 (1980)
Jan A. Bergstra, Jerzy Tiuryn
Regular extensions of iterative algebras and metric interpretations. CLAAP (1980)
Jerzy Tiuryn
A Survey of the Logic of Effective Definitions. Logic of Programs (1979)

Jerzy Tiuryn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jerzy Tiuryn