×

Found 157 Software Packages (Results 1–100)

OTTER

Software Authors:   Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Cited in: 307 Publications (1988–2022)
Related Software: TPTP; Mace4; VAMPIRE; SPASS; E Theorem Prover; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)

PMTK

Software Authors:   Dunham M, Murphy K
Cited in: 266 Publications (2012–2023)
Related Software: PRMLT; ElemStatLearn; BayesDA; Adam; UCI-ml; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ATLAS

Software Authors:   R. Clint Whaley
Cited in: 183 Publications (1992–2022)
Related Software: LAPACK; BLAS; PHiPAC; FFTW; ScaLAPACK; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

CONOPT

Software Authors:   Drud, Arne Stolbjerg
Cited in: 176 Publications (1985–2023)
Related Software: GAMS; MINOS; SNOPT; BARON; Ipopt; KNITRO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MKL

Software Authors:   Intel
Cited in: 143 Publications (2002–2023)
Related Software: LAPACK; PARDISO; BLAS; CUDA; SparseMatrix; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 148 Publications (2000–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Code_Aster

Software Authors:   Électricité de France S.A. (EDF; Electricity of France)
Cited in: 56 Publications (1995–2023)
Related Software: ABAQUS; Gmsh; Matlab; COMSOL; FEniCS; deal.ii; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BIDE

Software Authors:   Wang J, Han J
Cited in: 16 Publications (2006–2019)
Related Software: PrefixSpan; SPADE; CloSpan; gSpan; PR-Miner; XPath; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CellML

Software Authors:   Hedley, Warren J.; Nelson, Melanie R.; Bullivant, David P.; Nielsen, Poul F.
Cited in: 17 Publications (2001–2021)
Related Software: Chaste; COPASI; SUNDIALS; CellSys; R; Python; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

TNT

Software Authors:   Roldan Pozo
Cited in: 22 Publications (1998–2019)
Related Software: LAPACK; JAMA; Matlab; TAO; Trilinos; Blitz++; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Freebase

Software Authors:   K. Bollacker, R. Cook, P. Tufts
Cited in: 18 Publications (2014–2022)
Related Software: YAGO; DBpedia; WordNet; word2vec; Python; ProBase; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Hat

Software Authors:   Chitil, Olaf; Runciman, Colin; Wallace, Malcolm
Cited in: 20 Publications (2001–2012)
Related Software: Hood; Freja; Haskell; TOY; PAKCS; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BacSim

Software Authors:   J. Kreft, G. Booth, J.W.T. Wimpenny
Cited in: 21 Publications (2000–2021)
Related Software: AgentCell; iDynoR; STOCHSIM; MatPack; FreeFem++; AceFEM; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

ROADRUNNER

Software Authors:   Crescenzi, Valter; Mecca, Giansalvatore; Merialdo, Paolo
Cited in: 9 Publications (2001–2017)
Related Software: Lixto; NoDoSE; XPath; WordNet; L-BFGS; WrapIt; …
Main Fields: Computer science (68-XX)

SAP APO

Software Authors:   SAP
Cited in: 21 Publications (2004–2020)
Related Software: XPRESS; RELAX4; RelaxIV; GLPK; COIN-OR; LINDO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MiniCon

Software Authors:   Pottinger, Rachel; Halevy, Alon
Cited in: 14 Publications (2001–2021)
Related Software: CoreCover; XPath; HyperBench; LogicBlox; iBench; EmptyHeaded; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Atelier B

Software Authors:   ClearSy; France Steria
Cited in: 16 Publications (2000–2021)
Related Software: ProB; Rodin; Zenon; CADP; SPIN; LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HYTEC

Software Authors:   Jan van der Lee, Laurent De Windt, Vincent Lagneau, Patrick Goblet
Cited in: 16 Publications (2010–2022)
Related Software: MoMaS; MIN3P; HYDROGEOCHEM; PHREEQC; SPECY; PhreeqcRM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

LaGriT

Software Authors:   Los Alamos National Laboratory
Cited in: 13 Publications (2002–2022)
Related Software: PFLOTRAN; dfnWorks; SciPy; NetworkX; TOUGH; mView; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

AntHocNet

Software Authors:   Di Caro, G.; Ducatelle, F.; Gambardella, L.M.
Cited in: 7 Publications (2006–2015)
Related Software: AntNet; FLAR; OMNet++
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HeuristicLab

Software Authors:   Wagner, Stefan; Affenzeller, Michael
Cited in: 9 Publications (2004–2022)
Related Software: ParaDisEO; ECJ; TSPLIB; JCLEC; Genocop; Scikit; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NAGWare

Software Authors:   Numerical Algorithms Group (NAG)
Cited in: 13 Publications (1995–2018)
Related Software: CompAD; TAF; TAPENADE; ADOL-C; CALGO; AlexNet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

RasMol

Software Authors:   R. Sayle; E. J. Milner-White
Cited in: 9 Publications (1998–2021)
Related Software: VMD; PyMOL; Chimera; Spack; Quantum Mobile; VirtualBox; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

ESRA

Software Authors:   Flener, Pierre; Pearson, Justin; Ågren, Magnus
Cited in: 11 Publications (2004–2022)
Related Software: Essence; Zinc; NP-SPEC; AMPL; MiniZinc; Gecode; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GenABEL

Software Authors:   Aulchenko, Y. S., Ripke, S., Isaacs, A.; van Duijn, C. M
Cited in: 6 Publications (2013–2017)
Related Software: R; ProbABEL; Bioconductor; PLINK; igraph; Postgwas; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Proof General Kit

Software Authors:   Aspinall, David; Lüth, Christoph; Winterstein, Daniel
Cited in: 9 Publications (2004–2012)
Related Software: Proof General; Coq; OMDoc; Maple; Isabelle; Matita; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

Columbus

Software Authors:   Ferenc, R.M Beszedes, A.; Tarkiainen, M.; Gyimothy, T.
Cited in: 8 Publications (2002–2012)
Related Software: Maisa; Codecrawler; GUPRO; GlassFish; Doxygen; WebSphere; …
Main Fields: Computer science (68-XX)

Parsec

Software Authors:   Rajive Bagrodia, Richard Meyer, Mineo Takai, Yu-an Chen, Xiang Zeng, Jay Martin, Ha Yoon Song
Cited in: 5 Publications (2003–2019)
Related Software: GloMoSim; Smoldyn; XTW; GTW; ROSS; NeuroMorpho; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MCSim

Software Authors:   Frederic Y. Bois, Don R. Maszle
Cited in: 5 Publications (2007–2021)
Related Software: deSolve; httk; R; pksensi; SAFE Toolbox; SALib; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

biXid

Software Authors:   Kawanaka, Shinya; Hosoya, Haruo
Cited in: 7 Publications (2006–2018)
Related Software: XSugar; XDuce; Rocksalt; BakerSFIeld; GDSL; BAP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Eisbach

Software Authors:   Matichuk, Daniel; Wenzel, Makarius; Murray, Toby
Cited in: 9 Publications (2014–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; HOL; Locales; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Bunch

Software Authors:   Mancoridis, S., Mitchell, B., Chen, Y., Gansner, E.
Cited in: 3 Publications (2013–2018)
Related Software: Ant; clusfind; CPLEX; Ada95
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CodeSurfer

Software Authors:   GrammaTech
Cited in: 5 Publications (2005–2012)
Related Software: CBMC; PMD; PQL; Checkstyle; MOPS; FLAVERS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

HEMO

Software Authors:   Jianjun Hu 1,2 , Kisung Seo 1 , Zhun Fan 1 , Ronald C. Rosenberg 3 , and Erik D. Goodman 1
Cited in: 8 Publications (2003–2011)
Related Software: PAES; SPEA2
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Fluid mechanics (76-XX)

SCTL-MUS

Software Authors:   Pazos Arias, José J.; García Duque, Jorge
Cited in: 5 Publications (2001–2006)
Related Software: PVS; NuSMV; SLAM; TLA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UMLDiff

Software Authors:   Zhenchang Xing, Eleni Stroulia
Cited in: 1 Publication (2009)
Related Software: GRK; GDK; ArchJava; AToM3; Winnowing; ArgoUML; …
Main Fields: Computer science (68-XX)

Consit

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.
Cited in: 5 Publications (2005–2010)
Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields: Computer science (68-XX)

SEISCOPE

Software Authors:   L. Métivier, R. Brossier
Cited in: 6 Publications (2016–2022)
Related Software: L-BFGS; MUMPS; GEMSFITS; EMD; GLPK; revolve; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Geophysics (86-XX)

DoFun

Software Authors:   M. Q. Huber, A. K. Cyrol, J. M. Pawlowski
Cited in: 6 Publications (2020–2023)
Related Software: FormTracer; Mathematica; HEPMath; CrasyDSE; FeynCalc; Invar; …
Main Fields: Difference and functional equations (39-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

METCO

Software Authors:   León, C., Miranda, G., Segura, C.
Cited in: 4 Publications (2014–2020)
Related Software: Hyperheuristics; JADE; TOMS659; MersenneTwister; SPEA2; MPI; …
Main Fields: Operations research, mathematical programming (90-XX)

nose

Software Authors:   Pellerin J
Cited in: 2 Publications (2020–2022)
Related Software: Python; SciPy; Matplotlib; NumPy; Matlab; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JasPer

Software Authors:   Michael, D.A., Kossentini, F.
Cited in: 4 Publications (2002–2010)
Related Software: DT-CWT; Steerable pyramid; CUDA; MEX-file; JPEG2000
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

R.oo

Software Authors:   Henrik Bengtsson
Cited in: 1 Publication (2011)
Related Software: R; Roxygen; Matlab; Proto; distrDoc; ROptEst; …
Main Fields: Statistics (62-XX)

Squid

Software Authors:   Schmidt, Cristina; Parashar, Manish
Cited in: 2 Publications (2008–2011)
Related Software: Chord; Pastry; HOCL; MapReduce; Globus Toolkit; BATON; …
Main Fields: Computer science (68-XX)

VIP

Software Authors:   Kamel, Moataz; Leue, Stefan
Cited in: 1 Publication (2000)
Related Software: SPIN; SymmSpin; Uppaal; Bandera; PROMELA
Main Fields: Computer science (68-XX)

Cinolib

Software Authors:   Livesu, Marco
Cited in: 4 Publications (2018–2022)
Related Software: Voro++; TetGen; Verdict; Triangle; CGAL; Eigen
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

CrocoCosmos

Software Authors:   Claus Lewerentz; Andreas Noack
Cited in: 4 Publications (2002–2004)
Related Software: WilmaScope; ViSta; GDS; Tulip; BioPath; DBdraw; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

FluidSim

Software Authors:   Ashwin Vishnu Mohanan, Cyrille Bonamy, Miguel Calpe Linares, Pierre Augier
Cited in: 1 Publication (2019)
Related Software: Python; FluidFFT; FluidDyn; Dedalus; NumPy; Cython; …
Main Fields: Fluid mechanics (76-XX)

global_report

Software Authors:   Roncero-Clemente, C.; Roanes-Lozano, E.
Cited in: 4 Publications (2018–2020)
Related Software: REDLOG; Maple
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

iBioSim

Software Authors:   Chris J Myers, Nathan Barker, Kevin Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D Nguyen
Cited in: 2 Publications (2010–2022)
Related Software: COPASI; Python; GitHub; BSim; BasiCO; MobsPy; …
Main Fields: Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

MetaPrime

Software Authors:   O. Coudert, J.C. Madre
Cited in: 4 Publications (2000–2015)
Related Software: PREP/KITT; MOCUS; DBNet; RAM Commander FTA; FaultTree+; ITEM ToolKit; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SOFT-CBR

Software Authors:   Aggour, Kareem S.; Pavese, Marc; Bonissone, Piero P.; Cheetham, William E.
Cited in: 4 Publications (2001–2004)
Related Software:
Main Fields: Computer science (68-XX)

Coverity

Software Authors:   Synopsys, Inc
Cited in: 3 Publications (2010–2021)
Related Software: Cascade; QEMU; Klocwork; SMACK; GitHub; seL4; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

DREME

Software Authors:   Bailey TL
Cited in: 2 Publications (2016–2017)
Related Software: GitHub; DECOD; SeedHam; JASPAR; TRANSFAC; Galaxy; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

EMPIRE-PIC

Software Authors:   Bettencourt, Matthew T.; Brown, Dominic A. S.; Cartwright, Keith L.; Cyr, Eric C.; Glusa, Christian A.; Lin, Paul T.; Moore, Stan G.; Mcgregor, Duncan A. O.; Pawlowski, Roger P.; Phillips, Edward G.; Roberts, Nathan V.; Wright, Steven A.; Maheswaran, Satheesh; Jones, John P.; Jarvis, Stephen A.
Cited in: 3 Publications (2021–2022)
Related Software: Kokkos; RODAS; bootlib; Isorropia; Tempus; SPIS; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

JavaPermutationTools

Software Authors:   Cicirello, Vincent A
Cited in: 1 Publication (2021)
Related Software: emili; Chips-n-Salsa; Jenetics; ECJ; MEMOTS; HypE; …
Main Fields: Operations research, mathematical programming (90-XX)

Julia Static Analyzer

Software Authors:   JuliaSoft; Spoto, Fausto
Cited in: 3 Publications (2013–2020)
Related Software: ASTREE; MorphDroid; Aletheia; Sails; Panorama; BackFlow; …
Main Fields: Computer science (68-XX)

MENUS-PGG

Software Authors:   Chrisochoides, Nikos; Fox, Geoffrey; Thompson, Joe
Cited in: 3 Publications (1994–2003)
Related Software: KELLEY; PETSc; DQGMRES; pARMS; Chaco; ELLPACK
Main Fields: Numerical analysis (65-XX)

ORIGEN2

Software Authors:   Allen G. Croff
Cited in: 2 Publications (2016–2017)
Related Software: Maple; Algorithm 982; Shift; MPACT; Insilico; Peregrine; …
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

ParJava

Software Authors:   Ivannikov, V.P.; Avetisyan, A.I.; Gaissaryan, S.S.; Akopyan, M.S.
Cited in: 3 Publications (2007–2009)
Related Software: Chapel; MPJ Express; Fortress; Intel MPI Benchmarks; Cilk; MPI
Main Fields: Computer science (68-XX)

Plat-Omega

Software Authors:   Wagner, Marc; Autexier, Serge; Benzmüller, Christoph
Cited in: 3 Publications (2007–2019)
Related Software: LaTeX; OMDoc; MMTTeX; Mizar; Isabelle; Multi; …
Main Fields: Computer science (68-XX)

SmartGov

Software Authors:   Georgiadis, Panagiotis; Lepouras, G.; Vassilakis, C.; Boukis, G.; Tambouris, Efhimios; Gorilas, S.; Davenport, E.; Macintosh, Ann; Fraser, J.; Lochhead, D.
Cited in: 3 Publications (2002–2003)
Related Software:
Main Fields: Computer science (68-XX)

solids4foam

Software Authors:   P. Cardiff, A. Karač, P. De Jaeger, H. Jasak, J. Nagy, A. Ivanković, Ž. Tuković
Cited in: 2 Publications (2021–2022)
Related Software: OpenFOAM; Code_Aster; cfMesh; COMSOL; Gmsh; FreeCAD; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SPRUCOM

Software Authors:   Krieger, H.; Schäfer, H.; Bossel, H.
Cited in: 3 Publications (1990–2001)
Related Software:
Main Fields: Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

WADE

Software Authors:   Caire, G.; Gotta, D.; Banzi, M.
Cited in: 3 Publications (2010–2011)
Related Software: CArtAgO; Jadex; simpA; ReSpecT; Featherweight Java; Linda; …
Main Fields: Computer science (68-XX)

APSIM

Software Authors:   APSIM Initiative
Cited in: 0 Publications
Related Software: R; nasapower; crul; lubridate; raster; DSSAT; …
Main Fields:

ARB

Software Authors:   Ludwig W, Strunk O, Westram R et al
Cited in: 1 Publication (2015)
Related Software: EMBOSS; Minimus; EMIRGE; ViennaRNA; TagCleaner; OligoWalk; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

Ciao

Software Authors:   Y.R. Chen, G.S. Fowler, E. Koutsofios, R.S. Wallach
Cited in: 2 Publications (2000–2010)
Related Software: SQuAVisiT; TestQ; SEXTANT; LIFT; Edge; LSEdit; …
Main Fields: Computer science (68-XX)

EpiChord

Software Authors:   Leong, B., Liskov, B., Demaine, E.D.
Cited in: 1 Publication (2014)
Related Software: Chord
Main Fields: Computer science (68-XX)

FermaT

Software Authors:   Hussein Zedan; Matthias Ladkau; Martin Ward
Cited in: 2 Publications (2010–2014)
Related Software: mural; Rodin; RAISE; Bogart; Consit
Main Fields: Computer science (68-XX)

gCoda

Software Authors:   Fang, H.; Huang, C.; Zhao, H.; Deng, M.
Cited in: 2 Publications (2022)
Related Software: huge; MicroBVS; PhyloScan; EMVS; Python; glasso; …
Main Fields: Statistics (62-XX)

LibFinder

Software Authors:   Ali Ouni; Raula Gaikovina Kula; Marouane Kessentini; Takashi Ishio, Daniel M Germán; Katsuro Inoue
Cited in: 0 Publications
Related Software: LibRec; Libraries.io; word2vec; StanfordCoreNLP; Adam; Req2Lib; …
Main Fields:

LIFT

Software Authors:   Dos Santos Brito, K.; Garcia, V. C.; De Almeida, E. S.; De Lemos Meira, S. R.
Cited in: 1 Publication (2010)
Related Software: SQuAVisiT; Ciao; TestQ; SEXTANT; Edge; LSEdit; …
Main Fields: Computer science (68-XX)

MANTOOL

Software Authors:   Polo Usaola, Macario; Piattini Velthuis, Mario; Ruiz Gonz\'alez, Francisco
Cited in: 2 Publications (2001–2002)
Related Software:
Main Fields: Computer science (68-XX)

Matilda

Software Authors:   Boneh, T.; Nicholson, A.E.; Sonenberg, E.A.
Cited in: 2 Publications (2006–2007)
Related Software:
Main Fields: Real functions (26-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MEDWRAP

Software Authors:   Varde, Aparna S.; Rundensteiner, Elke A.
Cited in: 2 Publications (2002–2003)
Related Software:
Main Fields: Computer science (68-XX)

NMRPipe

Software Authors:   F Delaglio, S Grzesiek, G.W Vuister, G Zhu, J Pfeifer, A Bax
Cited in: 1 Publication (2020)
Related Software: XPLO2D; VMD-XPLOR; VMD; CNS; CHARMM; Xplor-NIH; …
Main Fields: Biology and other natural sciences (92-XX)

OCLinEcore

Software Authors:   eclipse.org
Cited in: 2 Publications (2019–2020)
Related Software: OCL2AC; ENFORCe; Henshin
Main Fields: Computer science (68-XX)

OPTRANS

Software Authors:   Pieri, Giovani; Klein, Michel R.; Milanese, Mario
Cited in: 2 Publications (1998–2001)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ORE

Software Authors:   Lehmann, J., Bühmann, L.
Cited in: 1 Publication (2018)
Related Software: Pellet; MERGEXPLAIN; OntoDebug; Swoop; Protege
Main Fields: Computer science (68-XX)

Q-MAT+

Software Authors:   Pan, Yiling; Wang, Bin; Guo, Xiaohu; Zeng, Hua; Ma, Yuexin; Wang, Wenping
Cited in: 2 Publications (2019–2020)
Related Software: Q-MAT; Powercrust; PointCNN; PointNet; CGAL
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

RapidProM

Software Authors:   Wil M.P. van der Aalst, Alfredo Bolt, Sebastiaan J. van Zelst
Cited in: 2 Publications (2018–2021)
Related Software: XESame; HybridILPMiner; ProM; rbminer
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

REforDI

Software Authors:   Cremer, Katja; Marburger, André; Westfechtel, Bernhard
Cited in: 1 Publication (2002)
Related Software: PROGRES; GRAS; Graph transformation benchmarks; COBOL
Main Fields: Computer science (68-XX)

SEXTANT

Software Authors:   Schäfer, T.; Eichberg, M.; Haupt, M.; Mezini, M.
Cited in: 1 Publication (2010)
Related Software: SQuAVisiT; Ciao; TestQ; LIFT; Edge; LSEdit; …
Main Fields: Computer science (68-XX)

TestQ

Software Authors:   Manuel Breugelmans, B. Rompaey
Cited in: 1 Publication (2010)
Related Software: gensim; Girder; Review Board; Numba; pytest; GHTorrent; …
Main Fields: Computer science (68-XX)

ThunderSVM

Software Authors:   Wen, Zeyi; Shi, Jiashuai; Li, Qinbin; He, Bingsheng; Chen, Jian
Cited in: 1 Publication (2021)
Related Software: TensorFlow; GRace; GMRace; CURD; LDetector; GKLEE; …
Main Fields: Computer science (68-XX)

topmodel

Software Authors:   Wouter Buytaert
Cited in: 0 Publications
Related Software: fuse; R; wasim; dynatopmodel; FUSE; hydromad; …
Main Fields:

TPC Benchmark DS

Software Authors:   TPC
Cited in: 0 Publications
Related Software: MySQL; OptMark
Main Fields:

TypeExplorer

Software Authors:   Van Deursen, Arie; Moonen, Leon
Cited in: 1 Publication (2006)
Related Software: Lackwit; COBOL
Main Fields: Computer science (68-XX)

ACPred

Software Authors:   Nalini Schaduangrat, Chanin Nantasenamat, Virapong Prachayasittikul, Watshara Shoombuatong
Cited in: 1 Publication (2021)
Related Software: DNA4mC-LIP; 4mCPred; TargetAntiAngio; DeepTorrent; model_4mc; GitHub; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ADML

Software Authors:   Pérez, Jennifer; Carsí, José A.; Ramos, Isidro
Cited in: 1 Publication (2002)
Related Software: OASIS
Main Fields: Computer science (68-XX)

AMRST

Software Authors:   Chang, Chao-hsu; Wu, Eric Hsiao-kuang
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Computer science (68-XX)

AnomiGAN

Software Authors:   Ho Bae, Dahuin Jung, Sungroh Yoon
Cited in: 1 Publication (2021)
Related Software: FitNets; Wasserstein GAN; Adam
Main Fields: Computer science (68-XX)

APIDiff

Software Authors:   Brito, A., Xavier, L., Hora, A., Valente, M.T.
Cited in: 1 Publication (2021)
Related Software: MIGRATE; Verigraph
Main Fields: Computer science (68-XX)

AudExpCreator

Software Authors:   Duc T. Nguyen, Blair Kaneshiro
Cited in: 0 Publications
Related Software: VideoToolbox; Psychophysics Toolbox; Eyelink; Matlab
Main Fields:

Calener

Software Authors:   Ruá, María J.; Guadalajara, Natividad
Cited in: 1 Publication (2016)
Related Software: Lider
Main Fields: Statistics (62-XX)

CloneDifferentiator

Software Authors:   Z. Xing, Y. Xue, S. Jarzabek
Cited in: 0 Publications
Related Software: Simian; ARIES; JTransformer; Cultivate
Main Fields:

Convert2Java

Software Authors:   Allan, V.H.; Chen, X.
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

CrackIT

Software Authors:   Oliveira H, Correia PL
Cited in: 1 Publication (2017)
Related Software: Kinect
Main Fields: Statistics (62-XX); Mechanics of deformable solids (74-XX); Information and communication theory, circuits (94-XX)

Cryptographic Toolkit

Software Authors:   NIST
Cited in: 1 Publication (2010)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)