×

Found 194 Software Packages (Results 1–100)

CUDA

Software Authors:   NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P.
Referenced in: 1,069 Publications (2007–2023)
Related Software: OpenCL; CUBLAS; Matlab; CUSPARSE; Thrust; MPI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Wasserstein GAN

Software Authors:   Martin Arjovsky, Soumith Chintala, Léon Bottou
Referenced in: 170 Publications (2018–2022)
Related Software: Adam; pix2pix; CycleGAN; TensorFlow; ImageNet; AlexNet; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

COIN-OR

Software Authors:   http://www.coin-or.org/members.html
Referenced in: 105 Publications (2004–2022)
Related Software: CPLEX; SCIP; Ipopt; MIPLIB; Gurobi; BARON; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Visual C++

Software Authors:   Microsoft
Referenced in: 83 Publications (1993–2021)
Related Software: Visual Basic; OpenGL; VisualStudio.NET; Matlab; BabelFish; STRONgrid; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CADNA

Software Authors:   Fabienne Jézéquel, Jean-Marie Chesneaux
Referenced in: 46 Publications (1993–2022)
Related Software: mctoolbox; INTLAB; MPFR; SAM; filib++; TELEMAC; …
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Integral equations (45-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Referenced in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Eraser

Software Authors:   Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.
Referenced in: 36 Publications (2000–2021)
Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; SPIN; …
Main Fields: Computer science (68-XX)

JADE

Software Authors:   JADE Team
Referenced in: 19 Publications (2002–2022)
Related Software: Jadex; Jason; AgentSpeak; 2APL; METATEM; CArtAgO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Bogor

Software Authors:   Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew
Referenced in: 27 Publications (2003–2014)
Related Software: SPIN; Bandera; veriSoft; Java PathFinder; dSPIN; Zing; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Alloy

Software Authors:   Jackson, Daniel
Referenced in: 22 Publications (2001–2020)
Related Software: Alcoa; SPIN; Z; Mace4; Z/EVES; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BLISS

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

ATL

Software Authors:   Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan
Referenced in: 11 Publications (2008–2021)
Related Software: HOL-OCL; Maude; UML2Alloy; Henshin; AGG; VIATRA2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Freja

Software Authors:   Chitil, Olaf; Runciman, Colin; Wallace, Malcolm
Referenced in: 15 Publications (2001–2012)
Related Software: Hood; Hat; Haskell; TOY; Web-TLR; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PERUSE

Software Authors:   Kurator, William G.; O'Neill, Richard P.
Referenced in: 17 Publications (1980–2021)
Related Software: SCS; CVXPY; MProbe; CPLEX; Gurobi; AMPL; …
Main Fields: Partial differential equations (35-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)

PGAPack

Software Authors:   David Levine
Referenced in: 15 Publications (1998–2010)
Related Software: MALLBA; ASA; minpack; GEATbx; OR-Library; TSPLIB; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

WoLFram

Software Authors:   Sülflow, André
Referenced in: 16 Publications (2010–2022)
Related Software: R; KLEE; z3; Yices; Daikon; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

ASPIDE

Software Authors:   Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco
Referenced in: 12 Publications (2012–2021)
Related Software: SeaLion; Kara; APE; WASP; Potassco; spock; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DDebugger

Software Authors:   Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
Referenced in: 11 Publications (2009–2017)
Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Dlib-ml

Software Authors:   Davis E. King
Referenced in: 13 Publications (2014–2022)
Related Software: Python; Scikit; PyTorch; NLTK; CRFsuite; pystruct; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Fluid mechanics (76-XX)

NetLogger

Software Authors:   Gunter, D., Tierney, B., Crowley, B., Holding, M., Lee, J.
Referenced in: 10 Publications (2001–2012)
Related Software: CrossGrid; Java CoG Kit; ASP.NET; BlobSeer; MonALISA; SpecExplorer; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CCSP

Software Authors:   Arrowsmith, Beth; McMillin, Bruce
Referenced in: 13 Publications (1993–2010)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

GKLEE

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

PLAN

Software Authors:   Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
Referenced in: 9 Publications (1997–2005)
Related Software: Guava; AtomCaml; Atomizer; OCaml; Maude; Atropos; …
Main Fields: Computer science (68-XX)

CauDEr

Software Authors:   Lanese, I., Nishida, N., Palacios, A., Vidal, G.
Referenced in: 11 Publications (2018–2021)
Related Software: Erlang; reverCSP; Graphviz; GitHub; QuickCheck; Transactors
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

ANNA

Software Authors:   Luckham, David
Referenced in: 8 Publications (1986–2007)
Related Software: Ada95; Spec#; JML; Eiffel; SPARK; LARCH; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Blaise

Software Authors:   Keith Bonawitz, Vikash Mansinghka, Beau Cronin
Referenced in: 10 Publications (2009–2022)
Related Software: bnsoft; Infer.NET; R; SemiPar; KernSmooth; PRMLT; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Goldilocks

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

SWITCH

Software Authors:   Shalyto, A.A.
Referenced in: 10 Publications (1998–2009)
Related Software: UniMod
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TotalView

Software Authors:   Rogue Wave Software, Inc.
Referenced in: 6 Publications (2000–2022)
Related Software: C-DVM; MARMOT; Guard; Mrnet; DMPL; WIEN97; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CodeSurfer

Software Authors:   GrammaTech
Referenced in: 5 Publications (2005–2012)
Related Software: CBMC; PMD; PQL; Checkstyle; MOPS; FLAVERS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DiSCiPl

Software Authors:   –
Referenced in: 7 Publications (2007–2016)
Related Software: COMET; Oz Explorer; VIFID/TRIFID; CHIP; CHUFFED; SATGraf; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

IC2D

Software Authors:   Baude, Françoise; Bergel, Alexandre; Caromel, Denis; Huet, Fabrice; Nano,Olivier; Vayssière, Julien
Referenced in: 5 Publications (2001–2015)
Related Software: ProActive; AmbientTalk; JCobox; Kilim; Erlang; FloMASTER; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

SOBER

Software Authors:   Liu C, Yan X, Fei L, Han J, Midkiff SP
Referenced in: 3 Publications (2008–2018)
Related Software: VIDA; Zoltar; Falcon; ADABU; Daikon; Eclat; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Dytan

Software Authors:   Clause, J., Li, W., Orso, A.
Referenced in: 5 Publications (2013–2021)
Related Software: TAJ; TaintDroid; FlowDroid; F4F; Pixy; Panorama; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GPAW

Software Authors:   J. Enkovaara, N. A. Romero, S. Shende, J. J. Mortensen
Referenced in: 1 Publication (2016)
Related Software: Python; ASE; NumPy; ABINIT; LAMMPS; Scikit; …
Main Fields: Fluid mechanics (76-XX)

RuleBender

Software Authors:   Xu, W., Smith, A. M., Faeder, J. R., Marai, G. E.
Referenced in: 5 Publications (2015–2021)
Related Software: BioNetGen; GROOVE; MOSBIE; Tulip; PORGY; Dask; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

XASM

Software Authors:   Matthias Anlauff
Referenced in: 6 Publications (2000–2021)
Related Software: AsmL; K Prover; Simula 67; OTSL; GReAT; GME; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BEACON

Software Authors:   Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
Referenced in: 6 Publications (2016–2021)
Related Software: EL2MCS; ELK; HgMUS; Just; CEL; Ltur; …
Main Fields: Computer science (68-XX)

CHESS

Software Authors:   Musuvathi M, Qadeer S, Ball T
Referenced in: 5 Publications (2008–2021)
Related Software: veriSoft; Eraser; AVIO; RacerX; CIL; BIDE; …
Main Fields: Computer science (68-XX)

ContentCVS

Software Authors:   E. Jiménez-Ruiz , B. Cuenca Grau , I. Horrocks , R. Berlanga
Referenced in: 5 Publications (2014–2019)
Related Software: Ontop; CEX; MASTRO; PAGOdA; MWB
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ConTest

Software Authors:   Edelstein, Orit; Farchi, Eitan; Goldin, Evgeny; Nir, Yarden; Ratsaby, Gil; Ur, Shmuel
Referenced in: 5 Publications (2003–2018)
Related Software: veriSoft; Eraser; Java PathFinder; ISP; Snugglebug; Boogie; …
Main Fields: Computer science (68-XX)

Kinetic Framework

Software Authors:   Daniel Russel
Referenced in: 6 Publications (2004–2011)
Related Software: ISOLATE; SYNAPS; EXACUS; LEDA; na10; na20; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

MPI-CHECK

Software Authors:   Luecke, Glenn; Chen, Hua; Coyle, James; Hoekstra, Jim; Kraeva, Marina; Zou, Yan
Referenced in: 6 Publications (2002–2018)
Related Software: NAS Parallel Benchmarks; MARMOT; SimGridMC; KITTeL; ASTREE; SIMGRID; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

SemFix

Software Authors:   Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , Satish Chandra
Referenced in: 3 Publications (2017–2022)
Related Software: Prophet; Angelix; TAJ; FlashMeta; FlowDroid; FlashExtract; …
Main Fields: Computer science (68-XX)

spock

Software Authors:   Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.
Referenced in: 4 Publications (2008–2020)
Related Software: Gringo; ASPIDE; SeaLion; Lparse; APE; WASP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

TeaBag

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

XMLSpy

Software Authors:   Altova
Referenced in: 3 Publications (2005–2016)
Related Software: OSiL; GAMS; AMPL; NETGEN; MINOS; SMPS reader; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASM Workbench

Software Authors:   Del Castillo, Giuseppe
Referenced in: 5 Publications (2000–2012)
Related Software: SPIN; CoreASM; GROOVE; vUML; Bandera; PROMELA; …
Main Fields: Computer science (68-XX)

Chianti

Software Authors:   Ren, X.; Ryder, B.G.; Störzer, M.; Tip, F.
Referenced in: 2 Publications (2010–2011)
Related Software: FAMIX; JML; Bandera; Soot; UMLDiff
Main Fields: Computer science (68-XX)

CLPGUI

Software Authors:   Fages, F., Soliman, S., Coolen, R.
Referenced in: 3 Publications (2009–2016)
Related Software: Petriweb; BioModels; Metatool; Prolog; Whelp; APT; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

HBC

Software Authors:   Daumé III H
Referenced in: 2 Publications (2013–2014)
Related Software: R; JAGS; WinBUGS; Infer.NET; CODA; PyMC; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

HgMUS

Software Authors:   Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao
Referenced in: 5 Publications (2015–2019)
Related Software: BEACON; CEL; EL2MCS; Ltur; ELK; Just; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

PROTEUS

Software Authors:   Brewer EA, Dellarocas CN, Colbrook A, Weihl WE
Referenced in: 5 Publications (1992–2001)
Related Software:
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

Anteater

Software Authors:   Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, P., King, S.T.
Referenced in: 4 Publications (2013–2021)
Related Software: VeriCon; Kuai; VeriFlow; NetKAT; LoLA; ABS; …
Main Fields: Computer science (68-XX)

ASPVIZ

Software Authors:   Cliffe, O., De Vos, M., Brain, M., Padget, J
Referenced in: 2 Publications (2012–2019)
Related Software: Kara; ASPIDE; APE; SeaLion; iGROM; OntoDLV; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

BadNets

Software Authors:   Tianyu Gu, Brendan Dolan-Gavitt, Siddharth Garg
Referenced in: 2 Publications (2019–2022)
Related Software: Model Zoo; ImageNet; Advbox; ART; Februus; TrojAI; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)

Captum

Software Authors:   Narine Kokhlikyan, Vivek Miglani, Miguel Martin, Edward Wang, Bilal Alsallakh, Jonathan Reynolds, Alexander Melnikov, Natalia Kliushkina, Carlos Araya, Siqi Yan, Orion Reblitz-Richardson
Referenced in: 2 Publications (2020–2021)
Related Software: PyTorch; InterpretML; Python; Alibi Explain; iNNvestigate; Alibi; …
Main Fields: Computer science (68-XX)

DynaMine

Software Authors:   Livshits, B., Zimmermann, T.
Referenced in: 0 Publications
Related Software: SABER; PQL; Freebase; code2seq; YAGO; DBpedia; …
Main Fields:

GenProg

Software Authors:   Goues, C; Nguyen, T; Forrest, S; Weimer, W,
Referenced in: 3 Publications (2018–2020)
Related Software: EASEA; Gen-O-Fix; Djinn; Apache Spark; Agda; Hadoop; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Graft

Software Authors:   Salihoglu, S., Shin, J., Khanna, V., Truong, B.Q., Widom, J.
Referenced in: 4 Publications (2007–2020)
Related Software: Giraph; Pregel; HOGWILD; MathOverflow; ThermalPlot; HAMA; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

JaVis

Software Authors:   Mehner, Katharina
Referenced in: 4 Publications (1996–2010)
Related Software: JAVAVIS
Main Fields: History and biography (01-XX); Number theory (11-XX); Associative rings and algebras (16-XX)

jMocha

Software Authors:   Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.; Thomas, A.; Kang, M.; Kirsch, C.; Majumdar, R.; Mang, F.; Wang, B. -Y.
Referenced in: 4 Publications (2008–2021)
Related Software: MOCHA; MCMAS; MCMAS-SLK; VerICS; MCK; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MathLang

Software Authors:   Kamareddine, F., Maarek, M., Wells, J.
Referenced in: 4 Publications (2004–2008)
Related Software: Mizar; Automath; XPath; XQuery; TeXmacs; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

OrCAD PSpice

Software Authors:   Informer Technologies, Inc.
Referenced in: 4 Publications (2010–2018)
Related Software: Matlab; SPICE; Sprott's Software; PSpice
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Systems theory; control (93-XX)

RefactorErl

Software Authors:   Eötvös Loránd University, ​Budapest
Referenced in: 3 Publications (2008–2013)
Related Software: Erlang
Main Fields: Computer science (68-XX)

ReproBLAS

Software Authors:   P. Ahrens, H.D. Nguyen, J. Demmel
Referenced in: 4 Publications (2020–2022)
Related Software: mctoolbox; MPFR; AccSumK; PAccSumK; Matlab; Arb; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

SANTE

Software Authors:   Chebaro, Omar; Kosmatov, Nikolai; Giorgetti, Alain; Julliand, Jacques
Referenced in: 1 Publication (2018)
Related Software: Frama-C; PathCrawler; Coq; CUTE; DyTa; CIL; …
Main Fields: Computer science (68-XX)

SLANG

Software Authors:   Thames, J.M.
Referenced in: 3 Publications (1974–2018)
Related Software: PROSE; PADRE2; ADOL-C; FortranCalculus; RMSprop; Tangent; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Spyder

Software Authors:   –
Referenced in: 4 Publications (2017–2020)
Related Software: Python; SciPy; Anaconda; IPython; Matplotlib; NumPy; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

TensorFuzz

Software Authors:   Augustus Odena, Ian Goodfellow
Referenced in: 2 Publications (2020–2021)
Related Software: DeepXplore; DeepGauge; DLFuzz; DeepMutation; Adam; Python; …
Main Fields: Computer science (68-XX)

VIDA

Software Authors:   D. Hao, L. Zhang, T. Xie, H. Mei, J. S. Sun
Referenced in: 0 Publications
Related Software: SOBER; Crisp; pytest; coverage.py; Fault-Localization; PinPoint; …
Main Fields:

VisualDOC

Software Authors:   Vanderplaats R&D, Inc.
Referenced in: 4 Publications (2005–2011)
Related Software: DOT; ABAQUS/Standard; GENESIS
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Zoltar

Software Authors:   Tom Janssen, Rui Abreu, Arjan J. C. van Gemund
Referenced in: 0 Publications
Related Software: SOBER; Crisp; pytest; coverage.py; Fault-Localization; PinPoint; …
Main Fields:

Adimen-SUMO

Software Authors:   Alvez J., Lucio P., Rigau G
Referenced in: 2 Publications (2015–2019)
Related Software: KNEWS; YAGO; BabelNet; WordNet; ConceptNet Numberbatch; ConceptNet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BVD

Software Authors:   Le Goues, Claire; Leino, K.Rustan M.; Moskal, Michał
Referenced in: 2 Publications (2015–2018)
Related Software: Boogie; VCC; z3; WhyML; VeriFast; Caduceus; …
Main Fields: Computer science (68-XX)

CAPLib

Software Authors:   Leggett, P.F.; Johnson, S.P.; Cross, M.
Referenced in: 3 Publications (2000–2006)
Related Software: CAPTools; MatWeb; SHMEM; SAUNA; JOSTLE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

FocusCheck

Software Authors:   Keller, Curtis W.; Saha, Diptikalyan; Basu, Samik; Smolka, Scott A.
Referenced in: 2 Publications (2005–2006)
Related Software: SatAbs; Oz; DiVer; CIL; MOPS; CBMC; …
Main Fields: Computer science (68-XX)

Julienne

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel
Referenced in: 2 Publications (2015)
Related Software: Maude; Anima; ChC 3; Web-TLR; DDebugger; iJulienne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Kima

Software Authors:   Yasuhiro Ajiro, Kazunori Ueda
Referenced in: 3 Publications (2002–2010)
Related Software: GHC; DiSCiPl; TOY; Kernel-LEAF; Curry; TeaBag; …
Main Fields: Computer science (68-XX)

Looper

Software Authors:   Burnim J, Jalbert N, Stergiou C, Sen K
Referenced in: 3 Publications (2016–2018)
Related Software: z3; Snugglebug; Boogie; DART; Con2colic; STP; …
Main Fields: Computer science (68-XX)

SPiDER

Software Authors:   Fahringer, T.; Sowa-Piekło, K.; Czerwiński, P.; Brezany, P.; Bubak, M.; Koppler, R.; Wismüller, R.
Referenced in: 3 Publications (2001–2002)
Related Software: WIEN97; CUMULVS; DAQV; TotalView
Main Fields: Computer science (68-XX)

SWILL

Software Authors:   Sotiria Lampoudi; David M. Beazley
Referenced in: 1 Publication (2010)
Related Software: CScout; SQLite; Hibernate; pico ql; ScalaQL; Dremel; …
Main Fields: Computer science (68-XX)

WhyLine

Software Authors:   Ko, A.J., Myers, B.A
Referenced in: 2 Publications (2006–2018)
Related Software: Crisp; pytest; coverage.py; Fault-Localization; PinPoint; Jaguar; …
Main Fields: Computer science (68-XX)

Bogart

Software Authors:   Feldman, Yishai A.; Friedman, Doron A.
Referenced in: 2 Publications (1999–2010)
Related Software: FermaT; Consit; Mandrake; IBM BAL; COBOL
Main Fields: Computer science (68-XX)

BPEL4WS

Software Authors:   Zhong Jie Li; Wei Sun; Bin Du
Referenced in: 0 Publications
Related Software: muJava
Main Fields:

BPGen

Software Authors:   Zhang, C., Yan, D., Zhao, J., Chen, Y., Yang, S.
Referenced in: 2 Publications (2016)
Related Software: Python; Bottle; TreatJS; PyBlame; Contract; Gopherlyzer; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

CAITLIN

Software Authors:   P. Vickers; J. L. Alty
Referenced in: 2 Publications (2002)
Related Software: FAUST; Tango; ANIMAL; Pavane; JOTSA; MUSE; …
Main Fields: Computer science (68-XX)

CajunBot

Software Authors:   Lakhotia, Arun; Golconda, Suresh; Maida, Anthony; Mejia, Pablo; Puntambeker, Amit; Seetharaman, Guna; Wilson, Scott
Referenced in: 1 Publication (2006)
Related Software: GAZEBO
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)

DMPL

Software Authors:   James Cownie, John DelSignore Jr., Bronis R. de Supinski, Karen Warren Pages
Referenced in: 2 Publications (2001–2003)
Related Software: TotalView
Main Fields: Computer science (68-XX)

ELI5

Software Authors:   M. Korobov; K. Lopuhin
Referenced in: 1 Publication (2020)
Related Software: H2O; InterpretML; DALEX; modelStudio; AI Explainability 360; forestmodel; …
Main Fields: Computer science (68-XX)

erlyberly

Software Authors:   A. Till
Referenced in: 1 Publication (2018)
Related Software: PropEr; CutEr; redbug; Erlang; SecEr; TypEr; …
Main Fields: Computer science (68-XX)

EXAMINER

Software Authors:   GAMS
Referenced in: 2 Publications (2014–2018)
Related Software: MINLPLib; GAMS; GLOBALLib; SCIP; CMU-IBM; IBMLib; …
Main Fields: Operations research, mathematical programming (90-XX)

Guard

Software Authors:   Abramson, D.; Watson, G.; Dung, L. P.
Referenced in: 2 Publications (2002–2017)
Related Software: TotalView; MARMOT; C-DVM; VisualStudio.NET
Main Fields: Computer science (68-XX)

GZoltar

Software Authors:   Campos, A. Riboira, A. Perez, R. Abreu
Referenced in: 0 Publications
Related Software: Crisp; pytest; coverage.py; Fault-Localization; PinPoint; Jaguar; …
Main Fields:

Llun

Software Authors:   Glass, S.; Ince, D.; Fergus, E.
Referenced in: 1 Publication (2001)
Related Software: Tapestry; WebSphere; YACC
Main Fields: Computer science (68-XX)

lumberjack

Software Authors:   Mark van der Loo
Referenced in: 0 Publications
Related Software: R; log4r; dlstats; Python; futile.logger; loggit; …
Main Fields:

MultiRace

Software Authors:   Eli Pozniansky, Assaf Schuster
Referenced in: 1 Publication (2017)
Related Software: ThreadSanitizer; CDSChecker; ktsan; tsan; RELAY; LOCKSMITH; …
Main Fields: Computer science (68-XX)

OntoDebug

Software Authors:   Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang
Referenced in: 2 Publications (2018–2022)
Related Software: MERGEXPLAIN; Protege; Pellet; QUICKXPLAIN; ELK; HermiT; …
Main Fields: Computer science (68-XX)

ORE

Software Authors:   Lehmann, J., Bühmann, L.
Referenced in: 1 Publication (2018)
Related Software: MERGEXPLAIN; OntoDebug; Swoop; Protege; Pellet
Main Fields: Computer science (68-XX)

Pyre

Software Authors:   Michael Aivazis, Jiao Lin, Mike McKerns, Brandon Keith, et al.
Referenced in: 0 Publications
Related Software: Python; Matlab; SymPy; OpenOpt; SciPy; DAKOTA; …
Main Fields: