( en | de | ru )

 

Disambiguation of "Reif, John H."

Author of the publication

copydeleteadd this publication to your clipboard
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)

, and . FOCS, page 322-334. IEEE Computer Society, (1981)

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.

John H Engram

John H Collins

John H Collins

John H Collins

Ruth Reif

 

Other publications of authors with the same name

Temporal DNA Barcodes: A Time-Based Approach for Single-Molecule Imaging., and . DNA, volume 11145 of Lecture Notes in Computer Science, page 71-86. Springer, (2018)Dynamic Algebraic Algorithms., and . SODA, page 290-301. ACM/SIAM, (1994)Work efficient parallel solution of Toeplitz systems and polynomial GCD.. STOC, page 751-761. ACM, (1995)Symbolic Programming Analysis in Almost Linear Time.. POPL, page 76-83. ACM Press, (1978)On Determining the Genus of a Graph in O(v^O(g)) Steps, , and . STOC, page 27-37. ACM, (1979)Planarity Testing in Parallel., and . J. Comput. Syst. Sci., 49 (3): 517-561 (1994)Extension of the Parallel Nested Dissection Algorithm to Path Algebra Problems., and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 470-487. Springer, (1986)Design of a Biomolecular Device That Executes Process Algebra., and . DNA, volume 5877 of Lecture Notes in Computer Science, page 97-105. Springer, (2009)DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice., , and . DNA, volume 2568 of Lecture Notes in Computer Science, page 10-21. Springer, (2002)Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation., and . DNA, volume 5347 of Lecture Notes in Computer Science, page 41-56. Springer, (2008)