BibSonomy :: author  ::

bookmarks

publications

(72)

• Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
  Alessandro Armando and Roberto Carbone and Luca Compagna and Jorge Cuéllar and M. Llanos Tobarra FMSE 1-10 (2008)
  to dblp by dblp on 2008-11-12 00:00:00
  | URL | BibTeX  
• The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models.
  Michael Hucka and Andrew Finney and Herbert M. Sauro and H. Bolouri and John C. Doyle and Hiroaki Kitano and Adam P. Arkin and Benjamin J. Bornstein and D. Bray and A. Cornish-Bowden and A. A. Cuellar and Serge Dronov and Ernst Dieter Gilles and Martin Ginkel and Victoria Gor and Igor Goryanin and W. J. Hedley and T. Charles Hodgman and J. H. Hofmeyr and Peter J. Hunter and Nick S. Juty and J. L. Kasberger and Andreas Kremling and Ursula Kummer and Nicolas Le Novère and Leslie M. Loew and D. Lucio and Pedro Mendes and E. Minch and Eric Mjolsness and Yoichi Nakayama and M. R. Nelson and P. F. Nielsen and T. Sakurada and James C. Schaff and Bruce E. Shapiro and Thomas Simon Shimizu and Hugh D. Spence and Jörg Stelling and Koichi Takahashi and Masaru Tomita and J. Wagner and J. Wang Bioinformatics 19 524-531 (2003)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• Topology Optimization and Training of Recurrent Neural Networks with Pareto-Based Multi-objective Algorithms: A Experimental Study.
  M. P. Cuéllar and Miguel Delgado and Marial del Carmen Pegalajar Jiménez IWANN 359-366 (2007)
  to dblp by dblp on 2008-08-28 00:00:00
  | URL | BibTeX  
• Problems and Features of Evolutionary Algorithms to Build Hybrid Training Methods for Recurrent Neural Networks.
  M. P. Cuéllar and Miguel Delgado and Marial del Carmen Pegalajar Jiménez ICEIS (2) 204-211 (2007)
  to dblp by dblp on 2008-08-28 00:00:00
  | URL | BibTeX  
• Multiobjective Hybrid Optimization and Training of Recurrent Neural Networks.
  Miguel Delgado and M. P. Cuéllar and Marial del Carmen Pegalajar Jiménez IEEE Transactions on Systems, Man, and Cybernetics, Part B 38 381-403 (2008)
  to dblp by dblp on 2008-08-28 00:00:00
  | URL | BibTeX  
• ViRbot: A System for the Operation of Mobile Robots.
  Jesus Savage and Adalberto LLarena and Gerardo Carrera and Sergio Cuellar and David Esparza and Yukihiro Minami and Ulises Peñuelas RoboCup 512-519 (2007)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
  Hugo Daniel Macedo and Peter Gorm Larsen and John S. Fitzgerald FM 181-197 (2008)
  to dblp by dblp on 2008-06-14 00:00:00
  | URL | BibTeX  
• FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
  Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere (eds.). FM (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Lazy Behavioral Subtyping.
  Johan Dovland and Einar Broch Johnsen and Olaf Owe and Martin Steffen FM 52-67 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• CoVaC: Compiler Validation by Program Analysis of the Cross-Product.
  Anna Zaks and Amir Pnueli FM 35-51 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX