×

Found 91 Software Packages (Results 1–91)

PostgreSQL

Software Authors:   –
Cited in: 54 Publications (2000–2023)
Related Software: Oracle; MySQL; MS SQL Server; Python; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Cited in: 50 Publications (1994–2020)
Related Software: AGG; VIATRA2; DIEGO; Graph transformation benchmarks; Fujaba; SPIN; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-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)

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)

iPro54-PseKNC

Software Authors:   Lin, H.; Deng, E. -Z.; Ding, H.; Chen, W.; Chou, K. -C.
Cited in: 32 Publications (2015–2019)
Related Software: Pse-in-One; iRSpot-PseDNC; pSuc-Lys; iRNA-PseColl; iRSpot-EL; iPPI-Esml; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PseKNC

Software Authors:   Chen, W.; Lei, T. -Y.; Jin, D. -C.; Lin, H.; Chou, K. -C.
Cited in: 31 Publications (2015–2019)
Related Software: iRSpot-PseDNC; Pse-in-One; pLoc-mAnimal; iPTM-mLys; iNuc-PseKNC; pLoc-mPlant; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

JFlow

Software Authors:   Andrew C. Myers
Cited in: 22 Publications (2002–2022)
Related Software: Haskell; TALx86; TaintDroid; Jif; JML; NaCl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

iNuc-PhysChem

Software Authors:   Chen, W.; Lin, H.; Feng, P. M.; Ding, C.; Zuo, Y. C.; Chou, K. C.
Cited in: 24 Publications (2013–2019)
Related Software: iRSpot-PseDNC; iSNO-PseAAC; iRSpot-TNCPseAAC; propy; Cell-PLoc; iNuc-PseKNC; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

iNitro-Tyr

Software Authors:   Xu, Y.; Wen, X.; Wen, L. -S.; Wu, L. -Y.; Deng, N. -Y.; Chou, K. -C.
Cited in: 22 Publications (2015–2019)
Related Software: iRSpot-PseDNC; Pse-in-One; iPro54-PseKNC; iSNO-PseAAC; iRNA-PseColl; iHyd-PseAAC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

KASUMI

Software Authors:   Satoh, Akashi; Morioka, Sumio
Cited in: 20 Publications (2002–2016)
Related Software: Camellia; Whirlpool; SageMath; VBFlib; MatPack; CrypTool; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

iLoc-Plant

Software Authors:   Wu, Z. -C.; Xiao, X.; Chou, K. -C.
Cited in: 18 Publications (2012–2019)
Related Software: iLoc-Virus; iLoc-Gpos; iLoc-Euk; iLoc-Hum; Cell-PLoc; iLoc-Animal; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SEC-DED

Software Authors:   Penzo, Luca; Sciuto, Donatella; Silvano, Cristina
Cited in: 17 Publications (1976–1998)
Related Software: CACTI; MediaBench
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

McOE

Software Authors:   E. Fleischmann, C. Forler, S. Lucks
Cited in: 17 Publications (2012–2021)
Related Software: ELmD; SKINNY; MCBC; COBRA; Skein Hash; MMH; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

iHyd-PseAAC

Software Authors:   Xu, Y.; Wen, X.; Shao, X.-J.; Deng, N.-Y.; Chou, K.-C.
Cited in: 16 Publications (2015–2019)
Related Software: iMethyl-PseAAC; iRSpot-PseDNC; iNitro-Tyr; iRSpot-TNCPseAAC; Pse-in-One; iSNO-PseAAC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ontop

Software Authors:   Roman Kontchakov; Martin Rezk; Mariano Rodríguez-Muro; Guohui Xiao; Michael Zakharyaschev
Cited in: 13 Publications (2014–2021)
Related Software: MASTRO; SPARQL; LUBM; DBpedia; Datalog; Graal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

iCDI-PseFpt

Software Authors:   Xiao, Xuan; Min, Jian-Liang; Wang, Pu; Chou, Kuo-Chen
Cited in: 15 Publications (2013–2019)
Related Software: iRSpot-PseDNC; iEzy-drug; iSNO-PseAAC; iRSpot-TNCPseAAC; iNuc-PhysChem; iNuc-PseKNC; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

iTIS-PseTNC

