LAPACK Software Authors: LAPACK team: lapack@cs.utk.edu Cited in: 1,678 Publications (1988–2023) Related Software: BLAS; ScaLAPACK; Matlab; mctoolbox; LINPACK; ARPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
Uppaal Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Cited in: 541 Publications (1990–2022) Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SIFT Software Authors: David Lowe Cited in: 375 Publications (2006–2022) Related Software: SURF; PCA-SIFT; PASCAL VOC; LIBSVM; ImageNet; Vlfeat; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
symrcm Software Authors: George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber Cited in: 382 Publications (1979–2022) Related Software: SparseMatrix; CSparse; LAPACK; METIS; Matlab; ILUT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
gss Software Authors: Chong Gu Cited in: 321 Publications (1997–2023) Related Software: R; SemiPar; gamair; fda (R); ElemStatLearn; GAMLSS; … Main Fields: Functional analysis (46-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Kronos Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine Cited in: 243 Publications (1997–2021) Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MPT Software Authors: M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco Cited in: 234 Publications (2004–2022) Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
CAViaR Software Authors: Robert F Engle; Simone Manganelli Cited in: 194 Publications (2001–2022) Related Software: QRM; RiskMetrics; Dowd; R; quantilogram; BayesDA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
Esterel Software Authors: Gérard Berry Cited in: 137 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
ve08 Software Authors: Griewank, A.; Toint, Ph.L. Cited in: 151 Publications (1982–2022) Related Software: LANCELOT; minpack; L-BFGS; CUTEr; CUTE; tn; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
Hyperheuristics Software Authors: Cowling, Peter; Kendall, Graham; Soubeiga, Eric; Burke E Cited in: 126 Publications (2001–2023) Related Software: Tabu search; Paramils; HyFlex; OR-Library; DIMACS; SATzilla; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
wavethresh Software Authors: Guy Nason Cited in: 129 Publications (1995–2023) Related Software: R; WaveThresh4; EBayesThresh; KernSmooth; EbayesThresh; wmtsa; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Erlang Software Authors: erlang.org Cited in: 106 Publications (1993–2023) Related Software: Haskell; JCobox; Maude; ABS; QuickCheck; CauDEr; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ASTREE Software Authors: Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Cited in: 108 Publications (2002–2021) Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 106 Publications (2002–2023) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
DistAl Software Authors: Yang, Jihoon; Parekh, Rajesh; Honavar, Vasant Cited in: 75 Publications (1999–2022) Related Software: UCI-ml; C4.5; Genocop; SPEA2; R; LIBSVM; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Faster R-CNN Software Authors: Shaoqing Ren, Kaiming He, Ross Girshick, Jian Sun Cited in: 71 Publications (2017–2022) Related Software: ImageNet; AlexNet; SSD; MS-COCO; DeepLab; PASCAL VOC; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Pfinder Software Authors: Wren, C.R.; Azarbayejani, A.; Darrell, T.; Pentland, A. Cited in: 32 Publications (2000–2022) Related Software: BraMBLe; SIFT; SCAPE; W4s; FlowNet; CAVIAR; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)
PRINCE Software Authors: Borghoff, Julia; Canteaut, Anne; G"uneysu, Tim; Kavun, Elif Bilge; Knezevic, Miroslav; Knudsen, Lars R.; Leander, Gregor; Nikov, Ventzislav; Paar, Christof; Rechberger, Christian; Rombouts, Peter; Thomsen, S{o}ren S.; Yalc{c}{i}n, Tolga Cited in: 70 Publications (2012–2022) Related Software: PRESENT; SIMON; Piccolo; LED; KATAN; Midori; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
benchmodred Software Authors: Chahlaoui, Younes; Van Dooren, Paul Cited in: 67 Publications (2003–2022) Related Software: Loewner; mctoolbox; LYAPACK; Algorithm 432; AAA; RKToolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Calculus of variations and optimal control; optimization (49-XX)
Eigentaste Software Authors: Goldberg, Ken; Roeder, Theresa; Gupta, Dhruv; Perkins, Chris Cited in: 47 Publications (2001–2022) Related Software: MovieLens; SDPT3; PROPACK; ADMiRA; softImpute; SDPLR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
OMNet++ Software Authors: András Varga Cited in: 33 Publications (2001–2021) Related Software: ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FastSLAM Software Authors: Montemerlo M, Thrun S, Koller D, Wegbreit B Cited in: 47 Publications (2002–2020) Related Software: MonoSLAM; SIFT; SURF; DTAM; ORB-SLAM2; ORB-SLAM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Adams Software Authors: MSC Software Cited in: 52 Publications (2005–2022) Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
KronFit Software Authors: Leskovec, Jure; Chakrabarti, Deepayan; Kleinberg, Jon; Faloutsos, Christos; Ghahramani, Zoubin Cited in: 52 Publications (2010–2022) Related Software: SNAP; ANF; PRMLT; plfit; NetworkX; AutoGraphiX; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
SIGNAL Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul Cited in: 48 Publications (1987–2018) Related Software: Esterel; LUSTRE; Ptolemy; Polychrony; Simulink; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
GPDT Software Authors: Zanni, Luca; Serafini, Thomas; Zanghirati, Gaetano Cited in: 48 Publications (2005–2022) Related Software: CONV_QP; SVMlight; UCI-ml; LIBSVM; SVMTorch; TRON; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
CVXGEN Software Authors: J. Mattingley; S. Boyd Cited in: 44 Publications (2010–2022) Related Software: qpOASES; ECOS; fast_mpc; CVX; Gurobi; Mosek; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Snort Software Authors: Cisco Cited in: 15 Publications (2005–2016) Related Software: Autograph; Polygraph; Xilinx; TCPDUMP; ADEPTS; Gnort; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
WaveThresh4 Software Authors: Guy Nason Cited in: 43 Publications (2008–2022) Related Software: wavethresh; R; wmtsa; haarfisz; fda (R); BootWPTOS; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)
MonoSLAM Software Authors: A. J. Davison, I. D. Reid, N. D. Molton, O. Stasse Cited in: 32 Publications (2008–2022) Related Software: SIFT; FastSLAM; SURF; ORB-SLAM2; SBA; ORB-SLAM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Uppaal2k Software Authors: Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin Cited in: 38 Publications (2000–2017) Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
StFinMetrics Software Authors: Zivot, Eric; Wang, Jiahui Cited in: 41 Publications (2003–2022) Related Software: R; astsa; S-PLUS; FinTS; Forecast; forecast; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)
TrueTime Software Authors: Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, Karl-Erik Årzén Cited in: 39 Publications (2005–2021) Related Software: Matlab; Simulink; Torsche; Uppaal; AUTOSAR; SeDuMi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
UMAP Software Authors: Leland McInnes, John Healy, James Melville Cited in: 36 Publications (2020–2022) Related Software: t-SNE; Scikit; word2vec; GitHub; PyTorch; ImageNet; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
LCM Software Authors: Takeaki Uno, Tatsuya Asai, Yuzo Uchida, Hiroki Arimura Cited in: 30 Publications (2009–2022) Related Software: UCI-ml; C4.5; gSpan; CLOSET; PrefixSpan; SPMF; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX)
Gross-Pitaevskii Software Authors: P. Muruganandam, S.K. Adhikari Cited in: 38 Publications (2009–2022) Related Software: imagetime1d; GP-SCL; AEDU; BEC-GP-OMP-FOR; OCTBEC; GPELab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)
PAT Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Cited in: 33 Publications (2011–2022) Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Carsim Software Authors: Mechanical Simulation Corporation Cited in: 38 Publications (2006–2022) Related Software: Simulink; Matlab; AUTO; Sostools; qpOASES; NPSOL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
LUSTRE Software Authors: Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A. Cited in: 38 Publications (1992–2018) Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
gcmr Software Authors: Masarotto, Guido; Varin, Cristiano Cited in: 34 Publications (2012–2022) Related Software: R; CopulaModel; copula; VGAM; weightedScores; copBasic; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
PlatEMO Software Authors: Ye Tian, Ran Cheng, Xingyi Zhang, Yaochu Jin Cited in: 32 Publications (2017–2022) Related Software: MOEA/D; HypE; SPEA2; NBI; jMetal; SMS-EMOA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MoDeST Software Authors: D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric Cited in: 32 Publications (2001–2022) Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; Jani; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
STeP 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)
Woflan Software Authors: Verbeek, Eric; van der Aalst, Wil M.P. Cited in: 34 Publications (1999–2017) Related Software: PNML; YAWL; WSAT; XRL/Flower; SPIN; Metagraphs; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
LAMG Software Authors: Livne, Oren E.; Brandt, Achi Cited in: 35 Publications (2012–2022) Related Software: SparseMatrix; GitHub; BoomerAMG; ILUT; hypre; SNAP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
MoMM Software Authors: Josef Urban Cited in: 33 Publications (2004–2021) Related Software: Mizar; MML; HOL Light; MPTP 0.2; E Theorem Prover; MPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)
PlanetMath Software Authors: PlanetMath.org, Ltd Cited in: 34 Publications (2005–2022) Related Software: LaTeXML; MathOverflow; OEIS; GitHub; MMT; SageMath; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)
Qsplat Software Authors: Rusinkiewicz S, Levoy M Cited in: 20 Publications (2004–2022) Related Software: CGAL; Powercrust; OBBTree; ScanView; 3D spherical kernel; 2D Arrangement; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX)
CMC Software Authors: Francois Laroussinie; Kim G. Larsen Cited in: 31 Publications (2000–2020) Related Software: Uppaal; Kronos; HyTech; TINA; Romeo; IF-2.0; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
IMITATOR Software Authors: André, Étienne Cited in: 32 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
NeNMF Software Authors: N. Guan, D. Tao, Z. Luo, B. Yuan Cited in: 28 Publications (2012–2021) Related Software: FERET; RCV1; CLUTO; SPGL1; CVX; ITIP; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)
OSQP Software Authors: Bartolomeo Stellato, Goran Banjac, Paul Goulart, Alberto Bemporad, Stephen Boyd Cited in: 30 Publications (2018–2023) Related Software: qpOASES; Mosek; SCS; GitHub; CVXPY; Gurobi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
dlm Software Authors: Petris, Giovanni; Petrone, Sonia; Campagnoli, Patrizia Cited in: 25 Publications (2009–2021) Related Software: R; KFAS; dse; forecast; pomp; sspir; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)
Cg Software Authors: William R. Mark; R. Steven Glanville; Kurt Akeley; Mark J. Kilgard Cited in: 17 Publications (2006–2012) Related Software: CUDA; OpenGL; OpenCL; GPGPU; SOLAR; ScaLAPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
SpiNNaker Software Authors: Furber, S., Galluppi, F., Temple, S., Plana, L. A. Cited in: 16 Publications (2015–2021) Related Software: NEURON; Pynn; NEST; Brian; AlexNet; ImageNet; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
COBS Software Authors: Xuming He, Pin Ng Cited in: 29 Publications (1999–2022) Related Software: R; cobs; SemiPar; gamair; SparseM; SPARSKIT; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
GP-SCL Software Authors: Vudragović, Dušan; Vidanović, Ivana; Balaž, Antun; Muruganandam, Paulsamy; Adhikari, Sadhan K. Cited in: 29 Publications (2009–2023) Related Software: AEDU; imagetime1d; Gross-Pitaevskii; BEC-GP-OMP-FOR; CUDA; realtime3d-hyb; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)
funHDDC Software Authors: C. Bouveyron; J. Jacques Cited in: 26 Publications (2011–2022) Related Software: fda (R); R; funFEM; AS 136; fda.usc; MBCbook; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Hybrid Toolbox Software Authors: Bemporad A. Cited in: 29 Publications (2004–2022) Related Software: HYSDEL; MPT; CPLEX; Matlab; GLPK; ECOS; … Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
XNOR-Net Software Authors: Mohammad Rastegari, Vicente Ordonez, Joseph Redmon, Ali Farhadi Cited in: 26 Publications (2017–2023) Related Software: ImageNet; AlexNet; BinaryConnect; BinaryNet; CIFAR; DoReFa-Net; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GraphScope Software Authors: Sun J, Papadimitriou S, Yu P.S, Faloutsos C Cited in: 25 Publications (2011–2022) Related Software: FacetNet; GenLouvain; HPStream; LCM; Algorithm 457; gSpan; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
ART 3 Software Authors: Gail A. Carpenter; Stephen Grossberg Cited in: 16 Publications (1992–2012) Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; Matplotlib; SciPy; Matlab; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BraMBLe Software Authors: Isard, M., MacCormick, J. Cited in: 6 Publications (2006–2014) Related Software: Pfinder; AdaBoost.MH; OTCBVS; pyuvdata; i-LIDS; PittPatt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TIMES Software Authors: H. Carli, L.G.S. Duarte, L.A.C.P. da Mota Cited in: 24 Publications (2002–2022) Related Software: Uppaal; LinMapTS; Maple; Kronos; SPIN; TISEAN; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Computer science (68-XX)
VEST Software Authors: Stankovic A, Wang H, Humphrey M, Zhu R, Poornalingam R, Lu C Cited in: 23 Publications (2001–2016) Related Software: Ptolemy; CPLEX; Uppaal; AspectC++; Tensorial; GeneralVectorAnalysis; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)
Bigtable Software Authors: Chang, Fay; Dean, Jeffrey; Ghemawat, Sanjay; Hsieh, Wilson C.; Wallach, Deborah A.; Burrows, Mike; Chandra, Tushar; Fikes, Andrew; Gruber, Robert E Cited in: 14 Publications (2010–2019) Related Software: MapReduce; Dynamo; Cassandra; Chord; Hadoop; MongoDB; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
PREFDIS Software Authors: Zopounidis, C., & Doumpos, M. Cited in: 25 Publications (2000–2023) Related Software: VisualUTA; UTA Plus; ELECTRE; 4eMka2; ADDIS; Adam; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Visual MISER Software Authors: Yang, Feng; Teo, Kok Lay; Loxton, Ryan; Rehbock, Volker; Li, Bin; Yu, Changjun; Jennings, Leslie Cited in: 25 Publications (2016–2022) Related Software: MISER3; NLPQLP; ACADO; Ipopt; Theta*; SOCS; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
YOLO Software Authors: Redmon, Joseph; Farhadi, Ali Cited in: 14 Publications (2017–2023) Related Software: ImageNet; SSD; Faster R-CNN; AlexNet; Python; PointNet; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
AEDU Software Authors: Muruganandam, Paulsamy; Adhikari, Sadhan K. Cited in: 23 Publications (2009–2023) Related Software: GP-SCL; imagetime1d; Gross-Pitaevskii; BEC-GP-OMP-FOR; OCTBEC; CUDA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)
GroupKit Software Authors: Roseman M.; Greenberg S. Cited in: 2 Publications (2003–2009) Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
imagetime1d Software Authors: P. Muruganandam, S.K. Adhikari Cited in: 23 Publications (2009–2023) Related Software: GP-SCL; AEDU; Gross-Pitaevskii; BEC-GP-OMP-FOR; OCTBEC; CUDA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)
Rabbit Software Authors: Beyer, Dirk; Lewerentz, Claus; Noack, Andreas Cited in: 22 Publications (2001–2018) Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
Smoldyn Software Authors: S. S. Andrews et al Cited in: 22 Publications (2011–2022) Related Software: MesoRD; STEPS; URDME; PySB; MCELL; BioNetGen; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
BDgraph Software Authors: Mohammadi, A.; Wit, E.C. Cited in: 19 Publications (2015–2023) Related Software: R; glasso; huge; HdBCS; igraph; BGGM; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
CliffMath Software Authors: Schott, René; Staples, G. Stacey Cited in: 23 Publications (2012–2021) Related Software: CliffOC; CliffSymNil; Mathematica; Omega; OEIS; Genius; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
Be-CoDiS Software Authors: Ivorra, Benjamin; Ngom, Diène; Ramos, Ángel M. Cited in: 22 Publications (2015–2022) Related Software: Matlab; GitHub; iOverbook; TopoChemie-2020; pomp Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)
JMbayes Software Authors: Dimitris Rizopoulos Cited in: 13 Publications (2015–2022) Related Software: JM; R; STJM; joineR; lcmm; survival; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
parDG Software Authors: Diehl, Dennis Cited in: 22 Publications (2007–2023) Related Software: HE-E1GODF; PETSc; ParMETIS; PETSc/TS; NLIGA; PetIGA; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
IRKC Software Authors: Shampine, L.F.; Sommeijer, B.P.; Verwer, J.G. Cited in: 21 Publications (2006–2022) Related Software: RKC; RODAS; VODE; LSODA; MEBDF; SERK2v3; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
MARTE Software Authors: Object Management Group, Inc. Cited in: 10 Publications (2009–2017) Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
TAXYS Software Authors: Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick Cited in: 15 Publications (2001–2017) Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
CliffOC Software Authors: Schott, René; Staples, G. Stacey Cited in: 20 Publications (2006–2021) Related Software: CliffMath; CliffSymNil; Mathematica; Omega; Genius; OEIS; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX)
MetaMorph Software Authors: Maturana, F.; Shen, W.; Norrie, D.H. Cited in: 18 Publications (1999–2010) Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TorX Software Authors: Bohnenkamp, Henrik; Belinfante, Axel Cited in: 16 Publications (2005–2021) Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Node.js Software Authors: Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D. Cited in: 6 Publications (2017–2022) Related Software: JavaScript; GitHub; MySQL; WebGL; Docker; Traefik; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
HYCOM Software Authors: A.J. Wallcraft, E.P. Chassignet, H.E. Hurlburt, T.L. Townsend Cited in: 18 Publications (2008–2021) Related Software: EnKF; POP; UTBEST3D; ADCIRC; CUDA; SIFOM-FVCOM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
JADAMILU Software Authors: Matthias Bollhöfer, Yvan Notay Cited in: 16 Publications (2007–2019) Related Software: ARPACK; PRIMME; JDQZ; JDQR; Anasazi; PARDISO; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); Statistics (62-XX)
LogitBoost Software Authors: Chang, Yuan-Chin Ivan; Huang, Yufen; Huang, Yu-Pai Cited in: 17 Publications (2006–2020) Related Software: iRSpot-PseDNC; iProt-Sub; iNitro-Tyr; PseKNC; LIBSVM; 2L-piRNA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
MOCA Software Authors: Gilad Koren, Dennis Shasha Cited in: 17 Publications (1994–2020) Related Software: – Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
PVeStA Software Authors: AlTurki, M., Meseguer, J Cited in: 13 Publications (2011–2021) Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ASTRAL Software Authors: Buonanno, Giacomo; Coen-Porisini, Alberto; Fornaciari, William Cited in: 16 Publications (1992–2006) Related Software: Kronos; Uppaal; HyTech; MOCHA; TorX; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
BCI2000 Software Authors: Schalk G, McFarland D J, Hinterberger T, Birbaumer N, Wolpaw J R Cited in: 10 Publications (2016–2021) Related Software: PhysioToolkit; EEGLAB; OpenViBE; Brainstorm; BCILAB; rtMEG; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)
FacetNet Software Authors: Lin, Y.R., Chi, Y., Zhu, S., Sundaram, H., Tseng, B.L. Cited in: 13 Publications (2011–2020) Related Software: GraphScope; Algorithm 457; GenLouvain; LINE; NetGAN; DeepWalk; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Giotto Software Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch Cited in: 14 Publications (2001–2022) Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
CPOLY Software Authors: M. A. Jenkins; J. F. Traub Cited in: 16 Publications (1978–2022) Related Software: na10; EISPACK; QuACN; R; Mathematica Main Fields: Functions of a complex variable (30-XX); Statistics (62-XX); Numerical analysis (65-XX)
DynaMIT Software Authors: Ben-Akiva, Moshe; Bierlaire, Michel; Koutsopoulos, Haris N.; Mishalani, Rabi Cited in: 16 Publications (2000–2019) Related Software: go; GAMS; MATSim; CONTRAM Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)