| ||
26. | Applying Dynamic Bayesian Networks to Perturbed Gene Expression Data
BMC BIOINFORMATICS Tom 7 r. 2006, str. 249-249 (Artykuł) Norbert Dojer, Anna Gambin, A. Mizera, Bartosz Wilczynski, Jerzy Tiuryn | |
27. | Automated modeling of genetic control in Arabidopsis thaliana
JOURNAL OF FRUIT AND ORNAMENTAL PLANT RESEARCH Tom 14 r. 2006, str. 163-171 (Artykuł) Anna Gambin, K. Bożek, Bartosz Wilczynski, Jerzy Tiuryn | |
28. | Automated reduction and interpretation of multidimensional mass spectra for analysis of complex peptide mixtures
INTERNATIONAL JOURNAL OF MASS SPECTROMETRY Tom 260 Nr 1 r. 2006, str. 20-30 (Artykuł) Anna Gambin, Janusz Dutkowski, Jakub Karczmarski, Bogusław Kluge, K. Kowalczyk, J. Ostrowski, J. Poznanski, Jerzy Tiuryn, M. Bakun, M. Dadlez | |
29. | Automated reduction and interpretation of multidimensional mass spectra for analysis of complex peptide mixtures
INTERNATIONAL JOURNAL OF MASS SPECTROMETRY Tom 260 r. 2006, str. 20-30 (Artykuł) Anna Gambin, Janusz Dutkowski, Jakub Karczmarski, Bogusław Kluge, K. Kowalczyk, J Ostrowski, Jarosław Poznański, Jerzy Tiuryn, M. Bakun, Michał Dadlez | |
30. | DLS-trees: a model of evolutionary scenarios
THEORETICAL COMPUTER SCIENCE Tom 359 r. 2006, str. 378-399 (Artykuł) Paweł Górecki, Jerzy Tiuryn | |
31. | On genome evolution with accumulated change and innovation
LECTURE NOTES IN COMPUTER SCIENCE Tom 4205 r. 2006, str. 40-50 (Artykuł konferencyjny) Damian Wójtowicz, Jerzy Tiuryn | |
32. | On genome evolution with innovation
LECTURE NOTES IN COMPUTER SCIENCE Tom 4162 r. 2006, str. 801-811 (Artykuł konferencyjny) Damian Wójtowicz, Jerzy Tiuryn | |
33. | Regulatory Network Reconstruction using Stochastic Logical Networks
LECTURE NOTES IN COMPUTER SCIENCE Tom 4210 r. 2006, str. 142-154 (Artykuł konferencyjny) Bartek Wilczyński, Jerzy Tiuryn | |
34. | Using local gene expression similarities to discover regulatory binding site modules
BMC BIOINFORMATICS Tom 7 r. 2006, str. 505-505 (Artykuł) Bartek Wilczyński, Tr. Hvidsten, A. Kryshtafovych, Jerzy Tiuryn, J. Komorowski, K. Fidelis | |
35. | Discovering regulatory binding site modules using rule-based learning
GENOME RESEARCH Tom 15 r. 2005, str. 856-866 (Artykuł) T. Hvidsten, B. Wilczyński, A. Kryshtafovych, Jerzy Tiuryn, J. Komorowski, K. Fidelis | |
36. | On the structure of reconciliations
LECTURE NOTES IN COMPUTER SCIENCE Tom 3388 r. 2005, str. 42-54 (Artykuł konferencyjny) Paweł Górecki, Jerzy Tiuryn | |
37. | A Case Study of Genome Evolution: From Continuous to Discrete Time Model
LECTURE NOTES IN COMPUTER SCIENCE Tom 3153 r. 2004, str. 1-24 (Artykuł konferencyjny) Jerzy Tiuryn, Ryszard Rudnicki, Damian Wójtowicz | |
38. | On the structure of reconciliations
LECTURE NOTES IN COMPUTER SCIENCE Tom 3388 r. 2004, str. 42-54 (Artykuł konferencyjny) Paweł Górecki, Jerzy Tiuryn | |
39. | Type inference for nested self types
LECTURE NOTES IN COMPUTER SCIENCE Tom 3085 r. 2004, str. 99-114 (Artykuł konferencyjny) Viviana Bono, Jerzy Tiuryn, Paweł Urzyczyn | |
40. | Substructural Logic and Partial Correctness
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 4 Nr 3 r. 2003, str. 355-378 (Artykuł) Dexter Kozen, Jerzy Tiuryn | |
41. | Contextual Alignment of Biological Sequences
BIOINFORMATICS Tom 18 Nr 2 r. 2002, str. 116-127 (Artykuł) Anna Gambin, Sławomir Lasota, Radosław Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz | |
42. | Products and Polymorphic Subtypes
FUNDAMENTA INFORMATICAE Tom 51 Nr 1,2 r. 2002, str. 13-41 (Artykuł) Jerzy Tiuryn, Viviana Bono | |
43. | The subtyping problem for second-order types is undecidable
INFORMATION AND COMPUTATION Tom 179 r. 2002, str. 1-18 (Artykuł) Jerzy Tiuryn, Paweł Urzyczyn | |
44. | A sequent calculus for subtyping polymorphic types
INFORMATION AND COMPUTATION Nr 164 r. 2001, str. 345-369 (Artykuł) Jerzy Tiuryn | |
45. | Intuitionistic Linear Logic and Partial Correctness
IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE Tom 16 r. 2001, str. 259-268 (Artykuł konferencyjny) D Kozen, Jerzy Tiuryn | |
46. | Products and Polymorphic Subtypes
PROCEEDINGS OF THE WORKSHOP ON COCURENCY, SPECIFICATION AND PROGRAMMING r. 2001, str. 16-31 (Artykuł) Jerzy Tiuryn, Viviana Bono | |
47. | Striking properties of duplicating DNA molecules. A Markov chain model demonstrates the convergence of amplified molecules to regular series of multiple of 2
LIFE SCIENCES Tom 322 r. 1999, str. 455-459 (Artykuł) Jerzy Tiuryn, Jan Radomski, P Słonimski | |
| ||
48. | Dynamic Logic
The MIT Press, r. 2000 (Książka) Jerzy Tiuryn, Dexter Kozen, David Harel | |
49. | Proc. Foundations of Software Science and Computation Structures
Springer Verlag, r. 2000 (Książka) Jerzy Tiuryn (Redaktor) | |
| ||
50. | CAMBer: An Approach to Support Comparative Analysis of Multiple Bacterial Strains
w: IEEE International Conference on Bioinformatics & Biomedicine, str. 121-126, r. 2010 (Artykuł konferencyjny) Jerzy Tiuryn, Michał Woźniak, Limsoon Wong |