Wyniki wyszukiwania

Parametry zapytania
  
Autor:Jerzy Tiuryn

                

Publikacja w czasopiśmie

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

Książka

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)

Publikacja w książce

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

<<< Poprzednie <<<   >>> Następne >>>