Publications for the year 2013 (69 out of 721)

  • Prognostics

  • Published at: Book Chapter: IVHM - Technology
  • Date: 12/18/13
  • Authors: Kai Goebel, George Vachtsevanos, Marcos Orchard
  • A Semantic Basis for Proof Queries and Transformations

  • Published at: Conference: 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19); Stellenbosch, South Africa
  • Date: 12/15/13
  • Authors: David Aspinall, Ewen Denney, Christoph Lueth
  • Towards a Lazier Symbolic Pathfinder

  • Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
  • Date: 11/12/13
  • Authors: Neha Rungta, Suzette Person, Butler Hine, Eric Mercer
  • Web Based Prognostics and 24 7 Monitoring

  • Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
  • Date: 10/14/13
  • Authors: Miryam Strautkalns, Peter Robinson
« Previous 12345 Next »