J
Jerzy Tiuryn
Researcher at University of Warsaw
Publications - 154
Citations - 4966
Jerzy Tiuryn is an academic researcher from University of Warsaw. The author has contributed to research in topics: Decidability & Genome evolution. The author has an hindex of 27, co-authored 153 publications receiving 4864 citations. Previous affiliations of Jerzy Tiuryn include RWTH Aachen University & Boston University.
Papers
More filters
Book
Dynamic Logic
TL;DR: This book provides the first comprehensive introduction to Dynamic Logic, a system of remarkable unity that is theoretically rich as well as of practical value.
Logics of Programs.
Dexter Kozen,Jerzy Tiuryn +1 more
TL;DR: In this paper, the authors present an introduction to some of the basic issues in the study of program logics and discuss their syntax, semantics, proof theory, and expressiveness.
Journal ArticleDOI
Applying dynamic Bayesian networks to perturbed gene expression data.
TL;DR: The quality of inferred networks dramatically improves when using data from perturbation experiments and it is concluded that the exact algorithm should be used when it is possible, i.e. when considered set of genes is small enough.
Journal ArticleDOI
DLS-trees: a model of evolutionary scenarios
Paweł Górecki,Jerzy Tiuryn +1 more
TL;DR: It is proved that the reconciled tree can be easily transformed into DLS-tree in normal form, which solves some open problems for reconciled trees.
Book ChapterDOI
Logics of programs
Dexter Zozen,Jerzy Tiuryn +1 more
TL;DR: This chapter describes various forms of first-order Dynamic Logic and discusses their syntax, semantics, proof theory, and expressiveness, and discusses the power of auxiliary data structures such as arrays and stacks, and a powerful assignment statement called the nondeterministic assignment.