Software Authors:   Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev

Cited in:	267 Publications (1999–2022)
Related Software:	SPIN; CUDD; Uppaal; Chaff; PRISM; Bandera; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Long, Derek; Fox, Maria

Cited in:	37 Publications (1998–2018)
Related Software:	Graphplan; Walksat; CPlan; AltAlt; SAPA; PDDL; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe

Cited in:	33 Publications (1997–2015)
Related Software:	PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Verboven, S.; Hubert, M.

Cited in:	27 Publications (1986–2021)
Related Software:	ROBPCA; robustbase; PRMLT; LOF; SDPT3; MNM; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Ringle CM, Wende S, Will A; SmartPLS

Cited in:	22 Publications (2007–2022)
Related Software:	XLStat; LISREL; PLS-Graph; SPSS; semPLS; R; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

Software Authors:   Qiu, W.R.; Xiao, X.; Xu, Z.H.

Cited in:	16 Publications (2016–2019)
Related Software:	pSuc-Lys; iPTM-mLys; Pse-in-One; iHyd-PseCp; iCar-PseCp; iSuc-PseOpt; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Alastair Donaldson; Alice Miller

Cited in:	11 Publications (2007–2022)
Related Software:	SPIN; SymmSpin; GAP; Uppaal; nauty; Spin-to-Grape; …
Main Fields:	Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

Software Authors:   Furmento, Nathalie; Mayer, Anthony; McGough, Stephen; Newhouse, Steven; Field, Tony; Darlington, John

Cited in:	4 Publications (2002–2010)
Related Software:	Condor-G; Cactus; GRID Infoware; Java CoG Kit; Globus Toolkit; GrADS; …
Main Fields:	Computer science (68-XX)

Software Authors:   M. Mørup, L. K. Hansen, S. M. Arnfred

Cited in:	7 Publications (2010–2022)
Related Software:	EEGLAB; Matlab; Algorithm 862; MEA-Tools; ECGlab; HEPLAB; …
Main Fields:	Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Software Authors:   Hwang, Heungsun; Takane, Yoshio

Cited in:	9 Publications (2015–2020)
Related Software:	SmartPLS; XLStat; LVPLS; RGCCA; PLS-Graph; R; …
Main Fields:	History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Emma Moore, Chris Wensley

Cited in:	8 Publications (2002–2010)
Related Software:	GAP; XMod; groupoids
Main Fields:	History and biography (01-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX)

Software Authors:   Sabharwal, Ashish

Cited in:	8 Publications (2007–2022)
Related Software:	MiniSat; bliss; Chaff; Traces; nauty; CDCLSym; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   K. Zhang, K. Damevski, V. Venkatachalapathy, et al.

Cited in:	6 Publications (2006–2015)
Related Software:	MOCCA; PETSc; Uintah; LSODE; Cactus; ESMF; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Software Authors:   Hojin Moon; J. Jack Lee; Hongshik Ahn; Rumiana Nikolova

Cited in:	5 Publications (1999–2020)
Related Software:	WebStat; LISP-STAT; Rweb; Sim.DiffProc; DiffProc
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

Software Authors:   Fox JP

Cited in:	3 Publications (2011–2013)
Related Software:	R; GLLAMM; eRm; lme4; HLM; MBESS; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Software Authors:   Jan Gertheiss

Cited in:	5 Publications (2011–2021)
Related Software:	R; SemiPar; RLRsim; catdata; gamair; IsoGene; …
Main Fields:	Statistics (62-XX); Biology and other natural sciences (92-XX)

Software Authors:   Belzner, Lenz; De Nicola, Rocco; Vandin, Andrea; Wirsing, Martin

Cited in:	3 Publications (2014–2020)
Related Software:	SCEL; Maude; SCELlight; KLAIM; MultiVeStA; SPIN; …
Main Fields:	Computer science (68-XX)

Software Authors:   Joseph Kelly, Hyungsuk Tak, Carl Morris

Cited in:	3 Publications (2017–2020)
Related Software:	R; BayesDA; hglm; robustbase
Main Fields:	Statistics (62-XX)

Software Authors:   N. Correa, et al.,

Cited in:	0 Publications
Related Software:	IndependenceTests; AnalyzeFMRI; R; arf3DS4; MRIcro; BrainVISA; …
Main Fields:	–

Software Authors:   Hayat M, Tahir M.

Cited in:	3 Publications (2015–2019)
Related Software:	PseKNC; Pse-in-One; iHyd-PseAAC; PSNO; iUbiq-Lys; 2L-piRNA; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Ostertag, E.; Hendler, J.; Prieto-Diaz, R.; Braun, C.

