Jerzy Tiuryn

According to our database, Jerzy Tiuryn authored at least 105 papers between 1974 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Phylogenetic network-assisted rooting of unrooted gene trees.

Jerzy Tiuryn, Natalia Rutecka, Pawel Górecki

J. Comb. Optim., July, 2024

2022

Rooting Gene Trees via Phylogenetic Networks.

Jerzy Tiuryn, Natalia Rutecka, Pawel Górecki

Proceedings of the Computing and Combinatorics - 28th International Conference, 2022

2021

The Unconstrained Diameters of the Duplication-Loss Cost and the Loss Cost.

Pawel Górecki, Oliver Eulenstein, Jerzy Tiuryn

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2020

Minimizing genomic duplication episodes.

Jaroslaw Paszek, Jerzy Tiuryn, Pawel Górecki

Comput. Biol. Chem., 2020

2019

Learning signaling networks from combinatorial perturbations by exploiting siRNA off-target effects.

Jerzy Tiuryn, Ewa Szczurek

Bioinform., 2019

2017

FastBill: An Improved Tool for Prediction of Cis-Regulatory Modules.

Bartek Wilczynski, Jerzy Tiuryn

J. Comput. Biol., 2017

2016

Enhanceosome transcription factors preferentially dimerize with high mobility group proteins.

Aleksander Jankowski, Paulina Obara, Utsav Mathur, Jerzy Tiuryn

BMC Syst. Biol., 2016

Romulus: robust multi-state identification of transcription factor binding sites from DNase-seq data.

Aleksander Jankowski, Jerzy Tiuryn, Shyam Prabhakar

Bioinform., 2016

2014

eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains.

Michal Wozniak, Limsoon Wong, Jerzy Tiuryn

BMC Bioinform., 2014

2013

Unrooted Tree Reconciliation: A Unified Approach.

Pawel Górecki, Oliver Eulenstein, Jerzy Tiuryn

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Bioinformatics and Computational Biology in Poland.

Janusz M. Bujnicki, Jerzy Tiuryn

PLoS Comput. Biol., 2013

A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution.

Janusz Dutkowski, Jerzy Tiuryn

J. Comput. Biol., 2013

2012

Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model.

Pawel Górecki, Jerzy Tiuryn

Proceedings of the Logic and Program Semantics, 2012

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

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

CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains.

Michal Wozniak, Limsoon Wong, Jerzy Tiuryn

Bioinform., 2011

2010

Introducing Knowledge into Differential Expression Analysis.

Ewa Szczurek, Przemyslaw Biecek, Jerzy Tiuryn, Martin Vingron

J. Comput. Biol., 2010

MODEVO: exploring modularity and evolution of protein interaction networks.

Michal Wozniak, Jerzy Tiuryn, Janusz Dutkowski

Bioinform., 2010

CAMBer: An approach to support comparative analysis of multiple bacterial strains.

Michal Wozniak, Limsoon Wong, Jerzy Tiuryn

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine, 2010

2009

Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs.

Bartek Wilczynski, Norbert Dojer, Mateusz Patelak, Jerzy Tiuryn

BMC Bioinform., 2009

Phylogeny-guided interaction mapping in seven eukaryotes.

Janusz Dutkowski, Jerzy Tiuryn

BMC Bioinform., 2009

2007

Evolution of Gene Families Based on Gene Duplication, Loss, Accumulated Change, and Innovation.

Damian Wójtowicz, Jerzy Tiuryn

J. Comput. Biol., 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

URec: a system for unrooted reconciliation.

Pawel Górecki, Jerzy Tiuryn

Bioinform., 2007

Inferring phylogeny from whole genomes.

Pawel Górecki, Jerzy Tiuryn

Bioinform., 2007

Identification of functional modules from conserved ancestral protein-protein interactions.

Janusz Dutkowski, Jerzy Tiuryn

Proceedings of the Proceedings 15th International Conference on Intelligent Systems for Molecular Biology (ISMB) & 6th European Conference on Computational Biology (ECCB), 2007

Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks.

Bartek Wilczynski, Jerzy Tiuryn

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

DLS-trees: A model of evolutionary scenarios.

Pawel Górecki, Jerzy Tiuryn

Theor. Comput. Sci., 2006

Alignment with Context Dependent Scoring Function.

Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz

J. Comput. Biol., 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

Applying dynamic Bayesian networks to perturbed gene expression data.

Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek Wilczynski, Jerzy Tiuryn

BMC Bioinform., 2006

On Genome Evolution with Accumulated Change and Innovation.

Damian Wójtowicz, Jerzy Tiuryn

Proceedings of the Comparative Genomics, 2006

On Genome Evolution with Innovation.

Damian Wójtowicz, Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Regulatory Network Reconstruction Using Stochastic Logical Networks.

Bartek Wilczynski, Jerzy Tiuryn

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins.

Szymon Nowakowski, Krzysztof Fidelis, Jerzy Tiuryn

Proceedings of the Parallel Processing and Applied Mathematics, 2005

2004

On the Structure of Reconciliations.

Pawel Górecki, Jerzy Tiuryn

Proceedings of the Comparative Genomics, 2004

A Case Study of Genome Evolution: From Continuous to Discrete Time Model.

Jerzy Tiuryn, Ryszard Rudnicki, Damian Wójtowicz

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Substructural logic and partial correctness.

Dexter Kozen, Jerzy Tiuryn

ACM Trans. Comput. Log., 2003

Type Inference for Nested Self Types.

Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

The Subtyping Problem for Second-Order Types Is Undecidable.

Jerzy Tiuryn, Pawel Urzyczyn

Inf. Comput., 2002

Products and Polymorphic Subtypes.

Viviana Bono, Jerzy Tiuryn

Fundam. Informaticae, 2002

Contextual alignment of biological sequences.

Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz

Proceedings of the European Conference on Computational Biology (ECCB 2002), 2002

2001

Dynamic logic.

David Harel, Dexter Kozen, Jerzy Tiuryn

SIGACT News, 2001

On the completeness of propositional Hoare logic.

Dexter Kozen, Jerzy Tiuryn

Inf. Sci., 2001

A Sequent Calculus for Subtyping Polymorphic Types.

Jerzy Tiuryn

Inf. Comput., 2001

Intuitionistic Linear Logic and Partial Correctness.

Dexter Kozen, Jerzy Tiuryn

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999

Alpha-Conversion and Typability.

A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn

Inf. Comput., 1999

Discrimination by Parallel Observers: The Algorithm.

Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn

Inf. Comput., 1999

Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1997

Discrimination by Parallel Observers.

Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Subtyping over a Lattice (Abstract).

Jerzy Tiuryn

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Satisfiability of Inequalities in a Poset.

Vaughan R. Pratt, Jerzy Tiuryn

Fundam. Informaticae, 1996

Untyped Lambda-Calculus with Input-Output.

Jerzy Tiuryn, Mitchell Wand

Proceedings of the Trees in Algebra and Programming, 1996

1995

Equational Axiomatization of Bicoercibility for Polymorphic Types.

Jerzy Tiuryn

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

An Analysis of ML Typability.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

J. ACM, 1994

1993

The Undecidability of the Semi-unification Problem

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Inf. Comput., January, 1993

Type Reconstruction in the Presence of Polymorphic Recursion.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

ACM Trans. Program. Lang. Syst., 1993

A New Characterization of Lambda Definability.

Achim Jung, Jerzy Tiuryn

Proceedings of the Typed Lambda Calculi and Applications, 1993

Type Reconstruction with Recursive Types and Atomic Subtyping.

Jerzy Tiuryn, Mitchell Wand

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus

A. J. Kfoury, Jerzy Tiuryn

Inf. Comput., June, 1992

On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Theor. Comput. Sci., 1992

Subtype Inequalities

Jerzy Tiuryn

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Solving Equational Constraints in Polymorphic Types.

Jerzy Tiuryn

Proceedings of the Logical Foundations of Computer Science, 1992

1990

