×

Found 183 Software Packages (Results 1–100)

PPL

Cited in 108 Documents (2002–2023)
Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Related Software: HyTech; Apron; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

HOGWILD

Cited in 78 Documents (2012–2023)
Software Authors: Feng Niu, Benjamin Recht, Christopher Re, Stephen J. Wright
Related Software: ARock; Saga; ImageNet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

GloMoSim

Cited in 37 Documents (2001–2015)
Software Authors: Xiang Zeng; Rajive Bagrodia; Mario Gerla
Related Software: Parsec; ns-2; OMNet++; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …

COWS

Cited in 46 Documents (2007–2020)
Software Authors: Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
Related Software: SPIN; CC-Pi; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Eraser

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

GHC

Cited in 36 Documents (1986–2014)
Software Authors: Ueda, Kazunori
Related Software: PARLOG; Kima; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …

SMIL

Cited in 10 Documents (2001–2016)
Software Authors: W3.org
Related Software: XPath; Lua; SPARQL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)

ARock

Cited in 40 Documents (2016–2023)
Software Authors: Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao
Related Software: HOGWILD; LIBSVM; Saga; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ABS

Cited in 32 Documents (2012–2022)
Software Authors: Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Related Software: JCobox; SACO; Erlang; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

NEST

Cited in 21 Documents (2008–2022)
Software Authors: Gewaltig, MO; Diesmann, M.
Related Software: NEURON; Pynn; Brian; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CoArray

Cited in 21 Documents (2002–2022)
Software Authors: Numrich, Robert W.; Reid, John
Related Software: Chapel; NAS Parallel Benchmarks; ARMCI; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BETA

Cited in 22 Documents (1985–2016)
Software Authors: Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Related Software: Eiffel; Simula 67; Smalltalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

Hypertool

Cited in 17 Documents (2007–2019)
Software Authors: Wu M.Y., Gajski D.D.
Related Software: Condor-G; STG; Noodle; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Creol

Cited in 25 Documents (2006–2022)
Software Authors: Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Related Software: Featherweight Java; ABCL; Maude; …
Main Fields: Computer science (68-XX)

JoCaml

Cited in 26 Documents (2000–2022)
Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Related Software: Pict; OCaml; PiDuce; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PARSEC

Cited in 7 Documents (2010–2021)
Software Authors: Bienia, C.; Kumar, S.; Singh, J. P.; Li, K.
Related Software: SPLASH-2; ALPBench; LLVM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …

SE-Sync

Cited in 21 Documents (2018–2023)
Software Authors: David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard
Related Software: SDPLR; SDPT3; Manopt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Renew

Cited in 16 Documents (2004–2022)
Software Authors: Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
Related Software: libDDD; Maude; LoLA; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

COMPAS

Cited in 14 Documents (1990–2021)
Software Authors: Chmiel, Krzysztof; Roman, Adam
Related Software: TESTAS; PATRICIA; Boost; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Scalasca

Cited in 9 Documents (2011–2021)
Software Authors: M. Geimer, F. Wolf, B.J.N. Wylie, E. Ábrahám, D. Becker, B. Mohr
Related Software: TAU; HPCTOOLKIT; MPI; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Exp.Open

Cited in 12 Documents (2006–2023)
Software Authors: Frédéric Lang
Related Software: CADP; CAESAR_SOLVE; M-TREE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

VeriCool

Cited in 10 Documents (2009–2022)
Software Authors: Smans, J., Jacobs, B., Piessens, F.
Related Software: Boogie; VeriFast; VCC; …
Main Fields: Computer science (68-XX)

Chipwhisperer

Cited in 10 Documents (2014–2023)
Software Authors: O’Flynn, Colin; Chen, Zhizhang
Related Software: GitHub; PQM4; McEliece; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-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)

DSCOVR

Cited in 8 Documents (2019–2023)
Software Authors: Xiao, Lin; Yu, Adams Wei; Lin, Qihang; Chen, Weizhu
Related Software: HOGWILD; Saga; DiSCO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

HYPERS

Cited in 8 Documents (2012–2024)
Software Authors: Omelchenko, Y.A.; Karimabadi, H.
Related Software: GitHub; HPX; Gurobi; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

NESToolbox

Cited in 8 Documents (2014–2023)
Software Authors: Kira Rehfeld, Bedartha Goswami
Related Software: PearsonT; FINUFFT; Chebfun; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PKind

Cited in 8 Documents (2013–2020)
Software Authors: Kahsai T, Tinelli C
Related Software: SeaHorn; CTIGAR; CPAchecker; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PROCOL

Cited in 7 Documents (1991–2002)
Software Authors: van den Bos, Jan; Laffa, Chris
Related Software: AspectJ; PICCOLA; JAsCo; …
Main Fields: Computer science (68-XX)

Rodinia

Cited in 5 Documents (2014–2022)
Software Authors: Che, S., et al.
Related Software: CUDA; GPUVerify; GKLEE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SingleTrack

Cited in 6 Documents (2009–2017)
Software Authors: Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan
Related Software: Atomizer; Velodrome; Soot; …
Main Fields: Computer science (68-XX)

SyncGen

Cited in 7 Documents (2004–2016)
Software Authors: Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki
Related Software: Bandera; ESC/Java; PVS; …
Main Fields: Computer science (68-XX)

yaSpMV

Cited in 7 Documents (2016–2020)
Software Authors: S. Yan, Ch. Li, Y. Zhang, H. Zhou
Related Software: SparseMatrix; clSpMV; CUDA; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BlockStab

Cited in 6 Documents (2022–2023)
Software Authors: Carson, Erin; Lund, Kathryn; Rozložník, Miroslav; Thomas, Stephen
Related Software: SparseMatrix; mctoolbox; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Checkmark

Cited in 3 Documents (2001–2021)
Software Authors: Pereira, Shelby; Voloshynovskiy, Sviatoslav; Madueno, Maribel; Marchand-Maillet, Stéphan; Pun, Thierry
Related Software: Matlab; ZXing; StirMark
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

ConTest

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

Liszt

Cited in 4 Documents (2014–2020)
Software Authors: Zachary DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan Alonso, Pat Hanrahan
Related Software: Firedrake; FEniCS; PyOP2; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Program-Conflict-Analysis

Cited in 5 Documents (2008–2018)
Software Authors: Lammich, Peter; Müller-Olm, Markus
Related Software: Archive Formal Proofs; Isabelle/HOL; Regex_Equivalence; …
Main Fields: Computer science (68-XX)

ZooKeeper

Cited in 5 Documents (2016–2022)
Software Authors: Apache
Related Software: GitHub; Hadoop; MapReduce; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

COSTABS

Cited in 5 Documents (2012–2017)
Software Authors: Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Related Software: ABS; SPEED; SACO; …
Main Fields: Computer science (68-XX)

CUPyDO

Cited in 5 Documents (2019–2024)
Software Authors: Thomas, D.; Cerquaglia, M.; Boman, R.; Economon, T.; Alonso, J.; Dimitriadis, G.; Terrapon, V.
Related Software: preCICE; SU2; JiTCSDE; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

ompFEAP

Cited in 5 Documents (2015–2023)
Software Authors: Jarzebski, P.; Wisniewski, K.; Taylor, R.L.
Related Software: FEAP; AceFEM; NASTRAN; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

ParADE

Cited in 2 Documents (2005–2006)
Software Authors:
Related Software: Specomp; Padicotm; OpenACC; …
Main Fields: Computer science (68-XX)

TLRW

Cited in 4 Documents (2011–2020)
Software Authors: David Dice; Nir Shavit
Related Software: NOrec; RingSTM; STAMP; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

TRACO

Cited in 3 Documents (2016–2023)
Software Authors: Marek Palkowski, Tomasz Klimek, Wlodzimierz Bielecki
Related Software: isl; Cetus; LLVM; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

Velodrome

Cited in 5 Documents (2009–2017)
Software Authors: Flanagan C, Freund SN, Yi J
Related Software: Atomizer; SingleTrack; Checkfence; …
Main Fields: Computer science (68-XX)

XAMG

Cited in 4 Documents (2023)
Software Authors: Boris Krasnopolsky, Alexey Medvedev
Related Software: SparseMatrix; hypre; PETSc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

AtomCaml

Cited in 3 Documents (2005–2022)
Software Authors: Ringenburg, Michael F.; Grossman, Dan
Related Software: SAMOA; JudoSTM; SPEC Benchmarks; …
Main Fields: Computer science (68-XX)

Autolocker

Cited in 4 Documents (2009–2017)
Software Authors: Mccloskey, B.; Zhou, F.; Gay, D.; Brewer, E.
Related Software: CIL; PhTM; Feather-Trace; …
Main Fields: Computer science (68-XX)

C-HEAP

Cited in 3 Documents (2002–2006)
Software Authors: Nieuwland, Andr\'e; Kang, Jeffrey; Gangwal, Om Prakash; Sethuraman, Ramanathan; Bus\'a, Natalino; Goossens, Kees; Llopis, Rafael Peset; Lippens, Paul
Related Software:
Main Fields: Computer science (68-XX)

CHOPtrey

Cited in 4 Documents (2020–2022)
Software Authors: Ben Khaled-El Feki, A.; Duval, L.; Faure, C.; Simon, D.; Ben Gaid, M.
Related Software: FMI; Adams; LSODE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

DenseSync

Cited in 4 Documents (2021–2023)
Software Authors: Yoneda, Ryosuke; Tatsukawa, Tsuyoshi; Teramae, Jun-nosuke
Related Software: Expokit; JuMP; GitHub; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); …

Feather-Trace

Cited in 4 Documents (2010–2013)
Software Authors: Brandenburg B, Anderson J
Related Software: AQuoSA; PAPI; LITMUS; …
Main Fields: Computer science (68-XX)

FOMNE

Cited in 4 Documents (2017–2023)
Software Authors: Rajagopal, Karthikeyan; Guessas, Laarem; Karthikeyan, Anitha; Srinivasan, Ashokkumar; Adam, Girma
Related Software: Matlab
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX); …

GRace

Cited in 3 Documents (2015–2022)
Software Authors: Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal
Related Software: CUDA; GKLEE; GPUVerify; …
Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …

Guava

Cited in 1 Document (2005)
Software Authors: David F. Bacon, Robert E. Strom, Ashis Tarafdar
Related Software: Modula; OCaml; AtomCaml; …
Main Fields: Computer science (68-XX)

HiperTM

Cited in 3 Documents (2017–2023)
Software Authors: Hirve, Sachin; Palmieri, Roberto; Ravindran, Binoy
Related Software: Erlang; DudeTM; DiSTM; …
Main Fields: Computer science (68-XX)

Limi

Cited in 4 Documents (2015–2019)
Software Authors: Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
Related Software: Liss; CBMC; SymDiff; …
Main Fields: Computer science (68-XX)

Liss

Cited in 4 Documents (2015–2019)
Software Authors: Černý, Pavol Author Profile; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
Related Software: Limi; CBMC; SymDiff; …
Main Fields: Computer science (68-XX)

MIRROR

Cited in 3 Documents (2002–2020)
Software Authors: Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A.
Related Software: SimDVS
Main Fields: Computer science (68-XX)

Natix

Cited in 2 Documents (2001–2003)
Software Authors: Fiebig, Thorsten; Helmer, Sven; Kanne, Carl-Christian; Moerkotte, Guido; Neumann, Julia; Schiele, Robert; Westmann, Till
Related Software: XPath; XMark; XMill; …
Main Fields: Computer science (68-XX)

openSMILE

Cited in 2 Documents (2018–2020)
Software Authors: F. Eyben, F. Weninger, F. Groß, B. Schuller
Related Software: SciPy; LibROSA; pysptk; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX); …

Path Pascal

Cited in 4 Documents (1986–1997)
Software Authors: Robert B Kolstad; Roy H. Campbell
Related Software: COSY; PAL-11A; Ada95; …
Main Fields: Computer science (68-XX)

SAMC

Cited in 4 Documents (2019–2020)
Software Authors: Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
Related Software: MODIST; IronFleet; DCatch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SWARM

Cited in 4 Documents (2010–2016)
Software Authors: Bader, D. A.; Kanade, V.; Madduri, K.
Related Software: OpenCL; Intel TBB; FastFlow; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SWiMNet

Cited in 3 Documents (2001–2008)
Software Authors: Boukerche, Azzedine; Das, Sajal K.; Fabbri, Alessandro
Related Software: GloMoSim; Network Simulator 2; Tmix; …
Main Fields: Computer science (68-XX)

Synchrobench

Cited in 4 Documents (2016–2023)
Software Authors: Vincent Gramoli
Related Software: NOrec; CESAR; c2i; …
Main Fields: Computer science (68-XX)

Unison

Cited in 4 Documents (2001–2011)
Software Authors: Pierce, Benjamin C.; Vouillon, Jérôme
Related Software: Zing; Coq
Main Fields: Computer science (68-XX)

VeriSIMPL

Cited in 3 Documents (2015–2018)
Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
Related Software: Algorithm 97; FaPAS; Maxplus; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)

Alfalfa

Cited in 3 Documents (1987–2010)
Software Authors: Goldberg, B., Hudak, P.
Related Software: Haskell; GUM; Links; …
Main Fields: Computer science (68-XX)

CINDy

Cited in 3 Documents (2021–2023)
Software Authors: Carderera, Alejandro; Pokutta, Sebastian; Schütte, Christof; Weiser, Martin
Related Software: SINDy; SINDy-PI; ODEPACK; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX); …

CometG

Cited in 1 Document (2006)
Software Authors: Li, Zhen; Parashar, Manish
Related Software: Chord; Linda; Satin; …
Main Fields: Computer science (68-XX)

ComPASS

Cited in 3 Documents (2013–2017)
Software Authors: Dalissier, E.; Guichard, C.; Hav'e, P.; Masson, R.; Yang, C.
Related Software: Trilinos; PETSc; MPI/MPICH; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

EAGL

Cited in 3 Documents (2014–2022)
Software Authors: Pu, Shi; Liu, Jyh-Charn
Related Software: PandA; MIRACL; CUDA
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Flat-Combining

Cited in 2 Documents (2013–2014)
Software Authors: Hendler, D., Incze, I., Shavit, N., Tzafrir, M.
Related Software: PSim; Hoard; GitHub
Main Fields: Computer science (68-XX)

HyDI

Cited in 3 Documents (2013–2015)
Software Authors: Cimatti A, Mover S, Tonetta S
Related Software: SpaceEx; MathSAT; HySAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

LDSL-tool

Cited in 3 Documents (2004–2006)
Software Authors: Mindaugas Radziunas; WIAS
Related Software: LOCA; DDE-BIFTOOL; AUTO
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Lesser Bear

Cited in 3 Documents (2001–2002)
Software Authors: Oguma, Hisashi; Nakayama, Yasuichi
Related Software:
Main Fields: Computer science (68-XX)

McAiT

Cited in 1 Document (2013)
Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang
Related Software: PRISM; REDLIB; Synthia; …
Main Fields: Computer science (68-XX)

PARyOpt

Cited in 2 Documents (2020–2022)
Software Authors: Balaji Sesha Sarath Pokuri; Alec Lofquist; Chad M Risko; Baskar Ganapathysubramanian
Related Software: Python; EGO; PyPI
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

PGWFT

Cited in 2 Documents (2010–2012)
Software Authors: Cao, H., Jin, H., Wu, S., and Tao, Y.
Related Software: TAO; GeoNames
Main Fields: Computer science (68-XX)

PROMETHEUS

Cited in 2 Documents (2002–2007)
Software Authors: G. Gössler
Related Software: Pinapa; LUSTRE; SystemC; …
Main Fields: Computer science (68-XX)

PSim

Cited in 3 Documents (2014–2020)
Software Authors: Fatourou, Panagiota; Kallimanis, Nikolaos D.
Related Software: Hoard; Flat-Combining; GitHub
Main Fields: Computer science (68-XX)

SPIKY

Cited in 2 Documents (2016–2020)
Software Authors: Kreuz, T., Mulansky, M., Bozanic, N.
Related Software: Stimfit; PySpike
Main Fields: Statistical mechanics, structure of matter (82-XX); Biology and other natural sciences (92-XX)

TMunit

Cited in 2 Documents (2010–2018)
Software Authors: Harmanci, D.; Felber, P.; Gramoli, V.; Fetzer, C.
Related Software: STAMP; NOrec; TLRW; …
Main Fields: Computer science (68-XX)

BRISK

Cited in 2 Documents (2000–2005)
Software Authors: Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T.
Related Software: CLOS; MICO
Main Fields: Computer science (68-XX)

CBabel

Cited in 2 Documents (2005–2009)
Software Authors: Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre
Related Software: Maude; GraphML; SLMC; …
Main Fields: Computer science (68-XX)

CURD

Cited in 1 Document (2021)
Software Authors: Yuanfeng Peng, Vinod Grover, Joseph Devietti
Related Software: GPUVerify; GMRace; BARRACUDA; …
Main Fields: Computer science (68-XX)

DLC

Cited in 2 Documents (2015–2017)
Software Authors: Hugues Evrard
Related Software: MCGP; XTL; LNT2LOTOS; …
Main Fields: Computer science (68-XX)

FASAN

Cited in 2 Documents (1998–1999)
Software Authors: Ebner, Ralf; Pfaffinger, Alexander
Related Software: Haskell
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Frankencamera

Cited in 1 Document (2016)
Software Authors: Andrew Adams et al
Related Software:
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); Information and communication theory, circuits (94-XX)

Gauss

Cited in 2 Documents (2011–2018)
Software Authors: Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby
Related Software: ISP; SPIN; SLAM; …
Main Fields: Computer science (68-XX)

Grex

Cited in 1 Document (2016)
Software Authors: C. Basaran, K.-D. Kang
Related Software: Spark; SciMATE; SciHive; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

GRoundTram

Cited in 2 Documents (2015–2018)
Software Authors: Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.
Related Software: UnQL
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

HAL_

Cited in 2 Documents (1992–2000)
Software Authors: Chris Houck , Gul Agha
Related Software: Python; CHARM++; Oz; …
Main Fields: Computer science (68-XX)

HCSP

Cited in 2 Documents (1998–2017)
Software Authors: Lawrence, Adrian E.
Related Software: HProver
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

HPPNetSim

Cited in 0 Documents
Software Authors:
Related Software: SimK; Chaco
Main Fields:

JOTSA

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

JTransformer

Cited in 0 Documents
Software Authors: Günter Kniesel, Fabian Noth, Andreas Becker, et al.
Related Software: PAG; Simian; CloneDifferentiator; …
Main Fields:

loa

Cited in 0 Documents
Software Authors: Karl Ropkins
Related Software: R; RgoogleMaps; UScensus2000cdp; …
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field