( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward a decidable notion of sequential consistency.

, , и . SPAA, стр. 304-313. ACM, (2003)

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.

Virginia Condon

Edward Condon

Chris Condon

Dieter Annemaier

Marianne Annen

 

Другие публикации лиц с тем же именем

Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications., и . J. Comput. Biol., 14 (1): 16-32 (2007)A Theory of Strict P-completeness.. STACS, том 577 из Lecture Notes in Computer Science, стр. 33-44. Springer, (1992)Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems., , и . DNA, том 7433 из Lecture Notes in Computer Science, стр. 43-57. Springer, (2012)NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots., , , и . DNA, том 5877 из Lecture Notes in Computer Science, стр. 106-115. Springer, (2009)On Low Energy Barrier Folding Pathways for Nucleic Acid Sequences., и . DNA, том 9211 из Lecture Notes in Computer Science, стр. 181-193. Springer, (2015)Linear Time Algorithm for Parsing RNA Secondary Structure., и . WABI, том 3692 из Lecture Notes in Computer Science, стр. 341-352. Springer, (2005)Complexity of a Collision-Aware String Partition Problem and Its Relation to Oligo Design for Gene Synthesis., , и . COCOON, том 5092 из Lecture Notes in Computer Science, стр. 265-275. Springer, (2008)On combinatorial DNA word design., , и . DNA Based Computers, том 54 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 75-89. DIMACS/AMS, (1999)Lamport Clocks: Verifying a Directory Cache-Coherence Protocol., , , и . SPAA, стр. 67-76. ACM, (1998)A System-Level Specification Framework for I/O Architectures., , , и . SPAA, стр. 138-147. ACM, (1999)