×

Found 115 Software Packages (Results 1–100)

EMD

Software Authors:   Y. Rubner
Cited in: 205 Publications (2000–2023)
Related Software: SIFT; Wasserstein GAN; SIMPLIcity; VisualSEEk; PASCAL VOC; NeTra; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

HMQV

Software Authors:   Krawczyk, Hugo
Cited in: 92 Publications (2001–2022)
Related Software: NAXOS; GitHub; KEM-DEM; Keccak; XooTools; Gimli; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

FLASH

Software Authors:   Patarin, Jacques; Courtois, Nicolas; Goubin, Louis
Cited in: 47 Publications (2001–2021)
Related Software: FGb; FLASH; Magma; HE-E1GODF; PARAMESH; MAP; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

NTRUSign

Software Authors:   Hoffstein, Jeffrey; Howgrave-Graham, Nick; Pipher, Jill; Silverman, Joseph H.; Whyte, William
Cited in: 46 Publications (2003–2022)
Related Software: NTRU; BLISS; BKZ; Falcon; NTL; Magma; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Cited in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

F2PY

Software Authors:   Pearu Peterson
Cited in: 26 Publications (2000–2021)
Related Software: Python; SciPy; NumPy; ODEPACK; SWIG; FFTW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BEASY

Software Authors:   Danson, D.J.; Brebbia, C.A.
Cited in: 34 Publications (1982–2019)
Related Software: NASGRO; Netgen; ABAQUS; ANSYS; Mathematica
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

BLISS

Software Authors:   Ducas, L.; Durmus, A.; Lepoint, T.; Lyubashevsky, V.
Cited in: 34 Publications (2013–2022)
Related Software: NTRU; NTRUSign; BKZ; ring-LWE; GALATICS; FACCT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

ESIGN

Software Authors:   Fujioka, Atsushi; Okamoto, Tatsuaki; Miyaguchi, Shoji
Cited in: 23 Publications (1991–2020)
Related Software: HAVAL
Main Fields: History and biography (01-XX); Number theory (11-XX); Numerical analysis (65-XX)

SMT-RAT

Software Authors:   Corzilius, F., Kremer, G., Junges, S., Schupp, S., Ábrahám, E.
Cited in: 19 Publications (2013–2022)
Related Software: SMT-LIB; CVC4; z3; QEPCAD; MathSAT5; raSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Real functions (26-XX)

TinyECC

Software Authors:   An Liu; Peng Ning
Cited in: 17 Publications (2009–2020)
Related Software: NanoECC; SPINS; HECC; RELIC; MIRACL; MoTE-ECC; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Durandal

Software Authors:   Aragon, N.; Blazy, O.; Gaborit, P.; Hauteville, A.; Zémor, G.
Cited in: 18 Publications (2019–2023)
Related Software: McEliece; NTRU; GeMSS; ZHFE; CFS; PQM4; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)

InterProScan

Software Authors:   E. Quevillon, V. Silventoinen, S. Pillai, N. Harte, N. Mulder, R. Apweiler, R. Lopez
Cited in: 6 Publications (2009–2022)
Related Software: BLAST; PSI-BLAST; UniProt; EasyGene; PROSITE; MultiLoc2; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

SPHINCS

Software Authors:   Andreas Hülsing
Cited in: 18 Publications (2018–2023)
Related Software: GitHub; PQM4; SWIFFT; Kyber; MicroEliece; ZKBoo; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Quantum theory (81-XX)

Polygraph

Software Authors:   Newsome, J., Karp, B., Song, D.
Cited in: 4 Publications (2010–2018)
Related Software: Autograph; Hamsa; Snort; Panorama; KEA; FIRMA; …
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)

Autograph

Software Authors:   Kim, H.A., Karp, B.
Cited in: 4 Publications (2010–2018)
Related Software: Polygraph; Snort; Hamsa; BLINC; Panorama; KEA; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

BlackMax

Software Authors:   D.-C. Dai et al.
Cited in: 16 Publications (2009–2018)
Related Software: CHARYBDIS2; Catfish; PYTHIA8; CORSIKA; NINJA
Main Fields: Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

GeMSS

Software Authors:   Casanova A., Faugère J.-C., Macario-Rat G., Patarin J., Perret L., Ryckeghem J.
Cited in: 16 Publications (2020–2023)
Related Software: EFLASH; Magma; Falcon; MQ Challenge; Durandal; ZHFE; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIGREF

Software Authors:   Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd
Cited in: 14 Publications (2006–2016)
Related Software: PRISM; MRMC; CADP; CEGAR; PEPA; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GluCat

Software Authors:   Paul C. Leopardi
Cited in: 13 Publications (2004–2020)
Related Software: Gaigen; Gaalop; Gaalet; GABLE; Versor; OpenCLLink; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)

SeaSign

Software Authors:   De Feo, Luca; Galbraith, Steven D.
Cited in: 13 Publications (2019–2022)
Related Software: GitHub; SageMath; Traces; Maple; nauty; Falcon; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

ANCFIS

Software Authors:   Zhifei Chen; Sara Aghakhani; James Man; Scott Dick
Cited in: 12 Publications (2012–2022)
Related Software: ANFIS; TISEAN; TSDL; FLANN; TDSL; FFTW; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Koka

Software Authors:   Leijen, D.
Cited in: 12 Publications (2014–2022)
Related Software: Eff; Links; ML; Haskell; JavaScript; Shonky; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Falcon

Software Authors:   Pierre-Alain Fouque, Jeffrey Hoffstein, Paul Kirchner, Vadim Lyubashevsky, Thomas Pornin, Thomas Prest, Thomas Ricosset, Gregor Seiler, William Whyte, Zhenfei Zhang
Cited in: 11 Publications (2019–2022)
Related Software: NTRU; Saber; NTRUSign; GeMSS; FrodoKEM; GitHub; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

BIOMET

Software Authors:   Garcia-Salicetti, Sonia; Beumier, Charles; Chollet, Gérard; Dorizzi, Bernadette; Leroux les Jardins, Jean; Lunter, Jan; Ni, Yang; Petrovska-Delacrétaz, Dijana
Cited in: 6 Publications (2003–2010)
Related Software: XM2VTSDB; Forensically; PRMLT; FRGC
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

UFC

Software Authors:   Martin Sandve Alnæs; Anders Logg; Kent-Andre Mardal
Cited in: 10 Publications (2013–2022)
Related Software: FEniCS; DOLFIN; FFC; UFL; SyFi; FIAT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PQM4

Software Authors:   Kannwischer, M.J., Rijneveld, J., Schwabe, P., Stoffelen, K.
Cited in: 9 Publications (2019–2022)
Related Software: GitHub; SIKE; Kyber; McEliece; SIDH; eBACS; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

sfqm

Software Authors:   Bruinier, Jan Hendrik; Ehlen, Stephan; Freitag, Eberhard
Cited in: 9 Publications (2015–2021)
Related Software: eisenstein_series; SageMath; KoszulDivisorOnPic14M8; Python; LMFDB; GitHub
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Algebraic geometry (14-XX)

GALATICS

Software Authors:   G. Barthe, S. Belaïd, T. Espitau, P.-A. Fouque, M. Rossi, M. Tibouchi
Cited in: 8 Publications (2020–2022)
Related Software: FACCT; BLISS; strongSwan; GitHub; SEAL; Falcon; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Alms

Software Authors:   Tov, Jesse A.; Pucella, Riccardo
Cited in: 7 Publications (2011–2021)
Related Software: Pesca; OCaml; Haskell; Fugue; PLURAL; PIPER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FACCT

Software Authors:   Raymond K. Zhao, Ron Steinfeld, Amin Sakzad
Cited in: 7 Publications (2020–2022)
Related Software: GALATICS; GitHub; BLISS; SEAL; Falcon; strongSwan; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

signature-invariants

Software Authors:   Diehl, Joscha; Reizenstein, Jeremy
Cited in: 7 Publications (2019–2022)
Related Software: SageMath; polymake; Normaliz; GitHub; Tensorlab; Manopt; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX)

Apte

Software Authors:   V. Cheval; David Baelde, Stephanie Delaune, Lucca Hirschi
Cited in: 5 Publications (2017–2018)
Related Software: Akiss; TAMARIN; AVISPA; FAST; scyther; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

catch22

Software Authors:   Carl H Lubba, Sarab S Sethi, Philip Knaute, Simon R Schultz, Ben D Fulcher, Nick S Jones
Cited in: 5 Publications (2020–2022)
Related Software: rocket; FFORMA; hctsa; tsfeatures; XGBoost; SFA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Cited in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GHOST

Software Authors:   Rob Patro; Carl Kingsford
Cited in: 6 Publications (2013–2021)
Related Software: IsoRank; SPINAL; L-GRAAL; IsoRankN; NETAL; HubAlign; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MixML

Software Authors:   –
Cited in: 6 Publications (2008–2018)
Related Software: 1ML; ML; Automath; Tribe; HMap; Dotty; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

nftables

Software Authors:   The PARI Group
Cited in: 6 Publications (2014–2019)
Related Software: PARI/GP
Main Fields: Number theory (11-XX)

WalnutDSA

Software Authors:   Anshel, I.; Atkins, D.; Goldfeld, D.; Gunnells, P.
Cited in: 6 Publications (2018–2022)
Related Software: GitHub; GeMSS; LEDAcrypt; SIKE; BIKE; FrodoKEM; …
Main Fields: Group theory and generalizations (20-XX); Computer science (68-XX); Quantum theory (81-XX)

eBATS

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

GA

Software Authors:   Ashdown, M.
Cited in: 5 Publications (2002–2020)
Related Software: Gaigen; Clifford Multivector Toolbox; GABLE; CLUCalc; CLIFFORD; Cliffosor; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

ganja.js

Software Authors:   De Keninck, Steven
Cited in: 5 Publications (2020–2022)
Related Software: Garamon; GitHub; GAALOPWeb; Clifford Multivector Toolbox; GMac; Gaigen; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX)

Hamsa

Software Authors:   Li, Z., Sanghi, M., Chen, Y., Kao, M.Y., Chavez, B.
Cited in: 2 Publications (2010–2018)
Related Software: Polygraph; Autograph; Snort; Panorama; KEA; FIRMA; …
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)

NESSIE

Software Authors:   Preneel, Bart
Cited in: 5 Publications (2002–2014)
Related Software: Square; Camellia; KEM-DEM; SAFER
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

NetLSD

Software Authors:   Anton Tsitsulin, Davide Mottin, Panagiotis Karras, Alex Bronstein, Emmanuel Müller
Cited in: 2 Publications (2020–2021)
Related Software: Python; PyTorch; SciPy; NumPy; NetworkX; Scikit; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CFS

Software Authors:   Landais, Gregory; Sendrier, Nicolas
Cited in: 4 Publications (2012–2022)
Related Software: McEliece; Durandal; NTRU; BKZ; Keccak; BLISS; …
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

CoqInE

Software Authors:   Ali Assaf, Mathieu Boespflug, Guillaume Burel, Quentin Carbonneaux, Gaspard Férey, François Thiré
Cited in: 4 Publications (2015–2021)
Related Software: Coq; CoqHammer; HOL Light; Mizar; PVS; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FAME

Software Authors:   Zhao, Yizheng; Schmidt, Renate A.
Cited in: 4 Publications (2018–2022)
Related Software: ELK; Protege-TS; Evonne; LETHE; BioPortal
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GSEA-P

Software Authors:   Subramanian, A., H. Kuehn, J. Gould, P. Tamayo, J. P. Mesirov
Cited in: 2 Publications (2015–2016)
Related Software: BioLattice; CAMERA; hgug4110b.db; org.Hs.eg.db; PAGE; R; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

GSVA

Software Authors:   Hänzelmann S, Castelo R, Guinney J
Cited in: 4 Publications (2014–2021)
Related Software: Bioconductor; MSigDB; ROAST; DAVID; KEGG; edgeR; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

MADAM

Software Authors:   A. Saracino, D. Sgandurra, G. Dini, F. Martinelli
Cited in: 2 Publications (2015–2021)
Related Software: AAPT2; WEKA; TCPDUMP; AppTrace; ARTDroid; Boxify; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

PALISADE

Software Authors:   Polyakov, Y., Rohloff, K., Ryan, G.W.
Cited in: 4 Publications (2019–2023)
Related Software: GitHub; HElib; Lattigo; FHEW; SHARK; Keccak; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

QFASA

Software Authors:   Sara Iverson; Chris Field; Don Bowen; Wade Blanchard; Connie Stewart; Shelly Lang; Justin Kamerman
Cited in: 4 Publications (2011–2017)
Related Software: Compositional; ElemStatLearn; UCI-ml; bootlib
Main Fields: Statistics (62-XX); Geophysics (86-XX)

parallelDist

Software Authors:   Alexander Eckert, Lucas Godoy, Srikanth KS
Cited in: 0 Publications
Related Software: R; reticulate; microbenchmark; RcppArmadillo; Rcpp; dtaidistance; …
Main Fields:

Prophet

Software Authors:   Medina, I.; Montaner, D.; Tárraga, J.; Dopazo, J.
Cited in: 1 Publication (2020)
Related Software: StFinMetrics; CausalImpact; randomForest; M@cbeth; GeneSrF; varSelRF; …
Main Fields: Operations research, mathematical programming (90-XX)

SCAPI

Software Authors:   Yael Ejgenberg, Moriya Farbstein, Meital Levy, Yehuda Lindell
Cited in: 1 Publication (2017)
Related Software: VMCrypt; FairplayMP; TASTY; bplib; ZKPDL; emmy; …
Main Fields: Information and communication theory, circuits (94-XX)

surfacesignature.lib

Software Authors:   Gerhard Pfister; Muhammad Ahsan Banyamin; Stefan Steidel
Cited in: 3 Publications (1978–2012)
Related Software: SINGULAR
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Computer science (68-XX)

BLAZE

Software Authors:   Alkadri, Nabil Alkeilani; El Bansarkhani, Rachid; Buchmann, Johannes
Cited in: 2 Publications (2020–2021)
Related Software:
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

computational-algebra

Software Authors:   Ishii, Hiromi
Cited in: 2 Publications (2018–2021)
Related Software: GitHub; DoCon; ghc-typelits-presburger; type-natural; SmallCheck; QuickCheck; …
Main Fields: Commutative algebra (13-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)

CONFIGR-STARS

Software Authors:   Arun Ravindran
Cited in: 1 Publication (2007)
Related Software: Fuzzy ARTMAP
Main Fields: Computer science (68-XX)

CoRF

Software Authors:   Dennis E. te Beest, Steven W. Mes, Saskia M. Wilting, Ruud H. Brakenhoff, Mark A. van de Wiel
Cited in: 1 Publication (2019)
Related Software: gren; glmnet; scam; mgcv; fwelnet; graper; …
Main Fields: Statistics (62-XX)

DOA-intersecting

Software Authors:   Khan, Nabeel Ali; Ali, Sadiq; Mohammadi, Mokhtar; Haneef, Muhammad
Cited in: 2 Publications (2020–2021)
Related Software: GitHub; MTFSP; Matlab
Main Fields: Information and communication theory, circuits (94-XX)

EDISA

Software Authors:   Supper, J.; Strauch, M.; Wanke, D.; Harter, K.; Zell, A.
Cited in: 1 Publication (2015)
Related Software: DAVID; ArrayExpress; KEGG
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

FIRMA

Software Authors:   Rafique, M.Z., Caballero, J.
Cited in: 1 Publication (2018)
Related Software: Panorama; KEA; VAMO; Polygraph; ExecScent; Hamsa; …
Main Fields: Information and communication theory, circuits (94-XX)

GammaMaP

Software Authors:   Pyry Kuusela
Cited in: 1 Publication (2021)
Related Software: MathGR; GRAMA; GAMMA; Mathematica
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

