BibSonomy :: author  ::

bookmarks

publications

(485)

• Formal Verification of the Secure Sockets Layer Protocol.
  M. Llanos Tobarra and Diego Cazorla and Juan José Pardo and Fernando Cuartero ICEIS (3-2) 246-252 (2008)
  to dblp by dblp on 2008-08-14 00:00:00
  | URL | BibTeX  
• On the convexity of C1 surfaces associated with some quadrilateral finite elements.
  J. Lorente-Pardo and Paul Sablonnière and M. C. Serrano-Pérez Adv. Comput. Math. 13 271-292 (2000)
  to dblp by dblp on 2008-08-11 00:00:00
  | URL | BibTeX  
• Guaranteeing the Correctness of an Adaptive Tutoring System.
  Pilar Prieto Linillos and Sergio Gutiérrez and Abelardo Pardo and Carlos Delgado Kloos AH 329-332 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese
  Lucia Helena Machado Rino and Thiago Alexandre Salgueiro Pardo and Carlos Nascimento Silla Jr. and Celso Antonio Alves Kaestner and Michael Pombo (2004)
  to brazilian nlp portuguese summarizer by mirian and 1 other person on 2008-07-25 15:50:56
  | URL | BibTeX  
• Understanding Sensori-motor Coordination during a Humanoid Robot Dynamic Task.
  Diego E. Pardo Ayala and Cecilio Angulo Bahón FUZZ-IEEE 1-6 (2007)
  to dblp by dblp on 2008-07-04 00:00:00
  | URL | BibTeX  
• VC Dimension Bounds for Analytic Algebraic Computations.
  José Luis Montaña and Luis Miguel Pardo and Mar Callau COCOON 62-71 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• The vocalsearch music search engine.
  Bryan Pardo and David Little and Rui Jiang and Hagai Livni and Jinyu Han JCDL 430 (2008)
  to dblp by dblp on 2008-06-17 00:00:00
  | URL | BibTeX  
• Algorithms for Chordal Analysis
  Bryan Pardo and William P. Birmingham Computer Music Journal 26 27--49 (2002)
  to algorithm analysis harmony mem music by tiento on 2008-06-10 19:09:57
  | BibTeX  
• Optimal selection of the service rate for a finite input source fuzzy queuing system.
  María José Pardo and David de la Fuente Fuzzy Sets and Systems 159 325-342 (2008)
  to dblp by dblp on 2008-06-03 00:00:00
  | URL | BibTeX  
• Current issues in public choice
  {José} Casas Pardo (1996)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX