×

Found 230 Software Packages (Results 1–100)

QRM

Software Authors:   Bernhard Pfaff; Marius Hofert; Alexander McNeil; Scott Ulmann
Cited in: 786 Publications (2005–2022)
Related Software: R; CopulaModel; copula; copula; ismev; CAViaR; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

OR-Library

Software Authors:   J.E.Beasley
Cited in: 643 Publications (1985–2022)
Related Software: CPLEX; Tabu search; TSPLIB; Knapsack; MENU-OKF; MOD-DIST; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Cited in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Featherweight Java

Software Authors:   Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip
Cited in: 86 Publications (2001–2021)
Related Software: ML; MJ; JML; Scala; Eiffel; Creol; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Cited in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

CONMIN

Software Authors:   G.N. Vanderplaats
Cited in: 52 Publications (1978–2022)
Related Software: CUTEr; Algorithm 500; CUTE; SCALCG; MINPACK-2; L-BFGS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

GROOVE

Software Authors:   Kastenberg, H., Rensink, A.
Cited in: 42 Publications (2004–2020)
Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

PcGive

Software Authors:   Doornik JA, Hendry DF
Cited in: 50 Publications (1998–2020)
Related Software: Ox; PcGets; Stata; R; EViews; SHAZAM; …
Main Fields: Difference and functional equations (39-XX); Statistics (62-XX); Numerical analysis (65-XX)

Multisim

Software Authors:   National Instruments Corporation
Cited in: 48 Publications (2004–2022)
Related Software: Matlab; Fractional Order Chaotic Systems; CNN; DFOC; sysdfod
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of deformable solids (74-XX)

Curry

Software Authors:   M. Hanus, H. Kuchen, J.J. Moreno-Navarro
Cited in: 39 Publications (1998–2022)
Related Software: Haskell; PAKCS; TOY; BABEL; KiCS2; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

LUPS

Software Authors:   Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.
Cited in: 37 Publications (1999–2019)
Related Software: XSB; Smodels; EVOLP; Jason; ConGolog; METATEM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Ruby

Software Authors:   Flanagan, D.; Matsumoto, Y.
Cited in: 23 Publications (2002–2017)
Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

TVLA

Software Authors:   Tal Lev-Ami; Mooly Sagiv
Cited in: 31 Publications (2000–2020)
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AToM3

Software Authors:   de Lara, Juan; Vangheluwe, Hans
Cited in: 13 Publications (2002–2013)
Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; SMART_; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MANIFOLD

Software Authors:   Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A.
Cited in: 27 Publications (1993–2012)
Related Software: Linda; Reo; LIME; KLAIM; Oz; Rapide; …
Main Fields: Computer science (68-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Cited in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ODESSA

Software Authors:   J. R. Leis and M. A. Kramer
Cited in: 29 Publications (1988–2021)
Related Software: AUTO-86; CVODES; LSODE; AUTO; DASSL; SUNDIALS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Eden

Software Authors:   U. Klusik, Y. Ortega-Mallén, R. Peña
Cited in: 23 Publications (2001–2018)
Related Software: Haskell; GUM; EdenTV; GHC; Erlang; MapReduce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Kernel-LEAF

Software Authors:   Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi
Cited in: 28 Publications (1991–2013)
Related Software: BABEL; TOY; Curry; PAKCS; Haskell; Maude; …
Main Fields: Computer science (68-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)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Cited in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

gCol

Software Authors:   Lewis, R. M. R.
Cited in: 26 Publications (2016–2022)
Related Software: CALMA; irace; Tabu search; TSpack; CAPOPT; ACVIZ; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

MTT

Software Authors:   Durán, F., Lucas, S., Meseguer, J.
Cited in: 25 Publications (2008–2022)
Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Bedwyr

Software Authors:   David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
Cited in: 21 Publications (2007–2022)
Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SeaHorn

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.
Cited in: 22 Publications (2015–2021)
Related Software: z3; CPAchecker; VeriMAP; SMACK; JayHorn; RAHFT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Facile

Software Authors:   Giacalone, A., Mishra, P., Prasad, S
Cited in: 22 Publications (1990–2009)
Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

gPROMS

Software Authors:   Process Systems Enterprise Limited; Barton, P.; Pantelides, C.
Cited in: 18 Publications (1995–2022)
Related Software: Dymola; Modelica; Python; AMPL; ASCEND; SUNDIALS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

csp2B

Software Authors:   Butler, Michael
Cited in: 16 Publications (2000–2014)
Related Software: Circus; Rodin; Z; FDR2; LOTOS; ProB; …
Main Fields: Computer science (68-XX)

STG

Software Authors:   Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva
Cited in: 16 Publications (2002–2014)
Related Software: CADP; TorX; DART; GATeL; IF-2.0; AGATHA; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

SCIFF

Software Authors:   Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Cited in: 19 Publications (2006–2022)
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; DeepProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VOLNA

Software Authors:   Dutykh, Denys; Poncet, Raphaël; Dias, Frédéric
Cited in: 20 Publications (2011–2021)
Related Software: MOST; HLLE; CENALT; COMCOT; OP2; Volna-OP2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

cc(FD)

Software Authors:   Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
Cited in: 17 Publications (1998–2021)
Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

LiQuor

Software Authors:   –
Cited in: 18 Publications (2007–2018)
Related Software: PRISM; MRMC; Rapture; Ymer; Rabinizer; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MineLib

Software Authors:   Espinoza, Daniel; Goycoolea, Marcos; Moreno, Eduardo; Newman, Alexandra
Cited in: 18 Publications (2013–2022)
Related Software: CPLEX; AMPL; GEOVIA Whittle; Gurobi; OR-Library; TSPLIB; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Atelier B

Software Authors:   ClearSy; France Steria
Cited in: 16 Publications (2000–2021)
Related Software: ProB; Rodin; Zenon; CADP; SPIN; LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MMT

Software Authors:   Chalub, Fabricio; Braga, Christiano
Cited in: 13 Publications (2007–2019)
Related Software: Maude; K Prover; JavaFAN; PMaude; CafeOBJ; K tool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DIASPORA

Software Authors:   Ramanath, Maya; Haritsa, Jayant R.
Cited in: 14 Publications (2000–2009)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX)

Henshin

Software Authors:   Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer
Cited in: 12 Publications (2012–2021)
Related Software: AGG; GROOVE; PRISM; Maude; Isabelle/HOL; GrGen; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

HOPLA

Software Authors:   Nygaard, Mikkel; Winskel, Glynn
Cited in: 14 Publications (2002–2014)
Related Software: New-HOPLA
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

HYPROLOG

Software Authors:   Christiansen, Henning; Dahl, Veronica
Cited in: 14 Publications (2005–2012)
Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Java Jr

Software Authors:   Jeffrey, Alan; Rathke, Julian
Cited in: 12 Publications (2005–2015)
Related Software: Z; Eiffel; Multilisp; Maude; TALx86; Fides; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LLWM

Software Authors:   Yin, Fukang; Song, Junqiang; Lu, Fengshun
Cited in: 14 Publications (2013–2022)
Related Software:
Main Fields: Real functions (26-XX); Partial differential equations (35-XX); Harmonic analysis on Euclidean spaces (42-XX)

DIEGO

Software Authors:   Taentzer, Gabriele; Schürr, Andy
Cited in: 13 Publications (1995–2017)
Related Software: PROGRES; DACTL; ATL; Maude; Aglets; DiaGen; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

eSTOMP

Software Authors:   –
Cited in: 13 Publications (2008–2022)
Related Software: STOMP; OpenGeoSys; TOUGH; HYDROGEOCHEM; PhreeqcRM; CrunchFlow; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

PermutMatrix

Software Authors:   G. Caraux; S. Pinloche
Cited in: 10 Publications (2009–2019)
Related Software: seriation; GAP; R; TSP; Matlab; PQSER; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

C-Light

Software Authors:   Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Cited in: 11 Publications (2002–2012)
Related Software: Atoment; Boogie; VCC; Dafny; OpenJML; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTADEL

Software Authors:   Van Engelen, Robert Alexander
Cited in: 12 Publications (1998–2020)
Related Software: Mathematica; FINGER; SciNapse; PDEQSOL; ALPAL; SCIRun; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

MJ

Software Authors:   Bierman GM, Parkinson MJ, Pitts AM
Cited in: 9 Publications (2006–2019)
Related Software: Featherweight Java; Welterweight Java; Cyclone; JavaSPI; AGVI; Scala; …
Main Fields: Computer science (68-XX)

UrbanSim

Software Authors:   Waddell P, Borning A, Noth M, Freier N, Becke M, Ulfarsson G
Cited in: 9 Publications (2005–2022)
Related Software: UScensus2000; maptools; acs; ASA; sms; devtools; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Falcon

Software Authors:   Pierre-Alain Fouque, Jeffrey Hoffstein, Paul Kirchner, Vadim Lyubashevsky, Thomas Pornin, Thomas Prest, Thomas Ricosset, Gregor Seiler, William Whyte, Zhenfei Zhang
Cited in: 10 Publications (2019–2022)
Related Software: NTRU; Saber; NTRUSign; GeMSS; FrodoKEM; GitHub; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

FALKO

Software Authors:   SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim
Cited in: 10 Publications (2000–2012)
Related Software: CoreASM; Metasonic; Rodin; ASM Workbench; ASMKeY; XASM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ICON

Software Authors:   Max Planck Institute for Meteorology (MPI-M); German Meteorological Service (DWD); Günther Zängl; Daniel Reinert; Pilar Rípodas; Michael Baldauf
Cited in: 11 Publications (2016–2021)
Related Software: chammp; MPAS-Ocean; NICAM; CAM3; DYNAMICO; scpc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Cited in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

caGrid

Software Authors:   Saltz J, Oster S, Hastings S, et al:
Cited in: 0 Publications
Related Software: Globus Toolkit; Bio2RDF; BioPortal; BioMOBY; Taverna; QTAG; …
Main Fields:

LAILA

Software Authors:   Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
Cited in: 9 Publications (2002–2011)
Related Software: KQML; Qu-Prolog; Datalog; Smodels; IMPACT; AgentSpeak; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

LETOS

Software Authors:   Pieter H. Hartel
Cited in: 8 Publications (2001–2012)
Related Software: Maude; Jakarta; Miranda; ITP; JavaFAN; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MultiOrd

Software Authors:   Anup Amatya; Hakan Demirtas
Cited in: 9 Publications (2006–2022)
Related Software: R; GenOrd; PoisNor; QRM; prefmod; BinOrdNonNor; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

tsfresh

Software Authors:   Maximilian Christ, Nils Braun, Julius Neuffer, Andreas W. Kempa-Liehr
Cited in: 4 Publications (2019–2022)
Related Software: Python; SciPy; Seglearn; TSFEL; NumPy; Scikit; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CRC 3

Software Authors:   Durán, Francisco; Meseguer, José
Cited in: 9 Publications (2010–2020)
Related Software: Maude; MTT; ChC 3; CafeOBJ; CSI; OBJ3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PARAMICS

Software Authors:   SIAS Limited; Quadston Limited
Cited in: 9 Publications (2001–2021)
Related Software: PARAMIC; TRANSIMS; Matlab; OpenStreetMap; SimEvents; SUMO; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FlashMeta

Software Authors:   Oleksandr Polozov; Sumit Gulwani
Cited in: 6 Publications (2017–2021)
Related Software: FlashExtract; TRANSIT; FlashRelate; BlinkFill; z3; LLVM; …
Main Fields: Computer science (68-XX)

PALM

Software Authors:   Andrea Piacentini; The PALM Group
Cited in: 8 Publications (2003–2020)
Related Software: O-PALM; OpenPALM; preCICE; CEDRE; AVBP; ESMF; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Prometheus

Software Authors:   Barber, J.; Bose, C.; Bourlioux, A.; Braun, J.; Brunelle, E.; Garcia, T.; Hillen, T.; Ong, B.
Cited in: 8 Publications (2008–2021)
Related Software: FlamMap; FARSITE; WRF-SFIRE; fireLib; BEHAVE; PhyFire; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Statistics (62-XX)

UMM

Software Authors:   Yang Y, Gopalakrishnan G, Lindstrom G
Cited in: 6 Publications (2007–2016)
Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; …
Main Fields: Computer science (68-XX)

CAWICOMS

Software Authors:   Felfernig, Alexander; Friedrich, Gerhard; Jannach, Dietmar; Zanker, Markus
Cited in: 6 Publications (2001–2004)
Related Software: DAML+OIL; SiMoL; MINION; Simulink; Matlab; OOZE; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

