×

Found 89 Software Packages (Results 1–89)

JBoss

Cited in 21 Documents (2004–2016)
Software Authors: Red Hat Inc.
Related Software: Drools; AspectJ; WebSphere; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

NINJA

Cited in 29 Documents (2000–2016)
Software Authors: Moreira, José E.; Midkiff, Samuel P.; Gupta, Manish; Wu, Peng; Almasi, George; Artigas, Pedro
Related Software: TNT; Java Grande; Ninja; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX); …

CaGe

Cited in 21 Documents (2003–2022)
Software Authors: G. Brinkmann, O. Delgado Friedrichs, S. Lisken, A. Peeters, N. Van Cleemput
Related Software: plantri; House of Graphs; GENREG; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); …

Centaur

Cited in 18 Documents (1991–2019)
Software Authors: Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V
Related Software: K Prover; Coq; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JModelica

Cited in 15 Documents (2010–2022)
Software Authors:
Related Software: Optimica; Modelica; Dymola; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Sharemind

Cited in 15 Documents (2011–2022)
Software Authors: D. Bogdanov, S. Laur, J. Willemson
Related Software: VIFF; TASTY; JustGarble; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

CArtAgO

Cited in 7 Documents (2009–2011)
Software Authors: Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti
Related Software: Jason; Jadex; AgentSpeak; …
Main Fields: Computer science (68-XX)

DIANE

Cited in 11 Documents (2003–2010)
Software Authors: J.T.Moscicki et al
Related Software: Ganga; GEANT4; GATE; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

SOCR

Cited in 3 Documents (2014–2019)
Software Authors: Ivo D. Dinov
Related Software: MotionCharts; R; StatCrunch; …
Main Fields: Statistics (62-XX); Fluid mechanics (76-XX)

MicroGrid

Cited in 6 Documents (2001–2009)
Software Authors: H. J. Song, X. Liu, D. Jakobsen, R. Bhagwan, X. Zhang, K. Taura, A. Chien; Xia, Huaxia; Chien, Andrew A.
Related Software: GridSim; Globus Toolkit; SIMGRID; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

AKIRA

Cited in 10 Documents (2005–2011)
Software Authors: Pezzulo, Giovanni; Calvi, Gianguglielmo
Related Software: CUMODP; CoCoA; DIANE; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …

Charlotte

Cited in 4 Documents (2006–2017)
Software Authors: Baratloo A, Karaul M, Kedem Z, Wijckoff P
Related Software: BOINC; XtremWeb; Javelin++; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Virtual Cell

Cited in 7 Documents (2003–2020)
Software Authors: Loew, L. M.; Schaff, J. C.
Related Software: GEPASI; E-CELL; SCAMP; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

OpenDreamKit

Cited in 8 Documents (2016–2020)
Software Authors: Michael Kohlhase
Related Software: SageMath; MMT; GitHub; …
Main Fields: Computer science (68-XX)

Sociodynamica

Cited in 7 Documents (2017–2023)
Software Authors: Jaffé, Klaus
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Leonardo

Cited in 5 Documents (2002–2007)
Software Authors: P. Crescenzi, C. Demetrescu, I. Finocchi, R. Petreschi
Related Software: Tango; POLKA; Zeus; …
Main Fields: Computer science (68-XX)

SPECjvm2008

Cited in 3 Documents (2010–2020)
Software Authors: Standard Performance Evaluation Corporation (SPEC)
Related Software: DaCapo; TFA; Featherweight Java; …
Main Fields: Computer science (68-XX)

VERA

Cited in 6 Documents (2015–2021)
Software Authors: John A. Turner, Kevin Clarno, Matt Sieger, Roscoe Bartlett, Benjamin Collins, Roger Pawlowski, Rodney Schmidt, Randall Summers
Related Software: Shift; DENOVO; Trilinos; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

eBATS

Cited in 5 Documents (2008–2012)
Software Authors: ECRYPT
Related Software: mpFq; MIRACL; Curve25519; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

PELCR

Cited in 4 Documents (2007–2019)
Software Authors: Pedicini, Marco; Quaglia, Francesco
Related Software: MPINE; PORGY; Haskell
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SYBYL

Cited in 5 Documents (2009–2023)
Software Authors: Certara, L.P.
Related Software: E-DRAGON; SCPRED; PFRES; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

PVMaple

Cited in 4 Documents (2000–2004)
Software Authors: Petcu, Dana
Related Software: Maple; FOXBOX; NetSolve; …
Main Fields: Computer science (68-XX)

Shift