Logfun

Software Authors:   S. Ferré, O. Ridoux
Cited in: 2 Publications (2009–2010)
Related Software:
Main Fields: Computer science (68-XX)

NIZK

Software Authors:   Wang, Yuyu; Tanaka, Keisuke
Cited in: 2 Publications (2014–2015)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PandA

Software Authors:   Chuengsatiansup, Chitchanok; Naehrig, Michael; Ribarski, Pance; Schwabe, Peter
Cited in: 2 Publications (2014–2015)
Related Software: EAGL; Pinocchio; Charm; RELIC; PBC Library; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

Solidity

Software Authors:   Gavin Wood, Christian Reitwiessner, Alex Beregszaszi, Liana Husikyan, Yoichi Hirai
Cited in: 2 Publications (2018–2020)
Related Software: Servois; CVC4; GitHub; Spec#
Main Fields: Computer science (68-XX)

SyPet

Software Authors:   Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
Cited in: 2 Publications (2017–2020)
Related Software: CodeHint; Houdini; FlashExtract; BlinkFill; FlashMeta; TRANSIT; …
Main Fields: Computer science (68-XX)

ZIDS

Software Authors:   Niksefat, S.; Sadeghiyan, B.; Mohassel, P.; Sadeghian, SS
Cited in: 2 Publications (2020–2021)
Related Software: FairplayMP; GitHub; ABY
Main Fields: Information and communication theory, circuits (94-XX)

Apposcopy

Software Authors:   Feng, Y., Anand, S., Dillig, I., Aiken, A.
Cited in: 1 Publication (2015)
Related Software: EviCheck; Androguard; AppGuard; FlowDroid; TaintDroid
Main Fields: Computer science (68-XX)

ARTist

Software Authors:   M. Backes, S. Bugiel, O. Schranz, P. Von Styp-Rekowsky, S. Weisgerber
Cited in: 0 Publications
Related Software: AppTrace; MADAM; ARTDroid; Boxify; Frida; Tracee; …
Main Fields:

BayICE

Software Authors:   Tai, An-Shun; Tseng, George C.; Hsieh, Wen-Ping
Cited in: 1 Publication (2021)
Related Software: ISOpureR; dtangle; BayCount; spikeslab; R
Main Fields: Statistics (62-XX)

BotFinder

Software Authors:   Tegeler F, Fu X, Vigna G, et al.
Cited in: 1 Publication (2018)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

BotTokenizer

Software Authors:   Qi, Biao; Shi, Zhixin; Wang, Yan; Wang, Jizhi; Wang, Qiwen; Jiang, Jianguo
Cited in: 1 Publication (2018)
Related Software: Panorama; KEA; FIRMA; VAMO; Polygraph; ExecScent; …
Main Fields: Information and communication theory, circuits (94-XX)

BPFroid

Software Authors:   Yaniv Agman; Danny Hendler
Cited in: 0 Publications
Related Software: AppTrace; MADAM; ARTDroid; Boxify; Frida; ARTist; …
Main Fields:

catwoman

Software Authors:   Kathryn Jones; Néstor Espinoza
Cited in: 0 Publications
Related Software: starry; batman; Python
Main Fields:

DataBind

Software Authors:   Anthony Eden
Cited in: 1 Publication (2003)
Related Software: MySQL; sql2java; JGrinder; Jaxor; Hibernate; MODULEWRITER; …
Main Fields: Computer science (68-XX)

dbCAN

Software Authors:   Yanbin Yin, Xizeng Mao, Jincai Yang, Xin Chen, Fenglou Mao, Ying Xu
Cited in: 1 Publication (2016)
Related Software: IntelliGO; FUNC; Aber-OWL; Ontobee; PlantTFDB; eggNOG; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DropLasso

Software Authors:   Khalfaoui, B., Vert, J.P.
Cited in: 1 Publication (2022)
Related Software: SGL; HieRFIT; seagull; msgl; biglasso; AS 136; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ESET NOD32

