
Tabu search
 Referenced in 1053 articles
[sw08556]
 useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation ... discrete optimization problems to illustrate the strategic concerns of tabu search, and to show...

i*
 Referenced in 15 articles
[sw04447]
 goals, beliefs, abilities, commitments) to each other and reason about strategic relationships. Dependencies between agents...

SilviLab
 Referenced in 2 articles
[sw26946]
 used by all actors involved in the strategic forest planning. Silvilab provides a graphical representation ... system, the strength of Silvilab is the ability to assess the impact of forest planning ... application can assess the impact of existing strategic plans but also produce a new plan...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8728 articles
[sw00771]
 R is a language and environment for statistical...

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

LINDO
 Referenced in 539 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...

LINGO
 Referenced in 302 articles
[sw04942]
 LINGO is a comprehensive tool designed to make...

Stata
 Referenced in 812 articles
[sw06029]
 Stata is a complete, integrated statistical package that...

Jason
 Referenced in 62 articles
[sw06187]
 Programming multiagent systems in AgentSpeak using Jason...

SAS
 Referenced in 1513 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

PORGY
 Referenced in 13 articles
[sw06923]
 PORGY aims at designing relevant graphical representations and...

OEIS
 Referenced in 3522 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

MCMAS
 Referenced in 72 articles
[sw09463]
 MCMAS: A Model Checker for the Verification of...

MCK
 Referenced in 30 articles
[sw09465]
 MCK: Model checking knowledge. MCK is a model...

ZTree
 Referenced in 610 articles
[sw11707]
 ZTree: Zurich Toolbox for readymade economic...

ORSEE
 Referenced in 154 articles
[sw11710]
 ORSEE is a webbased Online Recruitment System...

PRISMgames
 Referenced in 18 articles
[sw12934]
 PRISMgames: a model checker for stochastic multi...

MOCHA
 Referenced in 91 articles
[sw12935]
 MOCHA: Modularity in Model Checking. MOCHA is a...

jMocha
 Referenced in 3 articles
[sw24777]
 jMocha: a model checking tool that exploits design...