Autor der Publikation

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol.

, , , , , und . IEEE Trans. Parallel Distrib. Syst., 13 (6): 556-578 (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Women in Computing., , , , , , , , , und 6 andere Autor(en). Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)RNAsoft: a suite of RNA secondary structure prediction and design software tools., , , und . Nucleic Acids Research, 31 (13): 3416-3422 (2003)Space-Bounded Probabilistic Game Automata.. J. ACM, 38 (2): 472-494 (1991)On Combinatorial DNA Word Design., , und . Journal of Computational Biology, 8 (3): 201-219 (2001)Design of nucleic acid strands with long low-barrier folding pathways., , und . Natural Computing, 16 (2): 261-284 (2017)Error-Free Stable Computation with Polymer-Supplemented Chemical Reaction Networks., und . DNA, Volume 11648 von Lecture Notes in Computer Science, Seite 197-218. Springer, (2019)Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates., , , , , , , und . DNA, Volume 10467 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2017)Stochastic Local Search Algorithms for DNA Word Design., , und . DNA, Volume 2568 von Lecture Notes in Computer Science, Seite 229-241. Springer, (2002)Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure., , , , , , und . DNA, Volume 2568 von Lecture Notes in Computer Science, Seite 182-195. Springer, (2002)Efficient Codon Optimization with Motif Engineering., und . IWOCA, Volume 7056 von Lecture Notes in Computer Science, Seite 337-348. Springer, (2011)