Software Authors:   Chen, W.; Feng, P. -M.; Deng, E. -Z.; Lin, H.; Chou, K. -C.
Cited in: 15 Publications (2015–2019)
Related Software: iRSpot-PseDNC; iPro54-PseKNC; iAMP-2L; PseKNC; iNitro-Tyr; iCTX-Type; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

HYPROLOG

Software Authors:   Christiansen, Henning; Dahl, Veronica
Cited in: 14 Publications (2005–2012)
Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

M-TREE

Software Authors:   Lu, Chenghuai; Zhang, Tao; Shi, Weidong; Lee, Hsien-Hsin S.
Cited in: 14 Publications (2005–2021)
Related Software: BISIMULATOR; CADP; Exp.Open; SPIN; LOTOS; CAESAR; …
Main Fields: Computer science (68-XX)

Algorithm 880

Software Authors:   O. A. Marques, C. Vömel, J. W. Demmel, B. N. Parlett
Cited in: 11 Publications (2011–2018)
Related Software: LAPACK; ScaLAPACK; MKL; PLASMA; ELPA; SBR Toolbox; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

MYSTIQ

Software Authors:   Boulos, J.; Dalvi, N. N.; Mandhani, B.; Mathur, S.; Re, C.; Suciu, D.
Cited in: 6 Publications (2007–2021)
Related Software: Trio; ProbView; MayBMS; ProbLog; CLARO; PRMLT; …
Main Fields: Computer science (68-XX)

HSPICE

Software Authors:   Synopsys, Inc
Cited in: 9 Publications (1993–2019)
Related Software: Matlab; SparseRC; CSparse; Ngspice; PT-Scotch; KLU; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

MASTRO

Software Authors:   Calvanese, D., et al.
Cited in: 8 Publications (2018–2021)
Related Software: Ontop; SPARQL; clasp; WASP; LARS; HiLog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NaCl

Software Authors:   Bernstein, Daniel J.; Lange, Tanja; Schwabe, Peter
Cited in: 9 Publications (2012–2021)
Related Software: OpenSSL; JFlow; eBACS; Salsa20; RELIC; Poly1305-AES; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

RRE

Software Authors:   Zonouz, S.; Khurana, H.; Sanders, W.; Yardley, T.
Cited in: 8 Publications (2014–2020)
Related Software: Gurobi; pytbull; Polygraph; Hamsa; Snort; ADEPTS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

iROS-gPseKNC

Software Authors:   Xuan Xiao, Han-Xiao Ye, Zi Liu, Jian-Hua Jia, Kuo-Chen Chou
Cited in: 8 Publications (2016–2019)
Related Software: pSuc-Lys; iCar-PseCp; iPhos-PseEn; iPTM-mLys; iSuc-PseOpt; Pse-in-One; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

iUbiq-Lys

Software Authors:   –
Cited in: 8 Publications (2017–2019)
Related Software: iMethyl-PseAAC; iRNA-PseColl; Pse-in-One; iHyd-PseAAC; iPTM-mLys; iNitro-Tyr; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ToXgene

Software Authors:   Barbosa, D., Mendelzon, A.O., Keenleyside, J., Lyons, K.A.
Cited in: 4 Publications (2011–2019)
Related Software: XMark; Matlab; MUDD; SynTReN; C4.5; BUGS; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Saturnin

Software Authors:   Canteaut, A., et al.
Cited in: 7 Publications (2020–2022)
Related Software: SIMON; tweakey; SKINNY; GIFT; CRAFT; Camellia; …
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Flow Caml

Software Authors:   V. Simonet
Cited in: 5 Publications (2009–2018)
Related Software: Jif; HLIO; Haskell; JFlow; Creol; MS SQL Server; …
Main Fields: Computer science (68-XX)

G23FM

Software Authors:   Mustapha, Hussein
Cited in: 6 Publications (2011–2020)
Related Software: MRST; CDFSIM; PorePy; DistMesh; Matlab; bamg; …
Main Fields: Several complex variables and analytic spaces (32-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GHS3D

Software Authors:   P.L. George
Cited in: 6 Publications (2010–2019)
Related Software: TetGen; CGALmesh; Netgen; CGAL; FreeFem++; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CDOL

Software Authors:   Urban, Susan D.; Karadimce, Anton P.; Dietrich, Suzanne W.; Abdellatif, Taoufik Ben; Chan, Hon Wai Rene
Cited in: 4 Publications (1997–2002)
Related Software:
Main Fields: Computer science (68-XX)

MoFEM

Software Authors:   Kaczmarczyk, Łukasz; Ullah, Zahur; Lewandowski, Karol; Meng, Xuan; Zhou, Xiao-Yi; Athanasiadis, Ignatios; Nguyen, Hoang; Chalons-Mouriesse, Christophe-Alexandre; Richardson, Euan J.; Miur, Euan; Shvarts, Andrei G.; Wakeni, Mebratu; Pearce, Chris J.
Cited in: 4 Publications (2017–2022)
Related Software: PETSc; deal.ii; FreeFem++; FEniCS; UMFPACK; DifferentialEquations.jl; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-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)

OpenORB

Software Authors:   Blair, Gordon S.; Coulson, Geoff; Clarke, Michael; Parlavantzas, Nikos
Cited in: 3 Publications (2001–2008)
Related Software: ABLE; JBoss; AspectJ
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ReVirt

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

ARMor

Software Authors:   Zhao, L., Li, G., Sutter, B.D., Regehr, J.
Cited in: 4 Publications (2013–2020)
Related Software: seL4; HOL; TrABin; HolBA; Cloc; BoogiePL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

eHIP

Software Authors:   Su, Wei-Tsung; Chang, Ko-Ming; Kuo, Yau-Hwang
Cited in: 2 Publications (2007–2008)
Related Software: SPINS
Main Fields: Computer science (68-XX)

Laminar

Software Authors:   Roy I, Porter DE, Bond MD, McKinley KS, Witchel E
Cited in: 4 Publications (2017–2022)
Related Software: JFlow; JRIF; Jif; Paragon; Merlin; SGX; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-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)

MSC.DYTRAN

Software Authors:   MSC Software Corporation
Cited in: 4 Publications (2009–2012)
Related Software: ABAQUS; Mathematica
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Aeon

Software Authors:   Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David
Cited in: 3 Publications (2020–2022)
Related Software: Ginsim; ATLANTIS; Cytoscape.js; PyBoolNet; ASSA-PBN; BioModelAnalyzer; …
Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

PIPESIM

Software Authors:   Schlumberger Limited
Cited in: 2 Publications (2015–2020)
Related Software: IHS Harmony; Julia; PROSPER; Gadfly; PressureDrop.jl; WinTran; …
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX); Geophysics (86-XX)

PIROL

Software Authors:   Herrmann, Stephan
Cited in: 3 Publications (2002–2003)
Related Software: AspectJ; ArchJava
Main Fields: Computer science (68-XX)

VC3

Software Authors:   Schuster F, Costa M, Fournet C, Gkantsidis C, Peinado M, Mainar-Ruiz G, Russinovich M
Cited in: 3 Publications (2017–2020)
Related Software: Apache Spark; Laminar; Merlin; SGX; Privtrans; F*; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

assertive

Software Authors:   Richard Cotton
Cited in: 0 Publications
Related Software: dplyr; assertr; data.table; R; haven; tidyr; …
Main Fields:

HDL Coder

Software Authors:   MathWorks
Cited in: 1 Publication (2015)
Related Software: Simulink; Matlab; OOQP; fast_mpc; Xilinx; CVXGEN; …
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

MAGERIT

Software Authors:   –
Cited in: 1 Publication (2013)
Related Software: OCTAVE; STORM-RM; CRAMM; S-PORT
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MARISM-A

Software Authors:   Robles, Sergi; Mir, Joan; Ametller, Joan; Borrell, Joan
Cited in: 2 Publications (2002)
Related Software:
Main Fields: Computer science (68-XX)

pybliometrics

Software Authors:   Michael E.Rose; John R.Kitchin
Cited in: 0 Publications
Related Software: NetworkX; Seaborn; Python; Matplotlib; pyvis; Tethne; …
Main Fields:

SCTP

Software Authors:   Lindskog, Stefan; Brunstrom, Anna
Cited in: 0 Publications
Related Software:
Main Fields:

SeLINQ

