• DEA

  • Referenced in 239 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • AVISPA

  • Referenced in 81 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • UCI-ml

  • Referenced in 2940 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CASPA_

  • Referenced in 2 articles [sw04078]
  • The CASPA tool: Causality-based abstraction for security...
  • CPLEX

  • Referenced in 2503 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • GAMS

  • Referenced in 828 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • MINOS

  • Referenced in 440 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • ProVerif

  • Referenced in 38 articles [sw06558]
  • ProVerif is an automatic cryptographic protocol verifier, in...
  • Excel

  • Referenced in 743 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • ILUT

  • Referenced in 136 articles [sw08734]
  • ILUT: A dual threshold incomplete LU factorization. In...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • The open-source fixed-point model checker for...
  • Cryptyc

  • Referenced in 3 articles [sw12834]
  • Cryptyc: cryptographic protocol type checker. The Cryptyc system...
  • Julia

  • Referenced in 212 articles [sw13986]
  • Julia: A fast dynamic language for technical computing...
  • JuMP

  • Referenced in 50 articles [sw16108]
  • JuMP: A Modeling Language for Mathematical Optimization. JuMP...
  • TAMARIN

  • Referenced in 12 articles [sw23438]
  • The TAMARIN prover for the symbolic analysis of...
  • F*

  • Referenced in 19 articles [sw27563]
  • F* (pronounced F star) is a general-purpose...