Fixed Points in Free Process Algebras, Part II.

Jerzy Tiuryn, David B. Benson

Theor. Comput. Sci., 1990

The Undecidability of the Semi-Unification Problem (Preliminary Report)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, 1990

Type Inference Problems: A Survey.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary)

A. J. Kfoury, Jerzy Tiuryn

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

ML Typability is DEXTIME-Complete.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the CAAP '90, 1990

Logics of Programs.

Dexter Kozen, Jerzy Tiuryn

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

A Simplified Proof of DDL < DL

Jerzy Tiuryn

Inf. Comput., April, 1989

Fixed Points in Free Process Algebras, Part I.

David B. Benson, Jerzy Tiuryn

Theor. Comput. Sci., 1989

Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

Some Relationships Between Logics of Programs and Complexity Theory.

Jerzy Tiuryn, Pawel Urzyczyn

Theor. Comput. Sci., 1988

A Proper Extension of ML with an Effective Type-Assignment.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

On the Computational Power of Universally Polymorphic Recursion

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

The Hierarchy of Finitely Typed Functional Programs (Short Version)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1985

Preface

Jerzy Tiuryn

Inf. Control., 1985

Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note).

David B. Benson, Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

1984

Equivalences among Logics of Programs.

Albert R. Meyer, Jerzy Tiuryn

J. Comput. Syst. Sci., 1984

Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic

Jerzy Tiuryn

Inf. Control., 1984

Remarks on Comparing Expressive Power of Logics of Programs.

Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983

PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness.

Jan A. Bergstra, Jerzy Tiuryn

Proceedings of the Logics of Programs, 1983

Implicit definability of finite binary trees by sets of equations.

Jerzy Tiuryn

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract)

Jerzy Tiuryn, Pawel Urzyczyn

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982

Another Incompleteness Result for Hoare's Logic

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Inf. Control., February, 1982

Floyds Principle, Correctness Theories and Program Equivalence.

Jan A. Bergstra, Jerzy Tiuryn, John V. Tucker

Theor. Comput. Sci., 1982

On the Power of Nondeterminism in Dynamic Logic.

Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn

Proceedings of the Automata, 1982

1981

Logic of effective definitions.

Jerzy Tiuryn

Fundam. Informaticae, 1981

Regular extensions of iterative algebras and metric interpretations.

Jan A. Bergstra, Jerzy Tiuryn

Fundam. Informaticae, 1981

Algorithmic degrees of algebraic structures.

Jan A. Bergstra, Jerzy Tiuryn

Fundam. Informaticae, 1981

Logic of effective definitions.

Jan A. Bergstra, Jerzy Tiuryn

Fundam. Informaticae, 1981

A Note On Equivalences Among Logics of Programs.

Albert R. Meyer, Jerzy Tiuryn

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Hoare's Logic is Incomplete When It Does Not Have To Be.

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract)

Jerzy Tiuryn

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980

Unique Fixed Points Vs. Least Fixed Points.

Jerzy Tiuryn

Theor. Comput. Sci., 1980

1979

Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract).

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

A Survey of the Logic of Effective Definitions.

Jerzy Tiuryn

Proceedings of the Logics of Programs, Workshop, ETH Zürich, May-July 1979, 1979

Unique Fixed Points v. Least Fixed Points.

Jerzy Tiuryn

Proceedings of the Automata, 1979

Implicit definability of algebraic structures by means of program properties.

Jan A. Bergstra, Jerzy Tiuryn

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Some Results on the Decomposition of Finite Automata

Jerzy Tiuryn

Inf. Control., September, 1978

1977

Fixed-Points and Algebras with Infinitely Long Expressions, I.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Fixed-Points and Algebras with Infinitely Long Expressions, II.

Jerzy Tiuryn

Proceedings of the Fundamentals of Computation Theory, 1977

1976

On the Domain of Iteration in Iterative Algebraic Theories.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

The Algebraic Approach to the Theory of Computing Systems.

Jerzy Tiuryn

Proceedings of the Mathematical Foundations of Computer Science, 1974