×

Found 142 Software Packages (Results 1–100)

ScaLAPACK

Cited in 409 Documents (1995–2023)
Software Authors: Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C.
Related Software: LAPACK; BLAS; PLAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PVM

Cited in 279 Documents (1992–2022)
Software Authors: Geist; Beguelin; Dongarra; Jiang; Manchek; Sunderam
Related Software: MPI; LAPACK; ScaLAPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

ImageJ

Cited in 56 Documents (2006–2023)
Software Authors: Schneider, C.A., Rasband, W.S., Eliceiri, K.W.; Abramoff, M.D., Magalhaes, P.J., Ram, S.J
Related Software: R; Fiji; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX); …

FSL

Cited in 41 Documents (2008–2022)
Software Authors: M.W. Woolrich, S. Jbabdi, B. Patenaude, M. Chappell, S. Makni, T. Behrens, C. Beckmann, M. Jenkinson, S.M. Smith
Related Software: AFNI; R; FreeSurfer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …

StarPU

Cited in 31 Documents (2012–2022)
Software Authors: C. Augonnet, S. Thibault, R. Namyst, P.-A. Wacrenier
Related Software: CUDA; PLASMA; OpenCL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Lua

Cited in 22 Documents (2002–2022)
Software Authors: Roberto Ierusalimschy; Waldemar Celes; Luiz Henrique de Figueiredo
Related Software: Python; R; Ruby; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Java CoG Kit

Cited in 12 Documents (2001–2010)
Software Authors: von Laszewski, Gregor; Gawor, Jarek; Lane, Peter; Rehn, Nell; Russell, Mike
Related Software: Globus Toolkit; Pegasus; Condor-G; …
Main Fields: Computer science (68-XX); Geophysics (86-XX); Biology and other natural sciences (92-XX)

CloudSim

Cited in 17 Documents (2012–2022)
Software Authors: Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose, Rajkumar Buyya
Related Software: GridSim; pMapper; OpenNebula; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

JCell

Cited in 13 Documents (2008–2021)
Software Authors: Dorronsoro, Bernabé
Related Software: jMetal; SPEA2; MOEA/D; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-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)

QEMU

Cited in 2 Documents (2017–2019)
Software Authors: F. Bellard
Related Software: TTAnalyze; Valgrind; VMWare; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Jakarta

Cited in 17 Documents (2001–2014)
Software Authors: Daniela Junho de Andrade, Simão Melo de Sousa
Related Software: Coq; OCaml; LETOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-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)

CPT

Cited in 15 Documents (2001–2019)
Software Authors: Sean Mauch
Related Software: HE-E1GODF; SPARSKIT; DiFi; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BCEL

Cited in 5 Documents (2007–2011)
Software Authors: The Apache Software Foundation
Related Software: AspectJ; TaintDroid; LoPSiL; …
Main Fields: Computer science (68-XX)

GKLEE

Cited in 10 Documents (2013–2022)
Software Authors: Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.
Related Software: GPUVerify; CUDA; OpenCL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Venture

Cited in 8 Documents (2016–2018)
Software Authors: Vikash Mansinghka, Daniel Selsam, Yura Perov
Related Software: Church; Stan; BUGS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-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)

Goldilocks

Cited in 9 Documents (2009–2017)
Software Authors: Elmas, T., Qadeer, S., Tasiran, S.
Related Software: Eraser; Atomizer; FastTrack; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

HPL

Cited in 6 Documents (2017–2021)
Software Authors: Petitet A, Whaley RC, Dongarra J, Cleary A
Related Software: LINPACK; mctoolbox; CUDA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LETOS

Cited in 8 Documents (2001–2012)
Software Authors: Pieter H. Hartel
Related Software: Maude; Centaur; Miranda; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jinja Threads

Cited in 9 Documents (2009–2020)
Software Authors: Lochbihler, A.
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …

JLAPACK

Cited in 6 Documents (1999–2010)
Software Authors: David M. Doolin; Jack Dongarra; Keith Seymour
Related Software: LAPACK; JAMA; LINPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Strawberry Fields

Cited in 3 Documents (2019–2021)
Software Authors: Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook
Related Software: ProjectQ; qHiPSTER; OpenFermion; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Quantum theory (81-XX); …

C-DVM

Cited in 5 Documents (1997–2017)
Software Authors: Konovalov, N.; Krukov, V.; Pogrebtsov, A.; Sazanov, J.
Related Software: TotalView; MARMOT; Guard
Main Fields: Computer science (68-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)

