Jerzy Tiuryn

发表

Another Incompleteness Result for Hoare's Logic

Jan A. Bergstra, Jerzy Tiuryn, Anna Chmielinska, 1982, Inf. Control..

On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1992, Theor. Comput. Sci..

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

Bartek Wilczynski, Jerzy Tiuryn, B. Wilczyński, 2017, J. Comput. Biol..

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

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2011, Bioinform..

Minimizing genomic duplication episodes

Jerzy Tiuryn, Jarosław Paszek, Paweł Górecki, 2020, Comput. Biol. Chem..

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

Jerzy Tiuryn, Aleksander Jankowski, Shyam Prabhakar, 2016, Bioinform..

On the Structure of Reconciliations

Jerzy Tiuryn, Pawel Górecki, 2004, Comparative Genomics.

Local Descriptors' Library Models the Core of Protein Structures Accurately

Jerzy Tiuryn, Michał Drabikowski, Krzysztof Fidelis, 2005 .

Analysis of replacing DNase-seq data with histone marks in computational dimer prediction

Jerzy Tiuryn, Victor Chukwudi Osamor, 2015, BMC Neuroscience.

Using local gene expression similarities to discover regulatory binding site modules

Bartek Wilczynski, Jerzy Tiuryn, Jan Komorowski, 2006, BMC Bioinformatics.

Bioinformatics and Computational Biology in Poland

Jerzy Tiuryn, Janusz M. Bujnicki, J. Bujnicki, 2013, PLoS Comput. Biol..

On Genome Evolution with Innovation

Jerzy Tiuryn, Damian Wójtowicz, D. Wójtowicz, 2006, MFCS.

Type Inference Problems: A Survey

Jerzy Tiuryn, J. Tiuryn, 1990, MFCS.

Intuitionistic linear logic and partial correctness

Jerzy Tiuryn, Dexter Kozen, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

A Sequent Calculus for Subtyping Polymorphic Types

Jerzy Tiuryn, J. Tiuryn, 1996, Inf. Comput..

Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp.

Jerzy Tiuryn, 1982 .

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

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2010, BIBM.

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

Jerzy Tiuryn, Assaf Kfoury, Paweł Urzyczyn, 1990, STOC 1990.

On the Domain of Iteration in Iterative Algebraic Theories

Jerzy Tiuryn, 1976, MFCS.

Some Relationships Between Logics of Programs and Complexity Theory

Jerzy Tiuryn, Pawel Urzyczyn, 1988, Theor. Comput. Sci..

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

Jerzy Tiuryn, J. Tiuryn, 1996, MFCS.

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

Jerzy Tiuryn, David B. Benson, 1985, Mathematical Foundations of Programming Semantics.

Algorithmic degrees of algebraic structures

Jan A. Bergstra, Jerzy Tiuryn, 1981, Fundam. Informaticae.

Discrimination by Parallel Observers: The Algorithm

Jerzy Tiuryn, Mariangiola Dezani-Ciancaglini, Pawel Urzyczyn, 1999, Inf. Comput..

A new approach to the assessment of the quality of predictions of transcription factor binding sites

Jerzy Tiuryn, Szymon Nowakowski, J. Tiuryn, 2007, J. Biomed. Informatics.

Selected Papers from the 8th International Workshop on Computer Science Logic

Jerzy Tiuryn, Leszek Pacholski, 1994 .

The Hierarchy of Finitely Typed Functional Programs (Short Version)

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1987, LICS.

Equational Axiomatization of Bicoercibility for Polymorphic Types

Jerzy Tiuryn, J. Tiuryn, 1995, FSTTCS.

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

Jan A. Bergstra, Jerzy Tiuryn, Anna Chmielinska, 1981, Logic of Programs.

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

Jerzy Tiuryn, 1999, MFCS.

On the computational power of universally polymorphic recursion

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Bi-Billboard: Symmetrization and Careful Choice of Informant Species Results in Higher Accuracy of Regulatory Element Prediction

Jerzy Tiuryn, Norbert Dojer, Przemyslaw Biecek, 2011, J. Comput. Biol..

On the completeness of propositional Hoare logic

Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2001, Inf. Sci..

MODEVO: exploring modularity and evolution of protein interaction networks

