| ||
51. | Local Descriptors' Library Models the Core of Protein Structures Accurately
w: RECOMB 2005 Poster Abstracts, str. 89-90, Ź Broad Institute of MIT and Harvard Ź , r. 2005 (Komunikat) Michał Drabikowski, Krzysztof Fidelis, Andriy Kryshtafovych, Jerzy Tiuryn | |
52. | A Markovian model of genome evolution: distribution of paralogs
w: RECOMB 2004, Currents in Computational Molecular Biology, str. 296-297, University of California at San Diego, r. 2004 (Artykuł konferencyjny) Jerzy Tiuryn, Damian Wójtowicz | |
53. | Designing DNA-microarray Probes Opimized for Hybridization Probability
w: Currents in Computtaional Molecular Biology (RECOMB), str. 285-286, r. 2003 (Artykuł konferencyjny) Agnes Szczepek, Jerzy Tiuryn, Bartosz Wilczynski | |
54. | Detecting Local Structure in proteins by Analyzing Motif Sequence Signatures
w: Proceedings of the European Conference on Computational Biology in Conjunction with the French National Conference on Bioinformatics, str. 165-166, r. 2003 (Artykuł konferencyjny) Szymon Nowakowski, Andriey Kryshtafovych, Krzysztof Fidelis, Jerzy Tiuryn | |
55. | Substructural Logic and Partial Correctness
w: ACM Transactions on Computational Logic, str. 355-378, r. 2003 (Artykuł) Dexter Kozen, Jerzy Tiuryn | |
56. | Hoare logic: from first-order to propositional formalism
w: Proofs and System-Reliability, str. 323-340, Kluwer Academic Publishers, r. 2002 (Esej lub rozdział w książce) Jerzy Tiuryn | |
57. | A formal model of genomic {DNA} multiplication and amplification
w: Comparative Genomics, str. 503-514, Kluwer Academic Publishers, r. 2000 (Esej lub rozdział w książce) Jerzy Tiuryn, Jan Radomski, Piotr Słonimski | |
58. | On the completeness of propositional Hoare Logic
w: 5th Int. Seminar Relational Methods in Computer Science, str. 195-202, Universite Laval, r. 2000 (Artykuł konferencyjny) Jerzy Tiuryn, D Kozen |