Cited in:	1 Publication (2000)
Related Software:	Proteus
Main Fields:	Computer science (68-XX)

Software Authors:   Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia

Cited in:	2 Publications (1990–1995)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Pfister, Niklas; Weichwald, Sebastian; Bühlmann, Peter; Schölkopf, Bernhard

Cited in:	2 Publications (2019–2022)
Related Software:	Noise2Self; Noise2Void; CAPUSHE; Python; Scikit; EEGLAB; …
Main Fields:	Statistics (62-XX)

Software Authors:   Rezaei, Javad; Zare-Mirakabad, Fatemeh; MirHassani, Seyed Ali; Marashi, Sayed-Amir

Cited in:	2 Publications (2021–2022)
Related Software:	SparseMatrix
Main Fields:	Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   –

Cited in:	2 Publications (2014–2015)
Related Software:	Pajek; Decision Explorer; plfit
Main Fields:	History and biography (01-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Manole, Tudor; Khalili, Abbas

Cited in:	2 Publications (2021–2022)
Related Software:	mclust; mixtools; sparcl; ElemStatLearn; R
Main Fields:	Statistics (62-XX)

Software Authors:   Seth D. Axen, Mateusz Baran, Ronny Bergmann, Krzysztof Rzecki

Cited in:	0 Publications
Related Software:	ROPTLIB; Pymanopt; Manopt; Julia; Manopt.jl; MVIRT; …
Main Fields:	–

Software Authors:   W. Sarle

Cited in:	2 Publications (2010–2015)
Related Software:	Hmisc; R; S-PLUS; PRINQUAL; homals; pcaPP; …
Main Fields:	Statistics (62-XX)

Software Authors:   Lourenço, Ricardo; Lourenço, Nuno; Horta, Nuno

Cited in:	1 Publication (2015)
Related Software:	AIDA-C
Main Fields:	Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Joshua Lukemire, Yikai Wang, Amit Verma, Ying Guo

Cited in:	1 Publication (2020)
Related Software:	HIBITS; astsa; EEGLAB
Main Fields:	Statistics (62-XX)

Software Authors:   Wu, Edmond H.C.; Yu, Philip L.H.

Cited in:	1 Publication (2006)
Related Software:	–
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Hao Lv, Fu-Ying Dao, Dan Zhang, Zheng-Xing Guan, Hui Yang, Wei Su, Meng-Lu Liu, Hui Ding, Wei Chen, Hao Lin

Cited in:	1 Publication (2021)
Related Software:	DNA4mC-LIP; 4mCPred; TargetAntiAngio; DeepTorrent; ACPred; model_4mc; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Niu, L., Huang, W., Umbach, D. M., Li, L.

Cited in:	1 Publication (2018)
Related Software:	DESeq2; rSeqDiff; EBSeq; TopHat; ShrinkBayes; BaySeq; …
Main Fields:	Statistics (62-XX); Biology and other natural sciences (92-XX)

Software Authors:   Jamie Pool, Ebrahim Beyrami, Vishak Gopal, Ashkan Aazami, Jayant Gupchup, Jeff Rowland, Binlong Li, Pritesh Kanani, Ross Cutler, Johannes Gehrke

Cited in:	0 Publications
Related Software:	AutoKeras; TreeInterpreter; Python
Main Fields:	–

Software Authors:   Joe Suzuki

Cited in:	0 Publications
Related Software:	Macaulay2
Main Fields:	–

Software Authors:   Alva Access Group

Cited in:	1 Publication (2003)
Related Software:	Whistler; Windows-eyes; ASAB; Tinytalk; JAWS
Main Fields:	Computer science (68-XX)

Software Authors:   Dewei Zhang, Yin Liu, Sam Davanloo Tajbakhsh

Cited in:	1 Publication (2022)
Related Software:	hierNet; glinternet; GitHub; gamsel
Main Fields:	Operations research, mathematical programming (90-XX)

Software Authors:   Otto, T. U.

Cited in:	1 Publication (2020)
Related Software:	VideoToolbox; Psychophysics Toolbox
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Monni, Stefano; Tadesse, Mahlet G.

Cited in:	1 Publication (2022)
Related Software:	R
Main Fields:	Statistics (62-XX)

Software Authors:   Toshiaki Ara

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Tang, Liyu; Chen, Chongcheng; Zou, Jie; Lin, Yuxin; Lin, Ding; Li, Jieguang

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Luigi Vanfretti, ALSETLab, Troy, NY (Formely SmarTS Lab, Stockholm, Sweden)

Cited in:	0 Publications
Related Software:	–
Main Fields:	–