WSAT Software Authors: Fu, Xiang; Bultan, Tevfik; Su, Jianwen Cited in: 29 Publications (2004–2019) Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
LTSA-WS Software Authors: Magee J, Kramer J, Uchitel S, et al Cited in: 11 Publications (2006–2021) Related Software: WSAT; NuSMV; LoLA; Uppaal; COWS; ITACA; … Main Fields: Computer science (68-XX)
SWORD Software Authors: S Ponnekanti, A Fox Cited in: 5 Publications (2005–2012) Related Software: Jolie; NuSMV; SHOP2; SPARQL; WSBen; PDDL; … Main Fields: Computer science (68-XX)
JOpera Software Authors: Pautasso C, Alonso G. Cited in: 3 Publications (2007–2012) Related Software: Graphplan; AO4BPEL; cglib; Google Maps API; JBoss; Jolie; … Main Fields: Computer science (68-XX)
OligoPred Software Authors: Qiu, J. D.; Suo, S. B.; Sun, X. Y.; Shi, S. P.; Liang, R. P. Cited in: 5 Publications (2012–2013) Related Software: Cell-PLoc; SecretP; iLoc-Euk; iLoc-Virus; iLoc-Hum; iDNA-Prot; … Main Fields: Combinatorics (05-XX); Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX)
Triana Software Authors: Majithia, S.; Cardiff Sch. of Comput. Sci., Cardiff Univ., UK; Shields, M.; Taylor, I.; Wang, I. Cited in: 0 Publications Related Software: Taverna; GridFlow; MiToBo; ImageJ; KNIME; Alida; … Main Fields: –
Orange4WS Software Authors: V. Podpečan, M. Zemenova, N. Lavrač Cited in: 3 Publications (2016–2019) Related Software: Orange; WEKA; SimRank; PL-ranking; SEGS; SegMine; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
AutoSyn Software Authors: Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng Cited in: 3 Publications (2009–2012) Related Software: WSAT; NuSMV; LTSA-WS; SWORD Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WS2JADE Software Authors: Xuan Thang Nguyen, Ryszard Kowalczyk, Mohan Baruwal Chhetri, Alasdair Grant Cited in: 1 Publication (2006) Related Software: JADE; SNAP Main Fields: Computer science (68-XX)
RAACBook Software Authors: – Cited in: 1 Publication (2021) Related Software: GitHub; iBLP; Deep4mC; iDNA-MS; PSAC; FoldRec-C2C; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
SCAIMO Software Authors: Dastjerdi, Amir Vahid; Tabatabaei, Sayed Gholam Hassan; Kadir, Wan M.N.Wan; Ibrahim, Suhaimi; Sarafian, Elahe Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
Phylotastic Software Authors: Hai Nguyen, Thanh; Pontelli, Enrico; Cao Son, Tran; Stoltzfus, A. Cited in: 0 Publications Related Software: – Main Fields: –