( en | de | ru )

 

Disambiguation of "Tiuryn, Jerzy"

Author of the publication

copydeleteadd this publication to your clipboard
eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains.

, , and . BMC Bioinform., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Weyman Jerzy

Szynka Jerzy

Jerzy Cieslik

Jerzy Krzeczowski

Jerzy Blaszczyk

 

Other publications of authors with the same name

Bioinformatics and Computational Biology in Poland., and . PLoS Comput. Biol., (2013)Floyds Principle, Correctness Theories and Program Equivalence., , and . Theor. Comput. Sci., (1982)Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus, and . Inf. Comput., 98 (2): 228-257 (June 1992)Regulatory Network Reconstruction Using Stochastic Logical Networks., and . CMSB, volume 4210 of Lecture Notes in Computer Science, page 142-154. Springer, (2006)On the Power of Nondeterminism in Dynamic Logic., , and . ICALP, volume 140 of Lecture Notes in Computer Science, page 48-60. Springer, (1982)Type Reconstruction in the Presence of Polymorphic Recursion., , and . ACM Trans. Program. Lang. Syst., 15 (2): 290-311 (1993)A Sequent Calculus for Subtyping Polymorphic Types.. MFCS, volume 1113 of Lecture Notes in Computer Science, page 135-155. Springer, (1996)Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract). FOCS, page 335-339. IEEE Computer Society, (1981)Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract), and . FOCS, page 180-184. IEEE Computer Society, (1983)On Genome Evolution with Accumulated Change and Innovation., and . Comparative Genomics, volume 4205 of Lecture Notes in Computer Science, page 39-50. Springer, (2006)