Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Publikacje

Jerzy Tiuryn

2018

2015

  • Kinga Rutowicz, Marcin Puzio, Joanna Halibart-Puzio, Maciej Lirski, Maciej Kotliński, Magdalena Kroteń, Łukasz Kniżewski, Bartosz Lange, Anna Muszewska, Katarzyna Śniegowska-Świerk, Janusz Kościelak, Roksana Iwanicka-Nowicka, Krisztian Buza, Franciszek Janowiak, Katarzyna Żmuda, Jõesaar Indrek, Katarzyna Laskowska-Kaszub, Anna Fogtman, Hannes Kollist, Piotr Zielenkiewicz, Jerzy Tiuryn, Paweł Siedlecki, Szymon Świeżewski, Krzysztof Ginalski, Marta Koblowska, Rafał Archacki, Bartosz Wilczyński, Marcin Rapacz i Andrzej Jerzmanowski, A Specialized Histone H1 Variant Is Required for Adaptive Responses to Complex Abiotic Stress and Related DNA Methylation in Arabidopsis., Plant Physiology 169 (3) 2015, s. 2080–2101.zobacz w PBN

2013

2012

2011

2010

2009

2007

2006

2005

  • T. Hvidsten, B. Wilczyński, A. Kryshtafovych, Jerzy Tiuryn, J. Komorowski i K. Fidelis, Discovering regulatory binding site modules using rule-based learning, Genome Research 15 2005, s. 856–866.zobacz w PBN
  • Michał Drabikowski, Krzysztof Fidelis, Andriy Kryshtafovych i Jerzy Tiuryn, Local Descriptors' Library Models the Core of Protein Structures Accurately, w: RECOMB 2005 Poster Abstracts, Ź Broad Institute of MIT and Harvard Ź, Boston USA 2005.zobacz w PBN

2004

2003

  • Szymon Nowakowski, Andriey Kryshtafovych, Krzysztof Fidelis i Jerzy Tiuryn, 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, Paris 2003.zobacz w PBN
  • Dexter Kozen i Jerzy Tiuryn, Substructural Logic and Partial Correctness, w: ACM Transactions on Computational Logic, New York 2003.zobacz w PBN
  • Agnes Szczepek, Jerzy Tiuryn i Bartosz Wilczynski, Designing DNA-microarray Probes Opimized for Hybridization Probability, w: Currents in Computtaional Molecular Biology (RECOMB), Berlin 2003.zobacz w PBN
  • Dexter Kozen i Jerzy Tiuryn, Substructural Logic and Partial Correctness, Acm Transactions On Computational Logic 4 (3) 2003, s. 355–378.zobacz w PBN

2002

2001

2000

  • Jerzy Tiuryn i D Kozen, On the completeness of propositional Hoare Logic, w: 5th Int. Seminar Relational Methods in Computer Science, Universite Laval, Quebec, Canada 2000.zobacz w PBN
  • Jerzy Tiuryn, Dexter Kozen i David Harel, Dynamic Logic, The MIT Press, Cambridge, MA 2000.zobacz w PBN
  • Jerzy Tiuryn (red.), Proc. Foundations of Software Science and Computation Structures, Springer Verlag, Berlin 2000.zobacz w PBN