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)
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: –