BibSonomy :: author  ::

bookmarks

publications

(95)

• Universal Coinductive Characterisations of Process Semantics.
  David de Frutos-Escrig and Carlos Gregorio-Rodríguez IFIP TCS 397-412 (2008)
  to dblp by dblp on 2008-09-15 00:00:00
  | URL | BibTeX  
• A Fast Motion-Cost Based Algorithm for H.264/AVC Inter Mode Decision.
  Eduardo Martínez-Enríquez and Manuel de Frutos-López and Jose Carlos Pujol-Alcolado and Fernando Díaz de María ICIP (5) 325-328 (2007)
  to dblp by dblp on 2008-06-26 00:00:00
  | URL | BibTeX  
• A Split and Pool Approach to the Synthesis of Combinational Oligonucleotide Mixtures for DNA Computing
  Todd Strother and Anthony G. Frutos and Qinghua Liu and Liman Wang and Susan D. Gillmor and Anne Condon and Robert M. Corn and Max G. Lagally and Lloyd M. Smith Late Breaking Papers at the Genetic Programming 1998 Conference (1998)
  to algorithms, genetic programming by brazovayeye on 2008-06-19 17:46:40
  | BibTeX  
• Surface-based DNA computing operations: DESTROY and READOUT
  Liman Wang and Qinghua Liu and Anthony G. Frutos and Susan D. Gillmor and Andrew J. Thiel and Todd C. Strother and Anne E. Condon and Robert M. Corn and Max G. Lagally and Lloyd M. Smith Biosystems 52 189--191 (1999)
  to Addressed Cycle PCR, Restriction algorithms, array enzyme, genetic programming, sequencing, by brazovayeye on 2008-06-19 17:35:00
  | BibTeX  
• Surface-Based DNA Computing Operations: DESTROY and READOUT
  Liman Wang and Qinghua Liu and Anthony G. Frutos and Susan D. Gillmor and Andrew J. Thiel and Todd C. Strother and Anne E. Condon and Robert M. Corn and Max G. Lagally and Lloyd M. Smith Late Breaking Papers at the Genetic Programming 1998 Conference (1998)
  to algorithms, genetic programming by brazovayeye on 2008-06-19 17:35:00
  | BibTeX  
• Progress Toward Demonstration of a Surface Based DNA Computation: a One Word Approach to Solve a Model Satisfiability Problem
  Qinghua Liu and Anthony G. Frutos and Liman Wang and Andrew J. Thiel and Susan D. Gillmor and Todd Strother and Anne E. Condon and Robert M. Corn and Max G. Lagally and Lloyd M. Smith Genetic Programming 1998: Proceedings of the Third Annual Conference 709--717 (1998)
  to Computing DNA by brazovayeye on 2008-06-19 17:35:00
  | BibTeX  
• Addressed-Array Approach to DNA Computation Readout through UV Photopatterning
  S. D. Gillmor and Q. Liu and L. Wang and C. E. Jordan and A. G. Frutos and A. J. Theil and T. C. Stother and A. E. Condon and R. M. Corn and L. M. Smith and M. G. Lagally Late Breaking Papers at the Genetic Programming 1998 Conference (1998)
  to algorithms, genetic programming by brazovayeye and 1 other person on 2008-06-19 17:35:00
  | BibTeX  
• Addressed-Array Approach to DNA Computation Readout through UV Photopatterning
  S. D. Gillmor and Q. Liu and L. Wang and C. E. Jordan and A. G. Frutos and A. J. Theil and T. C. Stother and A. E. Condon and R. M. Corn and L. M. Smith and M. G. Lagally 1998 March Meeting of the American Physical Society 2403-+ (1998)
  to algorithms, genetic programming by brazovayeye and 1 other person on 2008-06-19 17:35:00
  | URL | BibTeX  
• Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.
  David de Frutos-Escrig and Carlos Gregorio-Rodríguez and Miguel Palomino Electr. Notes Theor. Comput. Sci. 212 149-162 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.
  David de Frutos-Escrig and Carlos Gregorio-Rodríguez Electr. Notes Theor. Comput. Sci. 206 41-58 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX