×

Found 31 Software Packages (Results 1–31)

Choco

Cited in 62 Documents (2001–2022)
Software Authors: Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team
Related Software: Gecode; CPLEX; CLAIRE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Rapide

Cited in 31 Documents (1997–2019)
Software Authors: Luckham, David C.
Related Software: HOL; Isar; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

SugarCubes

Cited in 6 Documents (2000–2016)
Software Authors: Boussinot, Frédéric; Susini, Jean-Ferdy
Related Software: Esterel; ULM; YACC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ALLUVSIM

Cited in 7 Documents (2013–2021)
Software Authors: Pyrcz MJ, Boisvert J, Deutsch CV
Related Software: FLUVSIM; SinGAN; Wasserstein GAN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

PyYAML

Cited in 3 Documents (2014–2017)
Software Authors: Kirill Simonov
Related Software: Python; NumPy; SciPy; …
Main Fields: Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX)

EoN

Cited in 2 Documents (2017–2019)
Software Authors: Joel C. Miller, Tony TIng
Related Software: Python; EpiModel; SciPy; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

FEND

Cited in 3 Documents (2021–2022)
Software Authors: Zhang, Chaowei; Gupta, Ashish; Kauten, Christian; Deokar, Amit V.; Qin, Xiao
Related Software: Tensor2Tensor; XLNet; BERT; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DEMSIM

Cited in 2 Documents (2005–2014)
Software Authors: Dasika, Madhukar S.; Gupta, Anshuman; Maranas, Costas D.
Related Software: TinkerCell
Main Fields: Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

GroudSim

Cited in 0 Documents
Software Authors: Simon Ostermann; Kassian Plankensteiner; Radu Prodan; Thomas Fahringer
Related Software: GloudSim; DCSim; DPWSim; …
Main Fields:

Hazelnut

Cited in 2 Documents (2017)
Software Authors: Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A.
Related Software: Mtac; js_of_ocaml; mbeddr; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

HyperFlow

Cited in 2 Documents (2018–2020)
Software Authors: A. Tootoonchian, Y. Ganjali
Related Software: GitHub; SDSNM; OpenFlowSIA; …
Main Fields: Computer science (68-XX)

ModSecurity

Cited in 1 Document (2022)
Software Authors: Felipe Zimmerle; et al.
Related Software: Saner; Snort; swrl; …
Main Fields: Computer science (68-XX)

RxJava

Cited in 1 Document (2018)
Software Authors:
Related Software: Kotlin; NullAway; Deeplearning4j; …
Main Fields: Computer science (68-XX)

WimpSim

Cited in 1 Document (2014)
Software Authors: J. Edsjö, J. Elevant, C. Niblaeus
Related Software: SuperIso Relic; PYTHIA8; LUXCalc; …
Main Fields: Quantum theory (81-XX); Relativity and gravitational theory (83-XX); Astronomy and astrophysics (85-XX)

ADEES

Cited in 1 Document (2002)
Software Authors: Vargas-Solar, Genoveva; Collet, Christine
Related Software:
Main Fields: Computer science (68-XX)

ASER

Cited in 1 Document (2022)
Software Authors: Zhang, Hongming; Liu, Xin; Pan, Haojie; Ke, Haowen; Ou, Jiefu; Fang, Tianqing; Song, Yangqiu
Related Software: Event2Mind; Penn Treebank; GPT-3; …
Main Fields: Computer science (68-XX)

DFTopoSim

Cited in 1 Document (2013)
Software Authors: Stright, Lisa; Bernhardt, Anne; Boucher, Alexandre
Related Software: ALLUVSIM; SGeMS; gss
Main Fields: Geophysics (86-XX)

eha

Cited in 1 Document (2021)
Software Authors: Malik, Avinash
Related Software: GitHub; OpenModelica; Simulink
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)

FAYE

Cited in 0 Documents
Software Authors: S. Patton
Related Software:
Main Fields:

JCop

Cited in 1 Document (2015)
Software Authors: Malte Appeltauer, Robert Hirschfeld
Related Software: ContextFJ; Featherweight Java
Main Fields: Computer science (68-XX)

nAIT

Cited in 1 Document (2009)
Software Authors: Andrew R. Dalton; Jason O. Hallstrom
Related Software: MPI; PVaniM; Jove; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Nest

Cited in 0 Documents
Software Authors: Eric Socolofsky
Related Software: GWT; p5.js; libQGLViewer; …
Main Fields:

NetSquid

Cited in 0 Documents
Software Authors: Tim Coopmans, Robert Knegjens, Axel Dahlberg, David Maier, Loek Nijsten, Julio de Oliveira Filho, Martijn Papendrecht, Julian Rabbie, Filip Rozpędek, Matthew Skrzypczyk, Leon Wubben, Walter de Jong, Damian Podareanu, Ariana Torres-Knoop, David Elkouss, Stephanie Wehner
Related Software: SeQUeNCe; QuNetSim; OMNet++; …
Main Fields:

NxTF

Cited in 0 Documents
Software Authors: Bodo Rueckauer, Connor Bybee, Ralf Goettsche, Yashwardhan Singh, Joyesh Mishra, Andreas Wild
Related Software: Brian; NEST; SpikeCoding; …
Main Fields:

PicoJSON

Cited in 0 Documents
Software Authors: Cybozu Labs, Inc.; Kazuho Oku
Related Software: MESA; MCNPX; Qt; …
Main Fields:

PYROBOTS

Cited in 0 Documents
Software Authors: S. Lemaignan, A. Hosseini, P. Dillenbourg
Related Software: Playful
Main Fields:

SpaDES

Cited in 0 Documents
Software Authors: Alex M Chubaty, Eliot J B McIntire, Yong Luo, Steve Cumming
Related Software: simmer.plot; dplyr; SimPy; …
Main Fields:

SuSyNA

Cited in 1 Document (2012)
Software Authors: SE Group, Eindhoven University of Technology
Related Software:
Main Fields: Systems theory; control (93-XX)

iFit

Cited in 0 Documents
Software Authors: E. Farhi; Y. Debab; P. Willendrup
Related Software:
Main Fields:

sPyNNaker

Cited in 0 Documents
Software Authors: Rhodes, O.; Bogdan, P. A.; Brenninkmeijer, C.; Davidson, S.; Fellows, D.; Gait, A.
Related Software:
Main Fields:

TADSim

Cited in 0 Documents
Software Authors: Mniszewski, Susan M.; Junghans, Christoph; Voter, Arthur F.; Perez, Danny; Eidenbenz, Stephan J.
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field