AGG Software Authors: Gabriele Taentzer Cited in: 67 Publications (1994–2022) Related Software: GROOVE; PROGRES; AToM3; GrGen; VIATRA2; Henshin; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
VIKOR Software Authors: Opricovic, Serafim; Tzeng, Gwo-Hshiung Cited in: 42 Publications (2007–2022) Related Software: MADM; PROMETHEE-MD; ELECTRE; NumPy; Python; MOEA/D; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Pueblo Software Authors: Sheini, Hossein M.; Sakallah, Karem A. Cited in: 33 Publications (1998–2021) Related Software: MiniSat; Chaff; Sat4j; PBS; PicoSAT; MaxSolver; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
L2Roe Software Authors: K. Oßwald, A. Siegmund, P. Birken, V. Hannemann, A. Meister Cited in: 16 Publications (2016–2023) Related Software: AUSM; HE-E1GODF; FLICA-OVAP; HLLE; PyFR; AUSMPW+; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
MathCheck Software Authors: Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof; Zulkoski, Edward Cited in: 13 Publications (2015–2021) Related Software: Lynx; Maple; FFTW; nsoks; Mathematica; SageMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
versat Software Authors: Oe, Duckki; Stump, Aaron; Oliver, Corey; Clancy, Kevin Cited in: 12 Publications (2012–2022) Related Software: Isabelle/HOL; Coq; Chaff; DRAT-trim; Archive Formal Proofs; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CalCS Software Authors: Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L. Cited in: 8 Publications (2013–2019) Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)
CLAN Software Authors: Stephen Fenech, Gordon J. Pace, Gerardo Schneider Cited in: 7 Publications (2009–2017) Related Software: AnaCon; LegalRuleML; Uppaal; GF; Stanford Tagger; Esterel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
SAT Solver Verification Software Authors: Filip Maric Cited in: 5 Publications (2009–2018) Related Software: Archive Formal Proofs; Chaff; MiniSat; Isabelle/HOL; BerkMin; SATO; … Main Fields: Computer science (68-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)
QMiraXT Software Authors: Lewis, M., Schubert, T., Becker, B. Cited in: 4 Publications (2012–2016) Related Software: PicoSAT; MPIDepQBF; MiniSat; QUBE; DepQBF; SATO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
CYCLADES Software Authors: Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht Cited in: 3 Publications (2018–2019) Related Software: HOGWILD; MovieLens; D-ADMM; ColPack; Saga; RCV1; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Mousetrap Software Authors: Kieslich, P. J.; Henniger, F. Cited in: 2 Publications (2018) Related Software: MouseTracker; KFAS; ggmcmc; shinystan; RStan; trajectories; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
UMLsec Software Authors: Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S Cited in: 1 Publication (2018) Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; … Main Fields: Computer science (68-XX)
AnaCon Software Authors: Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo Cited in: 2 Publications (2013–2017) Related Software: CLAN; LegalRuleML; Uppaal; GF; Stanford Tagger Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FourierSAT Software Authors: Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei Cited in: 2 Publications (2021) Related Software: Lingeling; Plingeling; Walksat; MiniSat; YalSAT; CrystalBall; … Main Fields: Computer science (68-XX)
DPMF Software Authors: Yu, Chiu-Man; Ng, Kam-Wing Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
MOBY Software Authors: H. Fleischhack; U. Lichtblau Cited in: 1 Publication (2001) Related Software: Gina; LOOPN++; THORNs Main Fields: Computer science (68-XX)
SSAM Software Authors: Federal Highway Administration Cited in: 1 Publication (2021) Related Software: FactoClass; dendextend; VISSIM; corrplot; psych; R Main Fields: Statistics (62-XX)
episens Software Authors: N. Orsini, R. Bellocco, M. Bottai, A. Wolk, S. Greenland Cited in: 0 Publications Related Software: – Main Fields: –