Software Authors:   Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei
Cited in: 2 Publications (2014–2017)
Related Software: Ur/Web; K Prover; Links; JSLINQ; F*; KJS; …
Main Fields: Computer science (68-XX)

SPARK95

Software Authors:   Lin, Tse-Min; McDermid, John A.
Cited in: 2 Publications (2002–2003)
Related Software:
Main Fields: Computer science (68-XX)

AdJail

Software Authors:   Ter Louw, M.; Ganesh, K.; Venkatakrishnan, V., Adjail
Cited in: 1 Publication (2013)
Related Software: ADsafety; SessionShield; ConScript; Mashic; Gulfstream; Zaphod; …
Main Fields: Computer science (68-XX)

Ann

Software Authors:   Irene Córdoba, Juan de Lara
Cited in: 1 Publication (2021)
Related Software: Melange; Melanee; MetaDepth; FAMILIAR; Neverlang; MontiCore
Main Fields: Computer science (68-XX)

ARTDroid

Software Authors:   V. Costamagna; C. Zheng
Cited in: 0 Publications
Related Software: AppTrace; MADAM; Boxify; Frida; ARTist; Tracee; …
Main Fields:

COFFE

Software Authors:   Tjuawinata, Ivan; Huang, Tao; Wu, Hongjun
Cited in: 1 Publication (2016)
Related Software: ELmD
Main Fields: Information and communication theory, circuits (94-XX)

dcfldd

Software Authors:   Nicholas Harbour
Cited in: 0 Publications
Related Software: MemParser; TCPDUMP; Forensically; Sleuth Kit Autopsy; DETER
Main Fields:

Deepchecks

Software Authors:   Shir Chorev, Philip Tannor, Dan Ben Israel, Noam Bressler, Itay Gabbay, Nir Hutnik, Jonatan Liberman, Matan Perlmutter, Yurii Romanyshyn, Lior Rokach
Cited in: 0 Publications
Related Software: TorchDrift; Alibi Detect; Eurybia; Scikit; NannyML; River; …
Main Fields:

DNSCurve

Software Authors:   Bernstein, D.J.
Cited in: 1 Publication (2015)
Related Software: OpenSSL; NaCl; RELIC; eBACS; gmp
Main Fields: Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

FEACrack

Software Authors:   Quest Integrity Group, LLC
Cited in: 1 Publication (2014)
Related Software: Cast3M; Zencrack; NASGRO; CGAL
Main Fields: Mechanics of deformable solids (74-XX)

FSMT

Software Authors:   Duan, W.; Zhou, J.; Lai, K.
Cited in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

GCAP

Software Authors:   Diaz, Michel; Canonico, Roberto; Costa, Luis; Fdida, Serge; Hutchison, David; Mathy, Laurent; Meissner, Andreas; Owezarski, Stephane; Vida, Rolland; Wolf, Lars
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

GEPCLASS

Software Authors:   Wagner R. Weinert, Heitor S. Lopes
Cited in: 1 Publication (2012)
Related Software: Fuzzy ARTMAP
Main Fields: Computer science (68-XX)

GLOBALG.A.P.

Software Authors:   globalgap.org
Cited in: 1 Publication (2018)
Related Software: OpenStreetMap
Main Fields: Operations research, mathematical programming (90-XX)

HAL

Software Authors:   Martin Zuber; Dario Fiore
Cited in: 1 Publication (2020)
Related Software: GitHub; Pinocchio
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

HRV

Software Authors:   Rhenan Bartels; Tiago Peçanha
Cited in: 0 Publications
Related Software: RHRV; NumPy; SciPy; Matplotlib; pyHRV; Spectrum; …
Main Fields:

Insure++

Software Authors:   Parasoft
Cited in: 1 Publication (2005)
Related Software: Valgrind; GDB; CCured; Cyclone
Main Fields: Computer science (68-XX)

KATARA

Software Authors:   Chu, X.; Morcos, J.; Ilyas, I. F.; Ouzzani, M.; Papotti, P.; Tang, N.; Ye, Y.
Cited in: 1 Publication (2021)
Related Software: AlexNet; TPOT; OpenML; SMAC; Tunability; Hyperband; …
Main Fields: Computer science (68-XX)

LMS Virtual.Lab

