• LISP-STAT

  • Referenced in 117 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • PERL

  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • DYNAMO

  • Referenced in 264 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Kronos

  • Referenced in 274 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • TIMES

  • Referenced in 26 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...
  • FreeFem++

  • Referenced in 1396 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • MoDeST

  • Referenced in 34 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • Design/CPN

  • Referenced in 38 articles [sw01952]
  • Modeling and verification of cryptographic protocols using coloured...
  • HySAT

  • Referenced in 26 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • SPADES

  • Referenced in 27 articles [sw02205]
  • SPADES -- a process algebra for discrete event simulation...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • An efficient symbolic elimination algorithm for the stochastic...
  • PNML

  • Referenced in 41 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • TINA

  • Referenced in 47 articles [sw03280]
  • The tool TINA -- construction of abstract state spaces...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...