APMC Cited in 30 Documents (2004–2021) Software Authors: Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain Related Software: PRISM; Uppaal; PLASMA-lab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DILAND Cited in 9 Documents (2010–2023) Software Authors: Khan, Usman A.; Kar, Soummya; Moura, José M. F. Related Software: AdaGrad; Adam; 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)
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)
EDAS Cited in 0 Documents Software Authors: Seo, Jaewan; Kim, Moonseong; Choo, Hyunseung; Mutka, Matt W. Related Software: – Main Fields: –