• R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • SAS

  • Referenced in 1552 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • SAS/STAT

  • Referenced in 433 articles [sw18788]
  • SAS/STAT software, a component of the SAS System...
  • PESSOA

  • Referenced in 21 articles [sw20123]
  • Pessoa 2.0: a controller synthesis tool for cyber...
  • SCOTS

  • Referenced in 17 articles [sw20172]
  • SCOTS: a tool for the synthesis of symbolic...
  • UPMurphi

  • Referenced in 3 articles [sw27481]
  • UPMurphi: a Tool for Universal Planning on PDDL...