• EnKF

  • Referenced in 362 articles [sw02066]
  • when observations are assimilated. The EnKF has proven to efficiently handle strongly nonlinear dynamics...
  • UniProt

  • Referenced in 129 articles [sw21320]
  • subspecies to help users track the provenance of sequences. We present a new website that...
  • MCMAS

  • Referenced in 72 articles [sw09463]
  • temporal logic in its various forms has proven essential to reason about reactive systems, agent ... logic [7], or logics for knowledge, have proven useful in a variety of areas including...
  • Scala

  • Referenced in 85 articles [sw07180]
  • exploit the full power of the industry-proven JVM technology. Readers can then dive into...
  • seL4

  • Referenced in 81 articles [sw15222]
  • seL4, a third-generation microkernel of L4 provenance, comprises 8,700 lines of C code...
  • HMQV

  • Referenced in 78 articles [sw02714]
  • whether the protocol can be proven secure in a rigorous model of key-exchange security...
  • PostgreSQL

  • Referenced in 70 articles [sw15935]
  • years of active development and a proven architecture that has earned it a strong reputation...
  • CMQV+

  • Referenced in 38 articles [sw06418]
  • HMQV, and on the other, it is proven in the eCK model ... variant of CMQV, called CMQV+, which is proven secure under a weaker assumption (i.e. computational...
  • PAUP*

  • Referenced in 53 articles [sw07834]
  • trees. In addition, the PAUP manual has proven to be an essential guide, serving...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • Some mathematical properties of the language are proven, for instance, that the proposed semantics...
  • CVC

  • Referenced in 47 articles [sw09462]
  • decidable logics and logical theories have proven to be useful tools in verification. This paper...
  • SAMRAI

  • Referenced in 45 articles [sw04441]
  • SAMRAI software library that have proven to be useful in application development. SAMRAI is used...
  • Amazon EC2

  • Referenced in 45 articles [sw29777]
  • lets you run on Amazon’s proven computing environment. Amazon EC2 reduces the time required...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • extensible model checking framework Model checking has proven to be an effective technology for verification...
  • DiaGen

  • Referenced in 28 articles [sw10321]
  • these internal hypergraphs. This approach has proven to be powerful and general in the sense...
  • MCF

  • Referenced in 27 articles [sw05167]
  • solve multiple-depot vehicle scheduling problems to proven optimality...
  • GeoThms

  • Referenced in 25 articles [sw06216]
  • growing body of geometrical constructions and formally proven geometrical theorems. We believe that, with...
  • ALPS

  • Referenced in 24 articles [sw08907]
  • Windows, and integration with the VisTrails workflow provenance tool. The software is available from...
  • SAP2000

  • Referenced in 24 articles [sw17041]
  • across one powerful user interface, SAP2000 has proven to be the most integrated, productive...
  • deTestSet

  • Referenced in 22 articles [sw06062]
  • problems, experimental results from a number of proven solvers, and Fortran subroutines providing a common...