CPFLOW

Software Authors:   –
Cited in: 6 Publications (1994–2015)
Related Software: PRMLT; MUMPS; Graphviz; AUTO-86; AUTO
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

Eclat

Software Authors:   Carlos Pacheco; Michael D. Ernst
Cited in: 3 Publications (2007–2011)
Related Software: JCrasher; Rostra; Symstra; CUTE; Korat; TestEra; …
Main Fields: Computer science (68-XX)

LPTP

Software Authors:   Stärk, Robert F.
Cited in: 6 Publications (1998–2016)
Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; …
Main Fields: Computer science (68-XX)

Lutess

Software Authors:   du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N.
Cited in: 5 Publications (1999–2012)
Related Software: ATGen; GATeL; Circus; Reo; Maude; Esterel; …
Main Fields: Computer science (68-XX)

MSTA

Software Authors:   D’ippolito, N.; Fischbein, D.; Chechik, M.; Uchitel, S.
Cited in: 6 Publications (2009–2019)
Related Software: VMC; MIO Workbench; LTSA-WS; Motras; Sat4j; DeltaCCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

reFLect

Software Authors:   Grundy, Jim; Melham, Tom; O’Leary, John
Cited in: 6 Publications (2006–2018)
Related Software: Coq; ML; Agda; HOL Light; HOL; HOL Light QE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rfuzzy

Software Authors:   Susana Munoz-Hernandez, Victor Pablos Ceruelo, Hannes Strass
Cited in: 4 Publications (2011–2019)
Related Software: XPath; FRIL; BousiProlog; WordNet; Likelog; XQuery; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

simpA

Software Authors:   Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio
Cited in: 4 Publications (2002–2012)
Related Software: CArtAgO; Featherweight Java; ReSpecT; Jadex; WADE; AmbientTalk; …
Main Fields: Computer science (68-XX)

TOTEM

Software Authors:   Leduc G, Abrahamsson H, Balon S, Bessler S, D’Arienzo M, Delcourt O, Domingo-Pascual J, Cerav-Erbas S, Gojmerac I, Masip X, Pescaph A, Quoitin B, Romano S, Salvatori E, Skivée F, Tran H, Uhlig S, H
Cited in: 6 Publications (2009–2013)
Related Software: NEST; SNDlib; OsiSolver
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Vellvm

Software Authors:   Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve
Cited in: 7 Publications (2012–2021)
Related Software: Coq; LLVM; GraalVM; GitHub; CompCert; CakeML; …
Main Fields: Computer science (68-XX)

ActHEX

Software Authors:   Fink, M., Germano, S., Ianni, G., Redl, C., Schüller, P
Cited in: 5 Publications (2016–2021)
Related Software: Clingo; oClingo; WASP; D*Lite; Jason; DLVHEX; …
Main Fields: Computer science (68-XX)

AURORA

Software Authors:   De Paiva, E.C.; Azinheira, J.R.; Ramos, J.G.; Moutinho, A.; Bueno, S.S.
Cited in: 5 Publications (2009–2021)
Related Software: SURF; InerVis; Camera Calibration; calib
Main Fields: Geophysics (86-XX); Systems theory; control (93-XX)

B4Free

Software Authors:   ClearSy
Cited in: 3 Publications (2006–2010)
Related Software: ProB; UNITY; jSpin; PROMELA; SymmSpin; Spin-to-Grape; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DOTUR

Software Authors:   Schloss, P. D.; Handelsman, J.
Cited in: 3 Publications (2009–2018)
Related Software: TETRA; MEGAN; NeatMap; betapart; INMEX; HMP; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

FocalTest

Software Authors:   Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud
Cited in: 6 Publications (2011–2018)
Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

MixML

Software Authors:   –
Cited in: 6 Publications (2008–2018)
Related Software: 1ML; ML; Automath; Tribe; HMap; Dotty; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

mothur

Software Authors:   Schloss PD, Westcott SL, Ryabin T, Hall JR, Hartmann M, Hollister EB, Lesniewski RA, Oakley BB, Parks DH, Robinson CJ, Sahl JW, Stres B, Thallinger GG, Van Horn DJ, Weber CF.
Cited in: 4 Publications (2013–2021)
Related Software: pplacer; rtk; iNEXT; vegan; EstimateS; CURSAT; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

nomore++

Software Authors:   Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, Andr'e; Schaub, Torsten
Cited in: 6 Publications (2005–2012)
Related Software: ASSAT; Cmodels; NoMoRe; Chaff; Lparse; Gringo; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PAROC

Software Authors:   Pistikopoulos, E. N.; Diangelakis, N. A.; Oberdieck, R.; Papathanasiou, M. M.; Nascu, I.; Sun, M.
Cited in: 6 Publications (2015–2021)
Related Software: POP; ANTIGONE; MPT; ARGONAUT; SageMath; YALMIP
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

PTSC

Software Authors:   –
Cited in: 5 Publications (2012–2021)
Related Software: PAT; Isabelle; Coq; Maude; Uppaal; Maria; …
Main Fields: Computer science (68-XX)

TeaBag

Software Authors:   S. Antoy, S. Johnson
Cited in: 6 Publications (2005–2013)
Related Software: TOY; PAKCS; Hood; Hat; Freja; Oz; …
Main Fields: Computer science (68-XX)

Transactors

Software Authors:   Field, John; Varela, Carlos A.
Cited in: 6 Publications (2005–2018)
Related Software: Erlang; AmbientTalk; Timber; Cilk; ProActive; CauDEr; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriSmall

Software Authors:   Appel, Andrew W.
Cited in: 5 Publications (2012–2018)
Related Software: Coq; Charge!; Smallfoot; SLAyer; VeriFast; jStar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ASTRX/OBLX

Software Authors:   Ochotta, E.S. , Rutenbar, R.A., Carley, L.R
Cited in: 4 Publications (2007–2014)
Related Software: CGLS
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

BousiProlog

Software Authors:   Iranzo, Pascual Julián, Clemente Rubio-Manzano
Cited in: 0 Publications
Related Software: Likelog; SWI-Prolog; Rfuzzy; WordNet; HOL90; FRIL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CDOL

Software Authors:   Urban, Susan D.; Karadimce, Anton P.; Dietrich, Suzanne W.; Abdellatif, Taoufik Ben; Chan, Hon Wai Rene
Cited in: 4 Publications (1997–2002)
Related Software:
Main Fields: Computer science (68-XX)

HOMER

Software Authors:   David Hopkins; C. -H. Luke Ong
Cited in: 3 Publications (2005–2013)
Related Software: SLAM; BLAST; GTRECS2; HECTOR; C-SHORe
Main Fields: Computer science (68-XX)

Moby/DC

Software Authors:   Dierks, Henning; Tapken, Josef
Cited in: 5 Publications (2002–2012)
Related Software: Uppaal; Mcta; SLAM; Kronos; Z/EVES
Main Fields: Computer science (68-XX)

MONSTR

Software Authors:   Banach, R.
Cited in: 5 Publications (1995–1998)
Related Software: DACTL
Main Fields: Computer science (68-XX)

OpenKE

Software Authors:   Xu Han, Shulin Cao, Xin Lv, Yankai Lin, Zhiyuan Liu, Maosong Sun, Juanzi Li
Cited in: 2 Publications (2021)
Related Software: Pykg2vec; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; …
Main Fields: Computer science (68-XX)

PolyAML

Software Authors:   Dantas, D. S.; Walker, D.; Washburn, G.; Weirich, S
Cited in: 5 Publications (2005–2012)
Related Software: Aspectual Caml; AspectJ; MAVEN; Haskell; MzScheme; AspectScheme; …
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)

TinkerType

Software Authors:   Levin, Michael Y.; Pierce, Benjamin C.
Cited in: 5 Publications (2003–2010)
Related Software: ML; OCaml; Ott; CASL; LaTeX; Freshml; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ARPEGE

Software Authors:   Courtier P, Freydier C, Geleyn J, Rabier F, Rochas M
Cited in: 4 Publications (2012–2020)
Related Software: MM5; ExnerFOAM; DYNAMICO; AROME; ALADIN-NH; NICAM; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

AtMostNValue

Software Authors:   Fages, Jean-Guillaume; Lapègue, Tanguy
Cited in: 3 Publications (2014–2021)
Related Software: ToulBar2; Algorithm 457; AllDifferent; ptsplib; Choco; SDPLR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)