×

Found 21 Software Packages (Results 1–21)

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: