PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 103 Publications (2002–2022) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
HOGWILD Software Authors: Feng Niu, Benjamin Recht, Christopher Re, Stephen J. Wright Cited in: 63 Publications (2012–2022) Related Software: Saga; ARock; AdaGrad; ImageNet; Adam; RCV1; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
GloMoSim Software Authors: Xiang Zeng; Rajive Bagrodia; Mario Gerla Cited in: 37 Publications (2001–2015) Related Software: Parsec; ns-2; OMNet++; SWiMNet; PCBA; OPNET; … 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 Software Authors: Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco Cited in: 46 Publications (2007–2020) Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Eraser Software Authors: Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T. Cited in: 36 Publications (2000–2021) Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; LOCKSMITH; … Main Fields: Computer science (68-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
SMIL Software Authors: W3.org Cited in: 10 Publications (2001–2016) Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)
ABS Software Authors: Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M. Cited in: 30 Publications (2012–2022) Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
ARock Software Authors: Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao Cited in: 33 Publications (2016–2022) Related Software: HOGWILD; iPiano; Saga; Finito; JuMP; Julia; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
NEST Software Authors: Gewaltig, MO; Diesmann, M. Cited in: 19 Publications (2008–2021) Related Software: NEURON; Pynn; Brian; Python; SpiNNaker; Scikit; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
CoArray Software Authors: Numrich, Robert W.; Reid, John Cited in: 21 Publications (2002–2022) Related Software: Chapel; NAS Parallel Benchmarks; ARMCI; MPI; OpenCoarrays; MapReduce; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
BETA Software Authors: Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard Cited in: 21 Publications (1985–2016) Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Hypertool Software Authors: Wu M.Y., Gajski D.D. Cited in: 17 Publications (2007–2019) Related Software: Condor-G; STG; Noodle; Pegasus; DRSCRO; OpenNebula; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Creol Software Authors: Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh Cited in: 25 Publications (2006–2022) Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; … Main Fields: Computer science (68-XX)
JoCaml Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Cited in: 26 Publications (2000–2022) Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
PARSEC Software Authors: Bienia, C.; Kumar, S.; Singh, J. P.; Li, K. Cited in: 7 Publications (2010–2021) Related Software: SPLASH-2; ALPBench; LLVM; Cilk; MapReduce; PAPI; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Renew Software Authors: Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger Cited in: 15 Publications (2004–2021) Related Software: libDDD; LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
COMPAS Software Authors: Chmiel, Krzysztof; Roman, Adam Cited in: 14 Publications (1990–2021) Related Software: TESTAS; Boost; Vaucanson; AUTOMATE; PATRICIA; Maple Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
Scalasca Software Authors: M. Geimer, F. Wolf, B.J.N. Wylie, E. Ábrahám, D. Becker, B. Mohr Cited in: 10 Publications (2011–2021) Related Software: TAU; HPCTOOLKIT; MPI; Cube; PARAVER; METIS; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
SE-Sync Software Authors: David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard Cited in: 13 Publications (2018–2022) Related Software: SDPLR; iSAM2; CVX; TEASER++; GitHub; Manopt; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Exp.Open Software Authors: Frédéric Lang Cited in: 10 Publications (2006–2021) Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
VeriCool Software Authors: Smans, J., Jacobs, B., Piessens, F. Cited in: 10 Publications (2009–2022) Related Software: Boogie; VCC; Spec#; VeriFast; z3; cvc3; … Main Fields: Computer science (68-XX)
Goldilocks Software Authors: Elmas, T., Qadeer, S., Tasiran, S. Cited in: 9 Publications (2009–2017) Related Software: Eraser; Atomizer; FastTrack; Coq; SatAbs; CloSpan; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
PROCOL Software Authors: van den Bos, Jan; Laffa, Chris Cited in: 7 Publications (1991–2002) Related Software: PICCOLA; AspectJ; JAsCo; Rapide; Simula 67; Eiffel; … Main Fields: Computer science (68-XX)
DSCOVR Software Authors: Xiao, Lin; Yu, Adams Wei; Lin, Qihang; Chen, Weizhu Cited in: 7 Publications (2019–2022) Related Software: HOGWILD; Saga; DiSCO; AIDE; RCV1; LIBSVM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
HYPERS Software Authors: Omelchenko, Y.A.; Karimabadi, H. Cited in: 7 Publications (2012–2022) Related Software: HPX; Gurobi; WRF-SFIRE; ForeFire; IPython; Matplotlib; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
NESToolbox Software Authors: Kira Rehfeld, Bedartha Goswami Cited in: 7 Publications (2014–2021) Related Software: PearsonT; MEMSS; S-PLUS; BINCOR; nuSpectral; K2; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
PKind Software Authors: Kahsai T, Tinelli C Cited in: 7 Publications (2013–2020) Related Software: GitHub; SeaHorn; CPAchecker; CTIGAR; Esterel; StateFlow; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SingleTrack Software Authors: Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan Cited in: 6 Publications (2009–2017) Related Software: Atomizer; Velodrome; Soot; Cilk; CIL; Java Grande; … Main Fields: Computer science (68-XX)
SyncGen Software Authors: Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki Cited in: 7 Publications (2004–2016) Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; SLAM; BLAST; … Main Fields: Computer science (68-XX)
yaSpMV Software Authors: S. Yan, Ch. Li, Y. Zhang, H. Zhou Cited in: 7 Publications (2016–2020) Related Software: SparseMatrix; clSpMV; CUDA; CUSPARSE; CUSP; CSR5; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
Checkmark Software Authors: Pereira, Shelby; Voloshynovskiy, Sviatoslav; Madueno, Maribel; Marchand-Maillet, Stéphan; Pun, Thierry Cited in: 3 Publications (2001–2021) Related Software: ZXing; Matlab; StirMark Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)
Chipwhisperer Software Authors: O’Flynn, Colin; Chen, Zhizhang Cited in: 6 Publications (2014–2021) Related Software: GitHub; SIDH; SIKE; FreePDK45; Yosys; FastICA; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
ConTest Software Authors: Edelstein, Orit; Farchi, Eitan; Goldin, Evgeny; Nir, Yarden; Ratsaby, Gil; Ur, Shmuel Cited in: 5 Publications (2003–2018) Related Software: veriSoft; Eraser; Java PathFinder; ISP; Snugglebug; Boogie; … Main Fields: Computer science (68-XX)
Rodinia Software Authors: Che, S., et al. Cited in: 4 Publications (2014–2021) Related Software: CUDA; Spearmint; ParEGO; BOCK; Virtual library; Auto-WEKA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ZooKeeper Software Authors: Apache Cited in: 5 Publications (2016–2022) Related Software: GitHub; Hadoop; MapReduce; go; Apache Samza; Cassandra; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
COSTABS Software Authors: Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G. Cited in: 5 Publications (2012–2017) Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; … Main Fields: Computer science (68-XX)
Liszt 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 Cited in: 3 Publications (2014–2020) Related Software: Firedrake; PyOP2; FEniCS; OpenCL; OP2; Trilinos; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
ParADE Software Authors: – Cited in: 2 Publications (2005–2006) Related Software: OpenACC; PVM; NAS Parallel Benchmarks; SKaMPI; MPI; MPI/MPICH; … Main Fields: Computer science (68-XX)
Program-Conflict-Analysis Software Authors: Lammich, Peter; Müller-Olm, Markus Cited in: 5 Publications (2008–2018) Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; Coq; Isabelle/HOL Main Fields: Computer science (68-XX)
TLRW Software Authors: David Dice; Nir Shavit Cited in: 4 Publications (2011–2020) Related Software: RingSTM; NOrec; STAMP; JudoSTM; Synchrobench; TMunit; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
Velodrome Software Authors: Flanagan C, Freund SN, Yi J Cited in: 5 Publications (2009–2017) Related Software: Atomizer; SingleTrack; Checkfence; AVIO; GitHub; JavaScript; … Main Fields: Computer science (68-XX)
AtomCaml Software Authors: Ringenburg, Michael F.; Grossman, Dan Cited in: 3 Publications (2005–2022) Related Software: SAMOA; JudoSTM; SPEC Benchmarks; PARSEC; Lee-TM; SPLASH-2; … Main Fields: Computer science (68-XX)
Autolocker Software Authors: Mccloskey, B.; Zhou, F.; Gay, D.; Brewer, E. Cited in: 4 Publications (2009–2017) Related Software: CIL; PhTM; Feather-Trace; STAMP; SNZI; Atomizer; … Main Fields: Computer science (68-XX)
C-HEAP Software Authors: Nieuwland, Andr\'e; Kang, Jeffrey; Gangwal, Om Prakash; Sethuraman, Ramanathan; Bus\'a, Natalino; Goossens, Kees; Llopis, Rafael Peset; Lippens, Paul Cited in: 3 Publications (2002–2006) Related Software: – Main Fields: Computer science (68-XX)
CHOPtrey Software Authors: Ben Khaled-El Feki, A.; Duval, L.; Faure, C.; Simon, D.; Ben Gaid, M. Cited in: 4 Publications (2020–2022) Related Software: FMI; SUNDIALS; Adams; LSODE; Modelica Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Feather-Trace Software Authors: Brandenburg B, Anderson J Cited in: 4 Publications (2010–2013) Related Software: AQuoSA; PAPI; LITMUS; CIL; PhTM; STAMP; … Main Fields: Computer science (68-XX)
GRace Software Authors: Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal Cited in: 3 Publications (2015–2022) Related Software: CUDA; GKLEE; GPUVerify; GMRace; CURD; BARRACUDA; … Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Guava Software Authors: David F. Bacon, Robert E. Strom, Ashis Tarafdar Cited in: 1 Publication (2005) Related Software: Modula; AtomCaml; PLAN; Atomizer; OCaml; QuakeTM; … Main Fields: Computer science (68-XX)
Limi Software Authors: Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten Cited in: 4 Publications (2015–2019) Related Software: Liss; CBMC; SymDiff; DART; kepler98; NModel; … Main Fields: Computer science (68-XX)
Liss Software Authors: Černý, Pavol Author Profile; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten Cited in: 4 Publications (2015–2019) Related Software: Limi; CBMC; SymDiff; DART; kepler98; NModel; … Main Fields: Computer science (68-XX)
MIRROR Software Authors: Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A. Cited in: 3 Publications (2002–2020) Related Software: SimDVS Main Fields: Computer science (68-XX)
Natix Software Authors: Fiebig, Thorsten; Helmer, Sven; Kanne, Carl-Christian; Moerkotte, Guido; Neumann, Julia; Schiele, Robert; Westmann, Till Cited in: 2 Publications (2001–2003) Related Software: XPath; XMark; XMill; eXist; XQuery Main Fields: Computer science (68-XX)
ompFEAP Software Authors: Jarzebski, P.; Wisniewski, K.; Taylor, R.L. Cited in: 4 Publications (2015–2019) Related Software: FEAP; AceFEM; PetIGA; Netgen; WARP3D; DROPS; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)
openSMILE Software Authors: F. Eyben, F. Weninger, F. Groß, B. Schuller Cited in: 2 Publications (2018–2020) Related Software: SciPy; LibROSA; pysptk; SPTK; MIRtoolbox; Troparion; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)
Path Pascal Software Authors: Robert B Kolstad; Roy H. Campbell Cited in: 4 Publications (1986–1997) Related Software: COSY; PAL-11A; Ada95; Smalltalk; Modula; KITARA; … Main Fields: Computer science (68-XX)
SWARM Software Authors: Bader, D. A.; Kanade, V.; Madduri, K. Cited in: 4 Publications (2010–2016) Related Software: OpenCL; Intel TBB; FastFlow; Wool; PLASMA; MAGMA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SWiMNet Software Authors: Boukerche, Azzedine; Das, Sajal K.; Fabbri, Alessandro Cited in: 3 Publications (2001–2008) Related Software: GloMoSim; Tmix; Network Simulator 2; DRAMA; PARAMICS; MoVES Main Fields: Computer science (68-XX)
TRACO Software Authors: Marek Palkowski, Tomasz Klimek, Wlodzimierz Bielecki Cited in: 2 Publications (2016–2018) Related Software: isl; Omega; barvinok Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
Unison Software Authors: Pierce, Benjamin C.; Vouillon, Jérôme Cited in: 4 Publications (2001–2011) Related Software: Zing; Coq Main Fields: Computer science (68-XX)
VeriSIMPL Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro Cited in: 3 Publications (2015–2018) Related Software: Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)
Alfalfa Software Authors: Goldberg, B., Hudak, P. Cited in: 3 Publications (1987–2010) Related Software: Haskell; GUM; Links; Hop; Eden; AoPA; … Main Fields: Computer science (68-XX)
CometG Software Authors: Li, Zhen; Parashar, Manish Cited in: 1 Publication (2006) Related Software: Chord; Linda; Satin; ABCtoolbox; AutoDock; CHARMM; … Main Fields: Computer science (68-XX)
ComPASS Software Authors: Dalissier, E.; Guichard, C.; Hav'e, P.; Masson, R.; Yang, C. Cited in: 3 Publications (2013–2017) Related Software: Trilinos; PETSc; MPI/MPICH; ParaView; METIS; DUNE; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
CUPyDO Software Authors: Thomas, D.; Cerquaglia, M.; Boman, R.; Economon, T.; Alonso, J.; Dimitriadis, G.; Terrapon, V. Cited in: 3 Publications (2019–2022) Related Software: preCICE; JiTCSDE; JiTCODE; JiTCDDE; Ode15s; OpenFPCI; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
Flat-Combining Software Authors: Hendler, D., Incze, I., Shavit, N., Tzafrir, M. Cited in: 2 Publications (2013–2014) Related Software: Hoard; PSim; GitHub Main Fields: Computer science (68-XX)
FOMNE Software Authors: Rajagopal, Karthikeyan; Guessas, Laarem; Karthikeyan, Anitha; Srinivasan, Ashokkumar; Adam, Girma Cited in: 3 Publications (2017–2021) Related Software: Matlab Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Systems theory; control (93-XX)
HyDI Software Authors: Cimatti A, Mover S, Tonetta S Cited in: 3 Publications (2013–2015) Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
LDSL-tool Software Authors: Mindaugas Radziunas; WIAS Cited in: 3 Publications (2004–2006) 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 Software Authors: Oguma, Hisashi; Nakayama, Yasuichi Cited in: 3 Publications (2001–2002) Related Software: – Main Fields: Computer science (68-XX)
McAiT Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang Cited in: 1 Publication (2013) Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; … Main Fields: Computer science (68-XX)
PGWFT Software Authors: Cao, H., Jin, H., Wu, S., and Tao, Y. Cited in: 2 Publications (2010–2012) Related Software: TAO; GeoNames Main Fields: Computer science (68-XX)
PROMETHEUS Software Authors: G. Gössler Cited in: 2 Publications (2002–2007) Related Software: Doxygen; Esterel; LusSy; Pinapa; CBMC; SystemC; … Main Fields: Computer science (68-XX)
PSim Software Authors: Fatourou, Panagiota; Kallimanis, Nikolaos D. Cited in: 3 Publications (2014–2020) Related Software: Flat-Combining; Hoard; GitHub Main Fields: Computer science (68-XX)
Synchrobench Software Authors: Vincent Gramoli Cited in: 3 Publications (2016–2018) Related Software: NOrec; NUMASK; JudoSTM; TLRW; TMunit; DiSTM Main Fields: Computer science (68-XX)
TMunit Software Authors: Harmanci, D.; Felber, P.; Gramoli, V.; Fetzer, C. Cited in: 2 Publications (2010–2018) Related Software: STAMP; JudoSTM; Synchrobench; TLRW; NOrec; DiSTM; … Main Fields: Computer science (68-XX)
BlockStab Software Authors: Carson, Erin; Lund, Kathryn; Rozložník, Miroslav; Thomas, Stephen Cited in: 2 Publications (2022) Related Software: lobpcg.m; GitHub; CholeskyQR2; CholQR; mctoolbox; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
BRISK Software Authors: Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T. Cited in: 2 Publications (2000–2005) Related Software: CLOS; MICO Main Fields: Computer science (68-XX)
CBabel Software Authors: Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre Cited in: 2 Publications (2005–2009) Related Software: Maude; GraphML; SLMC; yEd Main Fields: Computer science (68-XX)
CURD Software Authors: Yuanfeng Peng, Vinod Grover, Joseph Devietti Cited in: 1 Publication (2021) Related Software: GRace; GMRace; GKLEE; BARRACUDA; GPUVerify; CUDA; … Main Fields: Computer science (68-XX)
DLC Software Authors: Hugues Evrard Cited in: 2 Publications (2015–2017) Related Software: MCGP; XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; … Main Fields: Computer science (68-XX)
EAGL Software Authors: Pu, Shi; Liu, Jyh-Charn Cited in: 2 Publications (2014–2015) Related Software: PandA; MIRACL; CUDA Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)
FASAN Software Authors: Ebner, Ralf; Pfaffinger, Alexander Cited in: 2 Publications (1998–1999) Related Software: Haskell Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Frankencamera Software Authors: Andrew Adams et al Cited in: 1 Publication (2016) 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 Software Authors: Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby Cited in: 2 Publications (2011–2018) Related Software: ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; … Main Fields: Computer science (68-XX)
Grex Software Authors: C. Basaran, K.-D. Kang Cited in: 1 Publication (2016) Related Software: Spark; SciMATE; SciHive; Vispark; Hadoop; MapReduce Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
HAL_ Software Authors: Chris Houck , Gul Agha Cited in: 2 Publications (1992–2000) Related Software: Python; CHARM++; Oz; PROCOL; Ada95 Main Fields: Computer science (68-XX)
HCSP Software Authors: Lawrence, Adrian E. Cited in: 2 Publications (1998–2017) Related Software: HProver Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
HiperTM Software Authors: Hirve, Sachin; Palmieri, Roberto; Ravindran, Binoy Cited in: 1 Publication (2017) Related Software: PostgreSQL; TPC-C Main Fields: Computer science (68-XX)
JOTSA Software Authors: S. Robbins Cited in: 2 Publications (2002) Related Software: FAUST; CAITLIN; Tango; ANIMAL; Pavane; MUSE; … Main Fields: Computer science (68-XX)
JTransformer Software Authors: Günter Kniesel, Fabian Noth, Andreas Becker, et al. Cited in: 0 Publications Related Software: PAG; Simian; CloneDifferentiator; ARIES; Cultivate Main Fields: –
loa Software Authors: Karl Ropkins Cited in: 0 Publications Related Software: R; RgoogleMaps; UScensus2000cdp; Geoxp; LISP-STAT; geoCount; … Main Fields: –
Maestro Software Authors: Spafford, K.; Meredith, J. S.; Vetter, J. S. Cited in: 1 Publication (2015) Related Software: Chapel; Intel TBB; Java Grande; OpenACC; Polyglot; Cilk; … Main Fields: Computer science (68-XX)
MCGS Software Authors: Maheswaran, Muthucumaru; Webb, Kevin J.; Siegel, Howard Jay Cited in: 2 Publications (1999–2004) Related Software: SPARSKIT; ITSOL Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)
McPatom Software Authors: Zeng R, Sun Z, Liu S, He X Cited in: 1 Publication (2021) Related Software: Eraser; RacerX; ChibiOS; RELAY; FreeRTOS; ArduPilot Main Fields: Computer science (68-XX)
MultiRace Software Authors: Eli Pozniansky, Assaf Schuster Cited in: 1 Publication (2017) Related Software: ThreadSanitizer; CDSChecker; ktsan; tsan; RELAY; LOCKSMITH; … Main Fields: Computer science (68-XX)
Noble Software Authors: H. Sundell, P. Tsigas Cited in: 2 Publications (2008–2015) Related Software: Intel TBB; Python Main Fields: Computer science (68-XX)
OptQC Software Authors: Loke, T.; Wang, J.B. Cited in: 2 Publications (2014–2016) Related Software: Qcompiler; LAPACK Main Fields: Computer science (68-XX); Quantum theory (81-XX)
PaFiBo-OBGAIM Software Authors: Gravvanis, G.A.; Filelis-Papadopoulos, C.K.; Giannoutakis, K.M.; Lipitakis, E.A. Cited in: 2 Publications (2013–2018) Related Software: PEPBICG-STAB; GenASPI; FSAIPACK; ParaSails; BILUTM; SparseMatrix; … Main Fields: Numerical analysis (65-XX)