Jerzy Tiuryn, Michal Wozniak, Janusz Dutkowski, 2010, Bioinform..

On Genome Evolution with Accumulated Change and Innovation

Jerzy Tiuryn, Damian Wójtowicz, D. Wójtowicz, 2006, Comparative Genomics.

Untyped Lambda-Calculus with Input-Output

Jerzy Tiuryn, Mitchell Wand, 1996, CAAP.

Computational consequences and partial solutions of a generalized unification problem

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

An analysis of ML typability

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1994, JACM.

Fixed-Points and Algebras with Infinitely Long Expressions, II

Jerzy Tiuryn, 1977, FCT.

Substructural logic and partial correctness

Jerzy Tiuryn, Dexter Kozen, D. Kozen, 2003, TOCL.

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

Jan A. Bergstra, Jerzy Tiuryn, 1983, Logic of Programs.

Dynamic logic

Jerzy Tiuryn, David Harel, Dexter Kozen, 2001, SIGA.

A New Characterization of Lambda Definability

Jerzy Tiuryn, Achim Jung, A. Jung, 1993, TLCA.

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

Bartek Wilczynski, Jerzy Tiuryn, Norbert Dojer, 2009, BMC Bioinformatics.

Products and Polymorphic Subtypes

Jerzy Tiuryn, Viviana Bono, 2002, Fundam. Informaticae.

Reasoning About Programs

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

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

Jerzy Tiuryn, 1979, MFCS.

Unique Fixed Points Vs. Least Fixed Points

Jerzy Tiuryn, 1980, Theor. Comput. Sci..

Remarks on Comparing Expressive Power of Logics of Programs

Jerzy Tiuryn, Pawel Urzyczyn, J. Tiuryn, 1984, MFCS.

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

Jerzy Tiuryn, Pawel Górecki, P. Górecki, 2012, Logic and Program Semantics.

A Sequent Calculus for Subtyping Polymorphic Types

Jerzy Tiuryn, 1996, MFCS.

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Jerzy Tiuryn, Etaps, 2000 .

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

Jerzy Tiuryn, J. Tiuryn, 1984, Inf. Control..

The R Package bgmm: Mixture Modeling with Uncertain Knowledge

Jerzy Tiuryn, Martin Vingron, Przemyslaw Biecek, 2012 .

Computer Science Logic

Jerzy Tiuryn, Leszek Pacholski, 1994, Lecture Notes in Computer Science.

Fixed Points in Free Process Algebras, Part I

Jerzy Tiuryn, David B. Benson, 1989, Theor. Comput. Sci..

Satisfiability of Inequalities in a Poset

Jerzy Tiuryn, Vaughan R. Pratt, V. Pratt, 1996, Fundam. Informaticae.

On the Power of Nondeterminism in Dynamic Logic

Jerzy Tiuryn, Piotr Berman, Joseph Y. Halpern, 1982, ICALP.

Alignment with Context Dependent Scoring Function

Jerzy Tiuryn, Jerzy Tyszkiewicz, Anna Gambin, 2006, J. Comput. Biol..

Propositional Dynamic Logic

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

Type reconstruction in the presence of polymorphic recursion

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1993, TOPL.

Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000

Jerzy Tiuryn, 2000 .

Fixed-Points and Algebras with Infinitely Long Expressions, I

Jerzy Tiuryn, J. Tiuryn, 1977, MFCS.

The subtyping problem for second-order types is undecidable

Jerzy Tiuryn, Pawel Urzyczyn, J. Tiuryn, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

Unrooted Tree Reconciliation: A Unified Approach

Jerzy Tiuryn, Oliver Eulenstein, Pawel Górecki, 2013, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

ML Typability is DEXTIME-Complete

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1990, CAAP.

Logic of effective definitions

Jerzy Tiuryn, J. Tiuryn, 1981, Fundam. Informaticae.

Contextual alignment of biological sequences

Jerzy Tiuryn, Slawomir Lasota, Jerzy Tyszkiewicz, 2002, ECCB.

A Note On Equivalences Among Logics of Programs

Jerzy Tiuryn, Albert R. Meyer, A. Meyer, 1981, Logic of Programs.

Preface

Jerzy Tiuryn, 1985, Inf. Control..

Floyds Principle, Correctness Theories and Program Equivalence

Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker, 1982, Theor. Comput. Sci..

Identification of functional modules from conserved ancestral protein-protein interactions

Jerzy Tiuryn, Janusz Dutkowski, 2007, ISMB/ECCB.

DLS-trees: A model of evolutionary scenarios

Jerzy Tiuryn, Pawel Górecki, P. Górecki, 2006, Theor. Comput. Sci..

Regular extensions of iterative algebras and metric interpretations

Jan A. Bergstra, Jerzy Tiuryn, 1980, Fundam. Informaticae.

Other Variants of PDL

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

Implicit definability of algebraic structures by means of program properties

Jan A. Bergstra, Jerzy Tiuryn, 1979, FCT.

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

Jerzy Tiuryn, Damian Wójtowicz, Ryszard Rudnicki, 2004, MFCS.

A Simplified Proof of DDL < DL

Jerzy Tiuryn, J. Tiuryn, 1989, Inf. Comput..

Foundations of Software Science and Computation Structures

Jerzy Tiuryn, 2000, Lecture Notes in Computer Science.

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

Jerzy Tiuryn, Ewa Szczurek, J. Tiuryn, 2019, Bioinform..

The Algebraic Approach to the Theory of Computing Systems

Jerzy Tiuryn, J. Tiuryn, 1974, MFCS.

Type reconstruction in finite-rank fragments of the polymorphic lambda -calculus

Jerzy Tiuryn, Assaf J. Kfoury, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

The undecidability of the semi-unification problem

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1990, STOC '90.

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

Jerzy Tiuryn, Oliver Eulenstein, Pawel Gorecki, 2019, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Logics of Programs

Jerzy Tiuryn, Dexter Kozen, D. Kozen, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

III First-Order Dynamic Logic

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

Variants of DL

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

Implicit definability of finite binary trees by sets of equations

Jerzy Tiuryn, 1983, Logic and Machines.

Inferring phylogeny from whole genomes

Jerzy Tiuryn, Pawel Górecki, P. Górecki, 2007, Bioinform..

A Survey of the Logic of Effective Definitions

Jerzy Tiuryn, 1979, Logic of Programs.

Introducing Knowledge into Differential Expression Analysis

Jerzy Tiuryn, Martin Vingron, Przemyslaw Biecek, 2010, J. Comput. Biol..

Equivalences among Logics of Programs

Jerzy Tiuryn, Albert R. Meyer, A. Meyer, 1984, J. Comput. Syst. Sci..

Phylogeny-guided interaction mapping in seven eukaryotes

Jerzy Tiuryn, Janusz Dutkowski, Janusz Dutkowski, 2009, BMC Bioinformatics.

Enhanceosome transcription factors preferentially dimerize with high mobility group proteins

Jerzy Tiuryn, Paulina Obara, Aleksander Jankowski, 2015, BMC Systems Biology.

Type Inference for Nested Self Types

Jerzy Tiuryn, Pawel Urzyczyn, Viviana Bono, 2003, TYPES.

MEMOFinder: combining de novo motif prediction methods with a database of known motifs

Bartek Wilczynski, Jerzy Tiuryn, Milosz Darzynkiewicz, 2008 .

A simple programming language with data types: semantics and verification

Jerzy Tiuryn, 1985 .

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

Jerzy Tiuryn, Krzysztof Fidelis, Szymon Nowakowski, 2005, PPAM.

Regulatory Network Reconstruction Using Stochastic Logical Networks

Bartek Wilczynski, Jerzy Tiuryn, 2006, CMSB.

Unbounded program memory adds to the expressive power of first-order dynamic logic

Jerzy Tiuryn, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

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

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2014, BMC Bioinformatics.

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

Jerzy Tiuryn, Assaf J. Kfoury, A. Kfoury, 1992, Inf. Comput..

Subtyping over a Lattice (Abstract)

Jerzy Tiuryn, 1997, Kurt Gödel Colloquium.

Subtype inequalities

Jerzy Tiuryn, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

The Subtyping Problem for Second-Order Types Is Undecidable

Jerzy Tiuryn, Paweł Urzyczyn, 2002, Inf. Comput..

The Undecidability of the Semi-unification Problem

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1993, Inf. Comput..

Alpha-Conversion and Typability

Jerzy Tiuryn, Pawel Urzyczyn, Simona Ronchi Della Rocca, 1999, Inf. Comput..

Applying dynamic Bayesian networks to perturbed gene expression data

Bartek Wilczynski, Jerzy Tiuryn, Andrzej Mizera, 2006, BMC Bioinformatics.

Deregulation upon DNA damage revealed by joint analysis of context-specific perturbation data

Jerzy Tiuryn, Martin Vingron, Przemyslaw Biecek, 2011, BMC Bioinformatics.

URec: a system for unrooted reconciliation

Jerzy Tiuryn, Pawel Górecki, P. Górecki, 2007, Bioinform..

Unique Fixed Points v. Least Fixed Points

Jerzy Tiuryn, 1979, ICALP.

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

Jerzy Tiuryn, Damian Wójtowicz, D. Wójtowicz, 2007, J. Comput. Biol..

Discrimination by parallel observers

Jerzy Tiuryn, Mariangiola Dezani-Ciancaglini, Pawel Urzyczyn, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

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

Jerzy Tiuryn, Janusz Dutkowski, Janusz Dutkowski, 2013, J. Comput. Biol..

Some Results on the Decomposition of Finite Automata

Jerzy Tiuryn, 1978, Inf. Control..

A proper extension of ML with an effective type-assignment

Jerzy Tiuryn, Pawel Urzyczyn, Assaf J. Kfoury, 1988, POPL '88.

Type Reconstruction with Recursive Types and Atomic Subtyping

Jerzy Tiuryn, Mitchell Wand, 1993, TAPSOFT.

Fixed Points in Free Process Algebras, Part II

Jerzy Tiuryn, David B. Benson, 1990, Theor. Comput. Sci..

Notation and Abbreviations

Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .

I. Fundamental Concepts

Jerzy Tiuryn, David Harel, Dexter Kozen, 1959 .

Satissability of Inequalities in a Poset

Jerzy Tiuryn, Vaughan Pratt, .

SIZE DISTRIBUTION OF GENE FAMILIES IN A GENOME

Jerzy Tiuryn, Ryszard Rudnicki, R. Rudnicki, 2014 .

A Formal Model of Genomic Dna Multiplication and Amplification

Jerzy Tiuryn, Jan P. Radomski, Piotr P. Slonimski, 2000 .

TACO: a general-purpose tool for predicting cell-type–specific transcription factor dimers

Jerzy Tiuryn, Aleksander Jankowski, Shyam Prabhakar, 2014, BMC Genomics.

Process algebra semantics for queues

Jan A. Bergstra, Jerzy Tiuryn, 1983 .

An approach to identifying drug resistance associated mutations in bacterial strains

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2012, BMC Genomics.

A model for the evolution of paralog families in genomes

Jerzy Tiuryn, Damian Wójtowicz, Ryszard Rudnicki, 2006, Journal of mathematical biology.

Phylogeny-guided interaction mapping in seven eukaryotes ( Supplementary material )

Jerzy Tiuryn, Janusz Dutkowski, 2009 .

Automated reduction and interpretation of multidimensional mass spectra for analysis of complex peptide mixtures

Jerzy Tiuryn, Anna Gambin, Jakub Karczmarski, 2007 .

Floyd's principle, correctness theories and program equivalence : (preprint)

Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker, 1980 .

Contextual alignment of biological sequences (Extended abstract).

Jerzy Tiuryn, Jerzy Tyszkiewicz, Anna Gambin, 2002, Bioinformatics.

CAMBer: an approach to support comparative analysis of multiple bacterial strains

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2010, 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

Comprehensive prediction in 78 human cell lines reveals rigidity and compactness of transcription factor dimers

Jerzy Tiuryn, Ewa Szczurek, Aleksander Jankowski, 2013, Genome research.

Correctness theories and program equivalence : (preprint)

Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker, 1979 .

GWAMAR: Genome-wide assessment of mutations associated with drug resistance in bacteria

Jerzy Tiuryn, Limsoon Wong, Michal Wozniak, 2014, BMC Genomics.