ELAN Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Cited in: 105 Publications (1996–2020) Related Software: Maude; OBJ3; CafeOBJ; Stratego; Haskell; ATERM; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
AGG Software Authors: Gabriele Taentzer Cited in: 67 Publications (1994–2022) Related Software: GROOVE; PROGRES; AToM3; GrGen; VIATRA2; Henshin; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)
Tom Software Authors: Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles Cited in: 22 Publications (2006–2022) Related Software: Stratego; Maude; ASF+SDF; ELAN; PORGY; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
CARIBOO Software Authors: O. Fissore, I. Gnaedig, H. Kirchner Cited in: 14 Publications (2004–2012) Related Software: Maude; AProVE; ELAN; MU-TERM; Tsukuba; REVE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JAFMAS Software Authors: Chauhan, D Cited in: 3 Publications (2000–2007) Related Software: CLIPS; DECAF Main Fields: Computer science (68-XX)
CHRAnimation Software Authors: Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom Cited in: 2 Publications (2015) Related Software: BALSA; Zeus; ANIMAL; JAWAA Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ICOT Software Authors: Yang, Hyung Jeong; Yang, Jae Dong; Kim, Yeongho Cited in: 2 Publications (1998–2002) Related Software: – Main Fields: Computer science (68-XX)
Chromar Software Authors: Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris Cited in: 2 Publications (2018–2022) Related Software: PySB; BioNetGen; APL; SNOOPY; Haskell; pyModelChecking; … Main Fields: Biology and other natural sciences (92-XX)
F--MP Software Authors: Yang, Jae Dong Cited in: 2 Publications (1997–2001) Related Software: KernSmooth Main Fields: Computer science (68-XX)
Fragger Software Authors: Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro Cited in: 2 Publications (2020–2021) Related Software: KappaTools; BGL; MedOlDatschgerl; Boost Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
TRuML Software Authors: Suderman R, Hlavacek WS Cited in: 1 Publication (2019) Related Software: BioNetGen; Dask; PyDREAM; inspyred; MEIGO; SUNDIALS; … Main Fields: Biology and other natural sciences (92-XX)
MixLog Software Authors: Smith, Donald A. Cited in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
NeuralKG Software Authors: Wen Zhang, Xiangnan Chen, Zhen Yao, Mingyang Chen, Yushan Zhu, Hongtao Yu, Yufeng Huang, Zezhong Xu, Yajing Xu, Ningyu Zhang, Zonggang Yuan, Feiyu Xiong, Huajun Chen Cited in: 0 Publications Related Software: DGL-KE; Pykg2vec; DGL; RotatE; YAGO; OpenKE; … Main Fields: –
vmake Software Authors: Swoboda, P.; Wadge, W. W. Cited in: 1 Publication (2000) Related Software: PERL Main Fields: Computer science (68-XX)
x.ent Software Authors: Nicolas Turenne,Tien T. Phan, John Resig, Jeroen Ooms Cited in: 0 Publications Related Software: – Main Fields: –