Software Authors:   ESET
Cited in: 1 Publication (2018)
Related Software:
Main Fields: Statistics (62-XX); Computer science (68-XX)

Evonne

Software Authors:   Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Dachselt, Raimund; Koopmann, Patrick; Méndez, Julián
Cited in: 1 Publication (2022)
Related Software: ELK; Protege-TS; FAME
Main Fields: Computer science (68-XX)

FASCODE

Software Authors:   H.J.P. Smith, D.J. Dube, M.E. Gardner, S.A. Clough, F.X. Kneizys
Cited in: 1 Publication (2018)
Related Software: Matlab; Algorithm 680; GENSPECT; Faddeeva
Main Fields: Numerical analysis (65-XX)

Floodyberry

Software Authors:   Andrew Moon
Cited in: 1 Publication (2015)
Related Software: eBACS
Main Fields: Information and communication theory, circuits (94-XX)

Hoogle

Software Authors:   N. Mitchell et al
Cited in: 1 Publication (2019)
Related Software: GitHub; Agda
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LAVA

Software Authors:   Torres, Clinton; Vitalis, Elizabeth A.; Baker, Brian R.; Gardner, Shea N.; Torres, Marisa W.; Dzenitis, John M.
Cited in: 0 Publications
Related Software:
Main Fields:

LibSWIFFT

Software Authors:   Gvili, Yaron
Cited in: 0 Publications
Related Software: SWIFFTX; SWIFFT
Main Fields:

MakeMusic

Software Authors:   MakeMusic, Inc
Cited in: 1 Publication (2016)
Related Software: sigma GTTM; MusicXML; FATTA; C4.5
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Malwise

Software Authors:   Cesare, Silvio; Xiang, Yang; Zhou, Wanlei
Cited in: 1 Publication (2013)
Related Software:
Main Fields: Statistics (62-XX); Computer science (68-XX)

MGMS2

Software Authors:   So Young Ryu, George Wendt
Cited in: 1 Publication (2022)
Related Software: BacID; GitHub
Main Fields: Statistics (62-XX)

MURAVE

Software Authors:   Lau, Terry Shue Chien; Tan, Chik How
Cited in: 1 Publication (2020)
Related Software: Durandal
Main Fields: Information and communication theory, circuits (94-XX)

naivereg

Software Authors:   Qingliang Fan, KongYu He, Wei Zhong
Cited in: 1 Publication (2021)
Related Software:
Main Fields: Statistics (62-XX)

petBoss

Software Authors:   Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej
Cited in: 1 Publication (2018)
Related Software: ABC; STABLE; SINGULAR
Main Fields: Computer science (68-XX)

phindex-lib

Software Authors:   Victor Castellanos
Cited in: 1 Publication (2011)
Related Software: SINGULAR
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

PIndroid

Software Authors:   Idrees F., Rajarajan M., Conti M., Chen T.M., Rahulamathavan Y.
Cited in: 0 Publications
Related Software: ADAM; Allatori; Monkey; DexProtector; ProGuard; DroidSieve; …
Main Fields:

PROPOSAL

Software Authors:   Koehne, J.-H.; Frantzen, K.; Schmitz, M.; Fuchs, T.; Rhode, W.; Chirkin, D.; Becker Tjus, J.
Cited in: 1 Publication (2013)
Related Software:
Main Fields: Quantum theory (81-XX); Astronomy and astrophysics (85-XX)

Protege-TS

Software Authors:   Ian Hyland; Renate Schmidt
Cited in: 1 Publication (2022)
Related Software: ELK; Evonne; FAME
Main Fields: Computer science (68-XX)

SECCURE

Software Authors:   Poettering, B.
Cited in: 1 Publication (2008)
Related Software: eBATS; mpFq; CUDA
Main Fields: Information and communication theory, circuits (94-XX)

SigHunt

Software Authors:   Jaron, K. S.; Moravec, J. C.; Martínková, N.
Cited in: 1 Publication (2019)
Related Software: Pfam; IslandViewer; Mauve; BLAST; PSI-BLAST
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)