| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pawel Górecki, Jerzy Tiuryn |
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model.  |
Logic and Program Semantics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Bioinformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wozniak, Limsoon Wong, Jerzy Tiuryn |
CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains. |
Bioinformatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wozniak, Jerzy Tiuryn, Janusz Dutkowski |
MODEVO: exploring modularity and evolution of protein interaction networks. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wozniak, Limsoon Wong, Jerzy Tiuryn |
CAMBer: An approach to support comparative analysis of multiple bacterial strains. |
BIBM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Wilczynski, Norbert Dojer, Mateusz Patelak, Jerzy Tiuryn |
Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz Dutkowski, Jerzy Tiuryn |
Phylogeny-guided interaction mapping in seven eukaryotes. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Górecki, Jerzy Tiuryn |
Inferring phylogeny from whole genomes. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Górecki, Jerzy Tiuryn |
URec: a system for unrooted reconciliation. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Wójtowicz, Jerzy Tiuryn |
Evolution of Gene Families Based on Gene Duplication, Loss, Accumulated Change, and Innovation. |
Journal of Computational Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Nowakowski, Jerzy Tiuryn |
A new approach to the assessment of the quality of predictions of transcription factor binding sites. |
Journal of Biomedical Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Wilczynski, Jerzy Tiuryn |
Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz Dutkowski, Jerzy Tiuryn |
Identification of functional modules from conserved ancestral protein-protein interactions. |
ISMB/ECCB (Supplement of Bioinformatics) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek Wilczynski, Jerzy Tiuryn |
Applying dynamic Bayesian networks to perturbed gene expression data. |
BMC Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Górecki, Jerzy Tiuryn |
DLS-trees: A model of evolutionary scenarios. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Gambin, Jerzy Tiuryn, Jerzy Tyszkiewicz |
Alignment with Context Dependent Scoring Function. |
Journal of Computational Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Wójtowicz, Jerzy Tiuryn |
On Genome Evolution with Innovation. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Wilczynski, Jerzy Tiuryn |
Regulatory Network Reconstruction Using Stochastic Logical Networks. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Wójtowicz, Jerzy Tiuryn |
On Genome Evolution with Accumulated Change and Innovation. |
Comparative Genomics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Nowakowski, Krzysztof Fidelis, Jerzy Tiuryn |
Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Ryszard Rudnicki, Damian Wójtowicz |
A Case Study of Genome Evolution: From Continuous to Discrete Time Model. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Górecki, Jerzy Tiuryn |
On the Structure of Reconciliations. |
Comparative Genomics |
2004 |
DBLP DOI BibTeX RDF |
gene loss, computational biology, phylogenetic tree, reconciliation, gene duplication, molecular evolution |
| 1 | Dexter Kozen, Jerzy Tiuryn |
Substructural logic and partial correctness. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests |
| 1 | Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn |
Type Inference for Nested Self Types. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Pawel Urzyczyn |
The Subtyping Problem for Second-Order Types Is Undecidable. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Jerzy Tiuryn |
Products and Polymorphic Subtypes. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz |
Contextual alignment of biological sequences. |
ECCB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
A Sequent Calculus for Subtyping Polymorphic Types. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jerzy Tiuryn |
On the completeness of propositional Hoare logic. |
Inf. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Dexter Kozen, Jerzy Tiuryn |
Dynamic logic. |
SIGACT News |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jerzy Tiuryn |
Intuitionistic Linear Logic and Partial Correctness. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jerzy Tiuryn |
On the Completeness of Propositional Hoare Logic. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn (eds.) |
Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings |
FoSSaCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn |
Alpha-Conversion and Typability. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn |
Discrimination by Parallel Observers: The Algorithm. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn |
Discrimination by Parallel Observers. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Subtyping over a Lattice (Abstract). |
Kurt Gödel Colloquium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaughan R. Pratt, Jerzy Tiuryn |
Satisfiability of Inequalities in a Poset. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
A Sequent Calculus for Subtyping Polymorphic Types. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Mitchell Wand |
Untyped Lambda-Calculus with Input-Output. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Pawel Urzyczyn |
The Subtyping Problem for Second-Order Types is Undecidable. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Pacholski, Jerzy Tiuryn (eds.) |
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers |
CSL |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Equational Axiomatization of Bicoercibility for Polymorphic Types. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
An Analysis of ML Typability. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
acyclic semi-unification, semi-unification, ML |
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
The Undecidability of the Semi-unification Problem |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
Type Reconstruction in the Presence of Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification |
| 1 | Achim Jung, Jerzy Tiuryn |
A New Characterization of Lambda Definability. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Mitchell Wand |
Type Reconstruction with Recursive Types and Atomic Subtyping. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn |
Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Solving Equational Constraints in Polymorphic Types. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Subtype Inequalities |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, David B. Benson |
Fixed Points in Free Process Algebras, Part II. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Jerzy Tiuryn |
Logics of Programs. |
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Type Inference Problems: A Survey. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
ML Typability is DEXTIME-Complete. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn |
Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
The Undecidability of the Semi-Unification Problem (Preliminary Report) |
STOC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. Benson, Jerzy Tiuryn |
Fixed Points in Free Process Algebras, Part I. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
A Simplified Proof of DDL < DL |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Pawel Urzyczyn |
Some Relationships Between Logics of Programs and Complexity Theory. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
A Proper Extension of ML with an Effective Type-Assignment. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
ML |
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
On the Computational Power of Universally Polymorphic Recursion |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
The Hierarchy of Finitely Typed Functional Programs (Short Version) |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Preface |
Information and Control |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. Benson, Jerzy Tiuryn |
Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert R. Meyer, Jerzy Tiuryn |
Equivalences among Logics of Programs. |
J. Comput. Syst. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Pawel Urzyczyn |
Remarks on Comparing Expressive Power of Logics of Programs. |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn, Pawel Urzyczyn |
Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract) |
FOCS |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Implicit definability of finite binary trees by sets of equations. |
Logic and Machines |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker |
Floyds Principle, Correctness Theories and Program Equivalence. |
Theor. Comput. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn |
Another Incompleteness Result for Hoare's Logic |
Information and Control |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn |
On the Power of Nondeterminism in Dynamic Logic. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Algorithmic degrees of algebraic structures. |
Fundam. Inform. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Logic of effective definitions. |
Fundam. Inform. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Regular extensions of iterative algebras and metric interpretations. |
Fundam. Inform. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Logic of effective definitions. |
Fundam. Inform. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn |
Hoare's Logic is Incomplete When It Does Not Have To Be. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert R. Meyer, Jerzy Tiuryn |
A Note On Equivalences Among Logics of Programs. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract) |
FOCS |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Unique Fixed Points Vs. Least Fixed Points. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Regular extensions of iterative algebras and metric interpretations. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
A Survey of the Logic of Effective Definitions. |
Logic of Programs |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Unique Fixed Points v. Least Fixed Points. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract). |
MFCS |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jerzy Tiuryn |
Implicit definability of algebraic structures by means of program properties. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Some Results on the Decomposition of Finite Automata |
Information and Control |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Fixed-Points and Algebras with Infinitely Long Expressions, I. |
MFCS |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
Fixed-Points and Algebras with Infinitely Long Expressions, II. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
On the Domain of Iteration in Iterative Algebraic Theories. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Tiuryn |
The Algebraic Approach to the Theory of Computing Systems. |
MFCS |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")