RladyBug

Cited in 4 Documents (2007–2014)
Software Authors: Michael Hoehle, Ulrike Feldmann, Sebastian Meyer
Related Software: R; amei; CODA; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

rpvm

Cited in 4 Documents (2007–2013)
Software Authors: Li, N., Rossini, A.J.
Related Software: R; Rmpi; iplots; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-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)

StEAM

Cited in 3 Documents (2004–2011)
Software Authors: Leven, Peter; Mehler, Tilman; Edelkamp, Stefan
Related Software: SPIN; SatAbs; Zing; …
Main Fields: Computer science (68-XX)

TeaBag

Cited in 6 Documents (2005–2013)
Software Authors: S. Antoy, S. Johnson
Related Software: TOY; PAKCS; Hood; …
Main Fields: Computer science (68-XX)

PLASMA

Cited in 5 Documents (2012–2018)
Software Authors: Jegourel, Cyrille; Legay, Axel; Sedwards, Sean
Related Software: PRISM; Uppaal; PLASMA-lab; …
Main Fields: Computer science (68-XX)

ReVirt

Cited in 0 Documents
Software Authors: Dunlap, G.W., King, S.T., Cinar, S., Basrai, M.A., Chen, P.M.
Related Software: CloudSec; RSYSLOG; SecVisor; …
Main Fields: Computer science (68-XX)

CloudGenius

Cited in 2 Documents (2015–2019)
Software Authors: Menzel, Michael; Ranjan, Rajiv; Wang, Lizhe; Khan, Samee U.; Chen, Jinjun
Related Software: Zephyrus2; CumulusGenius; OpenNebula; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DisChoco

Cited in 3 Documents (2013–2020)
Software Authors: Wahbi, M., Ezzahir, R., Bessiere, C., Bouyakhf, E.H.
Related Software: SensorDCSP; CSPLib; Choco; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DiSL

Cited in 2 Documents (2016–2022)
Software Authors: Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi
Related Software: Akkaprof; XProf; PReT; …
Main Fields: Computer science (68-XX)

JikesRVM

Cited in 2 Documents (2008–2019)
Software Authors: Quitadamo, Raffaele; Cabri, Giacomo; Leonardi, Letizia
Related Software: SPECjvm2008; Oracle; DaCapo; …
Main Fields: Computer science (68-XX)

Laminar

Cited in 4 Documents (2017–2022)
Software Authors: Roy I, Porter DE, Bond MD, McKinley KS, Witchel E
Related Software: JFlow; JRIF; Jif; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PROSE

Cited in 3 Documents (1974–2018)
Software Authors: Joseph Thames
Related Software: SLANG; PADRE2; ADOL-C; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

VerX

Cited in 4 Documents (2020–2022)
Software Authors: Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.
Related Software: solc-verify; LARCH; Eiffel; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Wine

Cited in 0 Documents
Software Authors:
Related Software: MAGICC; Pymagicc; f90nml; …
Main Fields:

Akkaprof

Cited in 3 Documents (2016–2022)
Software Authors: Rosà, Andrea; Chen, Lydia Y.; Binder, Walter
Related Software: DiSL; XProf; PReT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Caravela

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

CLDC

Cited in 2 Documents (2005–2018)
Software Authors:
Related Software: CompCertTSO; K Prover; Jinja not Java; …
Main Fields: Computer science (68-XX)

EXPLODE

Cited in 2 Documents (2014–2016)
Software Authors: Junfeng Yang , Can Sar , Dawson Engler
Related Software: SQCK; Eleven82; PostgreSQL; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)

GASTAP

Cited in 3 Documents (2020–2022)
Software Authors: Albert, E., Gordillo, P., Rubio, A., Sergey, I.
Related Software: GitHub; gasstation-express; Adam; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

GraalVM

Cited in 1 Document (2021)
Software Authors: Niephaus, F., Felgentre , T., Hirschfeld, R.
Related Software: R; RCaller; RCallerService; …
Main Fields: Computer science (68-XX)

Ilea

Cited in 3 Documents (2015–2020)
Software Authors: Tan, G., Morrisett, G.
Related Software: Maude; Nashorn; SonarQube; …
Main Fields: Computer science (68-XX)

JCSP

Cited in 1 Document (2002)
Software Authors: Welch, P. H.; Aldous, J. R.; Foster, J.
Related Software: Circus; Z; KRoC
Main Fields: Computer science (68-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)

Joeq

Cited in 2 Documents (2005)
Software Authors: Whaley, John
Related Software: Datalog; CAESAR_SOLVE; Maude; …
Main Fields: Computer science (68-XX)

KLOVER

Cited in 1 Document (2017)
Software Authors: Guodong Li; Indradeep Ghosh; Sreeranga P. Rajan
Related Software: DART; Angelix; jCUTE; …
Main Fields: Computer science (68-XX)

LIGHT

Cited in 3 Documents (2002–2003)
Software Authors: Ciortuz, Liviu
Related Software:
Main Fields: Computer science (68-XX)

OCaml-Java

Cited in 1 Document (2016)
Software Authors: Clerc, X.
Related Software: OCaml; js_of_ocaml; Ocsigen; …
Main Fields: Computer science (68-XX)

Ocelot

Cited in 2 Documents (2013–2015)
Software Authors: Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N.
Related Software: CUDA; OpenCL; Chromium; …
Main Fields: Computer science (68-XX)

rscala

Cited in 0 Documents
Software Authors: David B. Dahl
Related Software: CRAN; rJava; R; …
Main Fields:

SDAARC

Cited in 2 Documents (2001–2002)
Software Authors: Moore, Ronald Charles
Related Software:
Main Fields: Computer science (68-XX)

Solidity

Cited in 3 Documents (2018–2020)
Software Authors: Gavin Wood, Christian Reitwiessner, Alex Beregszaszi, Liana Husikyan, Yoichi Hirai
Related Software: Servois; CVC4; PBC Library; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

TP2010

Cited in 0 Documents
Software Authors: Ortigosa, Alvaro; Carro, Rosa M.; Quiroga, José Ignacio
Related Software: KQML; C4.5; R
Main Fields:

WINPRE

Cited in 3 Documents (1992–2016)
Software Authors: Salo A., Hämäläinen R.P.
Related Software: ComPAIRS; RICH Decisions; PRIME Decisions; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AGL-Score

Cited in 2 Documents (2021)
Software Authors: D. Nguyen; G.-W. Wei
Related Software: TopologyNet; DioDe; HERMES; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Algebraic topology (55-XX); …

asm.js

Cited in 2 Documents (2017–2019)
Software Authors: D. Herman, L. Wagner, A. Zakai
Related Software: irace; TensorFlow.js; spatiasql.js; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

Birch

Cited in 0 Documents
Software Authors: Zeynep Akkalyoncu Yilmaz, Shengjin Wang, Wei Yang, Haotian Zhang, Jimmy Lin
Related Software: BERT; PyGaggle; Covidex; …
Main Fields:

Bottracer

Cited in 1 Document (2011)
Software Authors: Liu, L., Chen, S., Yan, G., Zhang, Z.
Related Software: Rishi; BotMiner
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CCJ

Cited in 2 Documents (2003–2005)
Software Authors: Nelisse, Arnold; Maassen, Jason; Kielmann, Thilo; Bal, Henri E.
Related Software: UMFPACK; Traits; Pliris; …
Main Fields: Numerical analysis (65-XX); Computer science (68-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)

Code Virtualizer

Cited in 2 Documents (2018–2019)
Software Authors: Oreans Technologies
Related Software: VMAttack; VMProtect; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

DieCast

Cited in 1 Document (2020)
Software Authors: Diwaker Gupta, Kashi Venkatesh Vishwanath, Marvin McNett, Amin Vahdat, Ken Yocum, Alex Snoeren, Geoffrey M. Voelker
Related Software: PeerSim; Coq; TLA; …
Main Fields: Computer science (68-XX)

FlinkCL

Cited in 2 Documents (2018–2020)
Software Authors: Chen, Cen; Li, Kenli; Ouyang, Aijia; Li, Keqin
Related Software: Spark; Hadoop; MapReduce
Main Fields: Computer science (68-XX)

Gridbuilder

Cited in 2 Documents (2010–2012)
Software Authors: Childs, S.; Coghlan, B.; Mccandless, J.
Related Software: OpenNebula; Amazon EC2; Eucalyptus; …
Main Fields: Computer science (68-XX)

Jinja not Java

Cited in 2 Documents (2016–2018)
Software Authors: Gerwin Klein; Tobias Nipkow
Related Software: Archive Formal Proofs; Isabelle/HOL; CompCertTSO; …
Main Fields: Computer science (68-XX)

JOTSA

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

MaDViWorld

Cited in 2 Documents (2002–2003)
Software Authors: Fuhrer, Patrik; Most\'efaoui, Ghita Kouadri; Pasquier-Rocha, Jacques
Related Software: Aglets
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:

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)

Mininet

Cited in 2 Documents (2018–2022)
Software Authors: Mininet Team
Related Software: Open vSwitch; HyperFlow; RUNOS; …
Main Fields: Computer science (68-XX)

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); …

POTENTIAL

Cited in 1 Document (2000)
Software Authors: Wen, Jirong; Chen, Hong; Wang, Shan
Related Software: Volcano; OrientXA; PicoDBMS
Main Fields: Computer science (68-XX)

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)

Py4J

Cited in 1 Document (2019)
Software Authors: Barthelemy Dagenais
Related Software: Jupyter; Py2NetLogo; Repast Suite; …
Main Fields: Computer science (68-XX)

PyTorch3D

Cited in 0 Documents
Software Authors: Meta Platforms, Inc; Nikhila Ravi, Jeremy Reizenstein, David Novotny, Taylor Gordon, Wan-Yen Lo, Justin Johnson, Georgia Gkioxari
Related Software: Kaolin; 3D-R2N2; DensePose; …
Main Fields:

SBMLsimulator

Cited in 2 Documents (2014–2022)
Software Authors: A. Dräger, R. Keller, A. Dörr, S. Tscherneck, U. Hofmann, C. Wrzodek, A. Funahashi, A. Tabira, B. Kandel, M. Klein, M. Thomas, N. Rodriguez, N. Le Novère, U. M. Zanger, A. Zell
Related Software: SimpleSBML; BioModels; SemanticSBML; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Spinsim

Cited in 1 Document (2023)
Software Authors: Alex Tritt, Joshua Morris, Joel Hochstetter, R. P. Anderson, James Saunderson, L. D. Turner
Related Software: Numba; qopt; PULSEE; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …

SymJS

Cited in 2 Documents (2017–2019)
Software Authors: Li, G., Andreasen, E., Ghosh, I.
Related Software: S3; Z3-str; PASS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Turtles

Cited in 1 Document (2018)
Software Authors: Ben-Yehuda, M.; Day, M.D.; Dubitzky, Z.; Factor, M.; Har'El, N.; Gordon, A.; Liguori, A.; Wasserman, O.; Yassour, B.
Related Software: VMWare
Main Fields: Computer science (68-XX)

VMProtect

Cited in 2 Documents (2018–2019)
Software Authors: VMProtect Software
Related Software: VMAttack; Code Virtualizer; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Whiley

Cited in 2 Documents (2021–2022)
Software Authors: David Pearce
Related Software: Boogie; BVD; Viper; …
Main Fields: 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)

bigrf

Cited in 0 Documents
Software Authors: Lim A.
Related Software: R; rattle; multicore; …
Main Fields:

CAMPY

Cited in 1 Document (2017)
Software Authors: Srikanth, Akhilesh; Sahin, Burak; Harris, William R.
Related Software: Soot; LeetCode; z3
Main Fields: Computer science (68-XX)

caper

Cited in 1 Document (2001)
Software Authors: Vartanov, Sergey R.
Related Software:
Main Fields: Computer science (68-XX)

CAS-DSM

Cited in 1 Document (2004)
Software Authors: Manoj, N.P.; Manjunath, K.V.; Govindarajan, R.
Related Software: PVM
Main Fields: Computer science (68-XX)

CloudSec

Cited in 0 Documents
Software Authors: Ibrahim, A., Hamlyn-Harris, J., Grundy, J., Almorsy, M
Related Software: ReVirt; RSYSLOG; SecVisor; …
Main Fields: Computer science (68-XX)

dCpp

Cited in 0 Documents
Software Authors: Žiga Sajovic
Related Software: Eigen
Main Fields:

FinRL

Cited in 0 Documents
Software Authors: Xiao-Yang Liu, Hongyang Yang, Qian Chen, Runjia Zhang, Liuqing Yang, Bowen Xiao, Christina Dan Wang
Related Software: Horizon; Dopamine; OpenAI Gym; …
Main Fields:

Fortify

Cited in 0 Documents
Software Authors: Natarajan Meghanathan
Related Software:
Main Fields:

Gen-O-Fix

Cited in 1 Document (2018)
Software Authors: Swan, J., Epitropakis, M.G., Woodward, J.R.
Related Software: Djinn; GenProg; Apache Spark; …
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field