Cited in 4 Documents (2016–2018)
Software Authors: Pandya, Tara M.; Johnson, Seth R.; Evans, Thomas M.; Davidson, Gregory G.; Hamilton, Steven P.; Godfrey, Andrew T.
Related Software: VERA; OpenMC; KENO; …
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

Caravela

Cited in 1 Document (2009)
Software Authors: Yamagiwa, Shinichi; Sousa, Leonel
Related Software: LDPC
Main Fields: Computer science (68-XX)

DART

Cited in 0 Documents
Software Authors: MacIntyre B, Gandy M, Dow S, Bolter JD
Related Software: iCAP; ARToolKit; OpenGL; …
Main Fields:

IGTools

Cited in 3 Documents (2017–2021)
Software Authors: Bonnici, V. ;V. Manca
Related Software:
Main Fields: Biology and other natural sciences (92-XX)

JESSICA2

Cited in 2 Documents (2006–2008)
Software Authors: W. Zhu, C.-L. Wang, F. C. M. Lau
Related Software: JikesRVM; ParADE; SPLASH-2; …
Main Fields: Computer science (68-XX)

MILOS

Cited in 3 Documents (2001–2002)
Software Authors: Maurer, Frank; Holz, Harald
Related Software:
Main Fields: Computer science (68-XX)

SoftRas

Cited in 2 Documents (2020)
Software Authors: Shichen Liu, Weikai Chen, Tianye Li, Hao Li
Related Software: 3D-R2N2; ShapeNet; OpenDR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Statlab

Cited in 1 Document (2010)
Software Authors: Boon, M.A.A.; Di Bucchianico, A.; Rijpkema, J.J.M.; van Berkum, E.E.M.
Related Software: StatCrunch; WebStat; JSci; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

V-market

Cited in 2 Documents (2000–2003)
Software Authors: Ripper, Pedro S.; Fontoura, Marcus F.; Neto, Ayrton Maia; de Lucena, Carlos José P.
Related Software:
Main Fields: Computer science (68-XX)

ASTRID

Cited in 2 Documents (1990–1992)
Software Authors: Gruber, R.; Flück, M.; Merazzi, S.; Paris, P.; Tran, M.Q.; Tran, T.M.
Related Software:
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX)

CarMaker

Cited in 2 Documents (2019–2023)
Software Authors: IPG
Related Software: ORB-SLAM2; Matlab
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

CloudBLAST

Cited in 1 Document (2013)
Software Authors: A. Matsunaga, M. Tsugawa, J. Fortes
Related Software: R; CSAR; joda; …
Main Fields: Biology and other natural sciences (92-XX)

Dive Mechanic

Cited in 2 Documents (2020–2021)
Software Authors: Cohen, Raymond C. Z.; Harrison, Simon M.; Cleary, Paul W.
Related Software: Workspace; TREESPH; OpenCV
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX); Biology and other natural sciences (92-XX)

GeneGrid

Cited in 1 Document (2006)
Software Authors: Jithesh, P.V.; Donachy, P.; Harmer, T.; Kelly, N.; Perrott, R.; Wasnik, S.; Johnston, J.; McCurley, M.; Townsley, M.; McKee, S.
Related Software: EMBOSS; UniProt; BLAST; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HIVE-hexagon

Cited in 2 Documents (2017)
Software Authors: Santana-Quintero L, Dingerdissen H, Thierry-Mieg J, et al
Related Software: PatternHunter; Soap; BSMAP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

JOTSA

Cited in 2 Documents (2002)
Software Authors: S. Robbins
Related Software: FAUST; CAITLIN; Tango; …
Main Fields: Computer science (68-XX)

MateriApps LIVE

Cited in 0 Documents
Software Authors: Yuichi Motoyama; Kazuyoshi Yoshimi; Takeo Kato; Synge Todo
Related Software: mVMC; VirtualBox; Spack; …
Main Fields:

MEFiSTo

Cited in 2 Documents (2008–2017)
Software Authors: Faustus Scientific Corporation
Related Software: Matlab; openEMS; Delta Function; …
Main Fields: General and overarching topics; collections (00-XX); Optics, electromagnetic theory (78-XX)

MinEX

Cited in 2 Documents (2002–2006)
Software Authors: Das, Sajal K.; Harvey, Daniel J.; Biswas, Rupak
Related Software: METIS; NetSolve
Main Fields: Computer science (68-XX)

Minha

Cited in 2 Documents (2020)
Software Authors: Machado, Nuno; Maia, Francisco; Neves, Francisco; Coelho, Fábio; Pereira, José
Related Software: DCatch; dBug; SAMC; …
Main Fields: Computer science (68-XX)

ODRA

Cited in 0 Documents
Software Authors: Kazimierz Subieta; ODRA team
Related Software: Oracle; SBQL
Main Fields:

OpenFrame

Cited in 2 Documents (1998–2000)
Software Authors: Phadke, Suhas; Bhardwaj, Dheeraj
Related Software: PARMON; PVM
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

PanGEA

Cited in 1 Document (2022)
Software Authors: Alexander Ku, Peter Anderson, Jordi Pont-Tuset, Jason Baldridge
Related Software: REVERIE; CHALET; SAPIEN; …
Main Fields: Computer science (68-XX)

PathSim

Cited in 0 Documents
Software Authors: N.F. Polys, D.A. Bowman, C. North, R.C. Laubenbacher, K. Duca
Related Software: BioAmbient Machine; BioShape; Bio-PEPA; …
Main Fields:

PVMGraph

Cited in 2 Documents (1997–2000)
Software Authors: Delaitre, T.; Ribeiro-Justo, G.R.; Spies, F.; Winter, S.C.
Related Software: EDPEPPS; Chronos
Main Fields: Computer science (68-XX)

VIFS

Cited in 1 Document (2008)
Software Authors: Schenato L, Deng X, Wu WC
Related Software:
Main Fields: Optics, electromagnetic theory (78-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

VOStat

Cited in 0 Documents
Software Authors: Jogesh Babu; Ashish Mahabal
Related Software: R; ImpuR; spectrino; …
Main Fields:

ZBrush

Cited in 2 Documents (2014–2021)
Software Authors: Pixologic, inc
Related Software: Trimesh; TAUCS
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX)

AnimatLab

Cited in 1 Document (2017)
Software Authors: NeuroRobotic Technologies LLC
Related Software: SIMSCAN; CPGDESIGN; FEEDBACKDESIGN
Main Fields: Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Arbor3D

Cited in 1 Document (2005)
Software Authors: Derek A. Ruths, Edward S. Chen, Leland Ellis
Related Software: TreeWiz; CloseGraph; RadCon; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

BugZoo

Cited in 0 Documents
Software Authors: C. S. Timperley, S. Stepney, C. Le Goues
Related Software: Maven; TestNG; Gradle; …
Main Fields:

CasCADe

Cited in 0 Documents
Software Authors: Ivson, P, Nascimento, D, Celes, W, Barbosa, S D
Related Software: xBIM; BIMsurfer; Billie
Main Fields:

DeepImageJ

Cited in 0 Documents
Software Authors: Gómez-de-Mariscal E, García-López-de-Haro C, Ouyang W, Donati L, Lundberg E, Unser M, et al
Related Software: BioImage Model Zoo; ZeroCostDL4Mic; ImJoy; …
Main Fields:

DistStat.jl

Cited in 0 Documents
Software Authors: Seyoon Ko, Hua Zhou, Jin Zhou, Joong-Ho Won
Related Software: MPI.jl; DistributedArrays.jl; CUDA.jl; …
Main Fields:

DPMF

Cited in 1 Document (2009)
Software Authors: Yu, Chiu-Man; Ng, Kam-Wing
Related Software:
Main Fields: Computer science (68-XX)

DUET

Cited in 0 Documents
Software Authors: Raes, L., Michiels, P., Adolphi, T., Tampere, C., Dalianis, T., Mcaleer, S., Kogut, P.
Related Software: igraph; AequilibraE; bokeh; …
Main Fields:

ECM

Cited in 1 Document (2016)
Software Authors: van Toll, Wouter; Cook IV, Atlas F.; van Kreveld, Marc; Geraerts, Roland
Related Software: Unity3D; VRONI
Main Fields: Computer science (68-XX)

Geist3D

Cited in 0 Documents
Software Authors: Stier, Jochen; Jahnke, Jens; M\"uller, Hausi
Related Software:
Main Fields:

GloudSim

Cited in 0 Documents
Software Authors: Di S, Cappello F.
Related Software: GroudSim; DCSim; DPWSim; …
Main Fields:

HandWaver

Cited in 0 Documents
Software Authors: Dimmel, J.; Bock, C.
Related Software: Geometry Explorer; VRMath2; CalcFlow; …
Main Fields:

JaMake

Cited in 1 Document (2001)
Software Authors: Budimlic, Zoran; Kennedy, Ken
Related Software:
Main Fields: Computer science (68-XX)

JVerge

Cited in 0 Documents
Software Authors: Couch J
Related Software: Javra
Main Fields:

MathInTheMiddle

Cited in 1 Document (2017)
Software Authors: Markus Pfeiffer, Michael Torpey
Related Software: Jupyter; OpenDreamKit; OMDoc; …
Main Fields: Computer science (68-XX)

NVDpro

Cited in 1 Document (2008)
Software Authors: Mustakerov, Ivan; Borissova, Daniela
Related Software: JavaScript
Main Fields: Computer science (68-XX)

OSCONVR

Cited in 1 Document (2002)
Software Authors: Marir, F.; Ouazzane, K.; Zerzour, K.
Related Software:
Main Fields: Computer science (68-XX)

OSP 2

Cited in 1 Document (2007)
Software Authors: Kifer, Michael; Smolka, Scott A.
Related Software:
Main Fields: Computer science (68-XX)

P++

Cited in 1 Document (2002)
Software Authors: Max Lemke; Daniel Quinlan
Related Software: POOMA; EinSum
Main Fields: Computer science (68-XX)

Pex4Fun

Cited in 0 Documents
Software Authors: Tillmann N, de Halleux J, Xie T, Bishop J.
Related Software: DyTa; VIDA; Scratch; …
Main Fields:

PIMA(GE)2

Cited in 0 Documents
Software Authors: A. Clematis, D. D’Agostino, A. Galizia
Related Software: QUDA; VSIPL++; MPI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

PLab

Cited in 1 Document (2004)
Software Authors: Ulrik Kjems
Related Software: ParaMat; MATPAR; DistributePP; …
Main Fields: Computer science (68-XX)

PLUK

Cited in 1 Document (1997)
Software Authors: Kalaidzidis, Ya.L.; Gavrilov, A.V.; Zaitsev, P.V.; Kalaidzidis, A.L.; Korolev, E.V.
Related Software:
Main Fields: Computer science (68-XX)

PROFETA

Cited in 1 Document (2017)
Software Authors: Fichera, L.; Messina, F.; Pappalardo, G.; Santoro, C.
Related Software: Brain Connectivity Toolbox
Main Fields: Operations research, mathematical programming (90-XX)

Quantum Mobile

Cited in 0 Documents
Software Authors: Chris Sewell, Giovanni Pizzi, Leopold Talirz
Related Software: VirtualBox; Spack; CONQUEST; …
Main Fields:

SCANeR

Cited in 1 Document (2012)
Software Authors: SCANeR-OKTAL
Related Software:
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)

Simian

Cited in 0 Documents
Software Authors: Simon Harris
Related Software: CloneDifferentiator; ARIES; JTransformer; …
Main Fields:

simSchool

Cited in 0 Documents
Software Authors: Meletiou-Mavrotheris, Maria; Mavrou, Katerina
Related Software:
Main Fields:

SoCLib

Cited in 1 Document (2010)
Software Authors:
Related Software: SPLASH-2
Main Fields: Computer science (68-XX)

SYMOFROS

Cited in 1 Document (2003)
Software Authors: Piedbœuf, Jean-Claude; Kövecses, József; Moore, Brian; L’Archevêque, Régent
Related Software:
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)

VECA

Cited in 0 Documents
Software Authors: Kwanyoung Park, Hyunseok Oh, Youngki Lee
Related Software: ViZDoom; AI2-THOR; ImageNet; …
Main Fields:

VEE Pro

Cited in 1 Document (2005)
Software Authors: Angus, Robert B.; Hulbert, Thomas E.
Related Software:
Main Fields: Computer science (68-XX)

ViWoSG

Cited in 1 Document (2009)
Software Authors: Wang, Guoping; Li, Sheng; Wang, Shaorong; Lu, Bin; Li, Wenhang
Related Software: Open Inventor; OpenSceneGraph
Main Fields: Computer science (68-XX)

VMGuard

Cited in 1 Document (2019)
Software Authors: Haifeng Fang; Yiqiang Zhao; Hongyong Zang; H. Howie Huang; Ying Song; Yuzhong Sun; Zhiyong Liu
Related Software: DynOpVm; VOT4CS; pyftpdlib; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

VRMath2

Cited in 0 Documents
Software Authors: A. Yeh
Related Software: Geometry Explorer; CalcFlow; HandWaver; …
Main Fields:

Wingeom

Cited in 0 Documents
Software Authors: Santos, Silvana Claudia
Related Software:
Main Fields:

LTZVisor

Cited in 0 Documents
Software Authors: Pinto, Sandro; Pereira, Jorge; Gomes, Tiago; Tavares, Adriano; Cabral, Jorge
Related Software:
Main Fields:

MemFlex

Cited in 0 Documents
Software Authors: Zhang, Qi; Liu, Ling; Su, Gong; Iyengar, Arun
Related Software:
Main Fields:

OntoPlant

Cited in 0 Documents
Software Authors: Tang, Liyu; Chen, Chongcheng; Zou, Jie; Lin, Yuxin; Lin, Ding; Li, Jieguang
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field