×

Found 12 Software Packages (Results 1–12)

APMC

Cited in 29 Documents (2004–2021)
Software Authors: Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Related Software: PRISM; Uppaal; Storm; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

DILAND

Cited in 8 Documents (2010–2023)
Software Authors: Khan, Usman A.; Kar, Soummya; Moura, José M. F.
Related Software: Adam; AdaGrad; Saga
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

TinyOS

Cited in 6 Documents (2008–2019)
Software Authors: Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O.
Related Software: FDR3; ProB; AUTOSAR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

EEMC

Cited in 4 Documents (2008–2022)
Software Authors: Jin, Yan; Wang, Ling; Kim, Yoohwan; Yang, Xiaozong
Related Software: odmd; Boids; ABC; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

dgpf

Cited in 3 Documents (2009–2013)
Software Authors: Weise, Thomas; Zapf, Michael; Khan, Mohammad Ullah; Geihs, Kurt
Related Software: MSOPS-II; SIGOA; Genocop; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

BranchBoundforWSN

Cited in 2 Documents (2021–2022)
Software Authors: Zhu, Xiaojun; Tang, Shaojie
Related Software: GitHub; CPLEX
Main Fields: Operations research, mathematical programming (90-XX)

DCLA

Cited in 1 Document (2010)
Software Authors: De Paz, Rodolfo; Pesch, Dirk
Related Software:
Main Fields: Computer science (68-XX)

DOAMI

Cited in 1 Document (2019)
Software Authors: Zhang, Kejia; Han, Qilong; Cai, Zhipeng; Yin, Guisheng; Lin, Junyu
Related Software:
Main Fields: Computer science (68-XX)

EDAS

Cited in 0 Documents
Software Authors: Seo, Jaewan; Kim, Moonseong; Choo, Hyunseung; Mutka, Matt W.
Related Software:
Main Fields:

tangle-network-particle-filter

Cited in 1 Document (2021)
Software Authors: Tslil, Or; Feiner, Tal; Carmi, Avishy
Related Software: GitHub
Main Fields: Systems theory; control (93-XX)

TDBS

Cited in 1 Document (2008)
Software Authors: Koub^aa, Anis; Cunha, Andr'e; Alves, M'ario; Tovar, Eduardo
Related Software: I.P.P.
Main Fields: Computer science (68-XX)

WAPN

Cited in 1 Document (2009)
Software Authors: Kong, Fan-Rui; Li, Chun-Wen; Ding, Qing-Qing; Cui, Guang-Zhao; Cui, Bing-Yi
Related Software:
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field