×

Found 14 Software Packages (Results 1–14)

MRMC

Cited in 68 Documents (2006–2022)
Software Authors: Joost-Pieter Katoen; RWTH Aachen
Related Software: PRISM; Ymer; Uppaal; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

MORLAB

Cited in 8 Documents (2018–2022)
Software Authors: Peter Benner, Steffen W. R. Werner
Related Software: MESS; Matlab; RADI; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

dugksFoam

Cited in 7 Documents (2017–2023)
Software Authors: Zhu, Lianhua; Chen, Songze; Guo, Zhaoli
Related Software: OpenFOAM; dsmcFoam; Code_Saturne; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX); …

VeriSIMPL

Cited in 3 Documents (2015–2018)
Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
Related Software: Algorithm 97; FaPAS; Maxplus; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)

A-RESCUE

Cited in 3 Documents (2017–2019)
Software Authors: Ukkusuri, Satish V.; Hasan, Samiul; Luong, Binh; Doan, Kien; Zhan, Xianyuan; Murray-Tuite, Pamela; Yin, Weihao
Related Software: Tabu search; PartiSim; Repast Suite
Main Fields: Operations research, mathematical programming (90-XX)

ProbitSpatial

Cited in 3 Documents (2016–2021)
Software Authors: Martinetti, Davide; Geniaux, Ghislain
Related Software: Arc_Mat; R; spatialprobit; …
Main Fields: Statistics (62-XX)

AS 160

Cited in 2 Documents (1981–1990)
Software Authors: Lustbader, Edward D.; Stodola, Robert K.
Related Software: AS 124; AS 138; AS 158; …
Main Fields: Statistics (62-XX)

SubZero

Cited in 1 Document (2022)
Software Authors: Brandon P. Montemuro; Georgy E. Manucharyan
Related Software: Granular.jl; neXtSIM; Matlab
Main Fields: Probability theory and stochastic processes (60-XX); Geophysics (86-XX); Systems theory; control (93-XX)

TotemBioNet

Cited in 2 Documents (2020–2021)
Software Authors: Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
Related Software: NuSMV; CoLoMoTo; SMBioNet
Main Fields: Biology and other natural sciences (92-XX)

copCAR

Cited in 0 Documents
Software Authors: Emily Goren; John Hughes
Related Software: R; Formula; geoR; …
Main Fields:

ERWP

Cited in 1 Document (2001)
Software Authors: Lemoine, Didier; Jackson, Bret
Related Software:
Main Fields: Fluid mechanics (76-XX); Quantum theory (81-XX)

OptimalAdvertising

Cited in 1 Document (2015)
Software Authors: Adukov, V.M.; Adukova, N.V.; Kudryavtsev, K.N.
Related Software: Maple
Main Fields: Operations research, mathematical programming (90-XX)

CP3d

Cited in 0 Documents
Software Authors: Gong, Zheng; Wu, Zi; An, Chenge; Zhang, Bangwen; Fu, Xudong
Related Software:
Main Fields:

lclGWAS

Cited in 0 Documents
Software Authors: Jiaxing Lin, Alexander Sibley, Tracy Truong, Nancy Cox, Eileen Dolan, Yu Jiang, Janice McCarthy, Andrew Allen, Kouros Owzar, Zhiguo Li
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field