Software Authors:   LMS International
Cited in: 1 Publication (2007)
Related Software: Relax NG; Libxml2; EDMdeveloperSeat; ECCO Toolkit; JSDAI; ST-Developer; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)

MapX

Software Authors:   Pierre Lacroix; Frédéric Moser; Antonio Benvenuti; Thomas Piller; David Jensen; Inga Petersen; Marion Planque; Nicolas Ray
Cited in: 0 Publications
Related Software: Node.js; WebGL; R; shiny; Turf.js; PostGIS; …
Main Fields:

Mashic

Software Authors:   Luo, Z.; Rezk, T.
Cited in: 1 Publication (2013)
Related Software: AdJail; ADsafety; SessionShield; ConScript; Gulfstream; Zaphod; …
Main Fields: Computer science (68-XX)

MAWS

Software Authors:   Artail, Hassan; Kahale, Elie
Cited in: 1 Publication (2006)
Related Software: Voyager; Concordia; Aglets
Main Fields: Computer science (68-XX)

MDSINE

Software Authors:   Bucci, V., B. Tzen, et al.
Cited in: 1 Publication (2018)
Related Software: robCompositions; NeatMap; betapart; INMEX; HMP; MetamicrobiomeR; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Panoply

Software Authors:   Shweta Shinde; Dat Le Tien; Shruti Tople; Prateek Saxena
Cited in: 1 Publication (2018)
Related Software: MiniBox; Ryoan; VeriCount; Docker
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

SAS4A

Software Authors:   J. E. Cahalan et al.
Cited in: 1 Publication (2012)
Related Software: Rapsodia; OpenAD/F
Main Fields: Numerical analysis (65-XX)

SAVANT

Software Authors:   D. Ó Coileáin, D. O’Mahony
Cited in: 0 Publications
Related Software: NDN.JS; ChronoChat; GitHub
Main Fields:

SecVisor

Software Authors:   Seshadri, A., Luk, M., Qu, N., Perrig, A.
Cited in: 0 Publications
Related Software: CloudSec; ReVirt; RSYSLOG; Tuxkit
Main Fields: Computer science (68-XX)

sHMQV

Software Authors:   Zhao, Shijun; Zhang, Qianying
Cited in: 1 Publication (2015)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

SHWMP

Software Authors:   Islam, Md.Shariful; Hamid, Md.Abdul; Hong, Choong Seon
Cited in: 0 Publications
Related Software:
Main Fields:

SignalIntegrity

Software Authors:   Pupalaikis, Peter J.
Cited in: 1 Publication (2020)
Related Software: Python
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

snpQC

Software Authors:   Cedric Gondro; Laercio R Porto‐Neto; Seung Hwan Lee
Cited in: 1 Publication (2015)
Related Software: ShortRead; rehh; RGraphics; Rcpp; pegas; faraway; …
Main Fields: Biology and other natural sciences (92-XX)

SPARK Pro

Software Authors:   AdaCore
Cited in: 1 Publication (2014)
Related Software: MiniSat; STP; CIL; EXPLODE; Klockwork; CodeSonar; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)

VMGuard

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

W3Bcrypt

Software Authors:   Stavrou, Angelos; Locasto, Michael E.; Keromytis, Angelos D.
Cited in: 1 Publication (2006)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

WEP

Software Authors:   M. D’Antonio, P. D. De Meo, D. Paoletti, B. Elmi, M. Pallocca, N. Sanna, E. Picardi, G. Pesole, and T. Castrignanò
Cited in: 0 Publications
Related Software: Taverna; Docker; GATK; SciPhy; RAxML; Swift; …
Main Fields:

ADAT

Software Authors:   James, D.A.; Wixted, A.
Cited in: 0 Publications
Related Software:
Main Fields:

CondLP

Software Authors:   M. G. M. Oliveira, Claudia
Cited in: 0 Publications
Related Software:
Main Fields:

SNOW 3G

Software Authors:   Molina-Gil, J.; Caballero-Gil, P.; Caballero-Gil, C.; F'uster-Sabater, A.
Cited in: 0 Publications
Related Software:
Main Fields:

Taintscope

Software Authors:   Wang T, Wei T, Gu G, Zou W
Cited in: 0 Publications
Related Software:
Main Fields: