AGG Cited in 70 Documents (1994–2023) Software Authors: Gabriele Taentzer Related Software: GROOVE; PROGRES; AToM3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …
GROOVE Cited in 45 Documents (2004–2023) Software Authors: Kastenberg, H., Rensink, A. Related Software: AGG; SPIN; CheckVML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
AToM3 Cited in 17 Documents (2002–2013) Software Authors: de Lara, Juan; Vangheluwe, Hans Related Software: AGG; VIATRA2; DiaGen; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
VIATRA2 Cited in 18 Documents (2006–2019) Software Authors: Varró, Dániel; Balogh, András Related Software: PROGRES; AGG; Graph transformation benchmarks; … Main Fields: Computer science (68-XX)
OpenAD/F Cited in 23 Documents (2007–2022) Software Authors: Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl Related Software: TAPENADE; ADIFOR; ADOL-C; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
GrGen Cited in 16 Documents (2006–2021) Software Authors: Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam Related Software: AGG; PROGRES; GROOVE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Henshin Cited in 20 Documents (2012–2021) Software Authors: Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer Related Software: AGG; GROOVE; PRISM; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
GXL Cited in 10 Documents (2002–2020) Software Authors: Holt, Richard C.; Schürr, Andy; Sim, Susan Elliott; Winter, Andreas Related Software: PROGRES; AGG; GROOVE; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
AGREE Cited in 15 Documents (2015–2023) Software Authors: Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L. Related Software: Verigraph; AGG; Henshin; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
Augur 2 Cited in 10 Documents (2006–2020) Software Authors: König, Barbara; Kozioura, Vitali Related Software: GROOVE; SPIN; CheckVML; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
DIEGO Cited in 13 Documents (1995–2017) Software Authors: Taentzer, Gabriele; Schürr, Andy Related Software: PROGRES; DACTL; AGG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
CAESAR Cited in 11 Documents (2004–2021) Software Authors: Hubert Garavel; Wendelin Serwe; INRIA Rhone-Alpes Related Software: CADP; NUPN_INFO; caesar.bdd; … Main Fields: Computer science (68-XX)
CheckVML Cited in 8 Documents (2004–2019) Software Authors: Ákos Schmidt, Dániel Varró Related Software: SPIN; GROOVE; Bogor; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Graph transformation benchmarks Cited in 4 Documents (2006–2010) Software Authors: G. Varró, A. Schürr, D. Varró Related Software: PROGRES; VIATRA2; GrGen; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
VPM Cited in 4 Documents (2005–2007) Software Authors: Dániel Varró, András Pataricza Related Software: VIATRA2; PROGRES; AGG; … Main Fields: Computer science (68-XX)
MOMENT2 Cited in 9 Documents (2010–2016) Software Authors: Artur Boronat; Peter Csaba Ölveczky Related Software: Maude; ITP/OCL; Ptolemy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MOFLON Cited in 1 Document (2006) Software Authors: Amelunxen, C., Königs, A., Rötschke, T., Schürr Related Software: Moflon; PROGRES; AGG; … Main Fields: Computer science (68-XX)
Verigraph Cited in 9 Documents (2016–2023) Software Authors: Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo Related Software: AGG; AGREE; egg; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
MedOlDatschgerl Cited in 8 Documents (2016–2022) Software Authors: Andersen, Jakob L.; Flamm, Christoph; Merkle, Daniel; Stadler, Peter F. Related Software: BGL; Boost; BinaryTrees; … Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
EAGO.jl Cited in 6 Documents (2022–2023) Software Authors: Wilhelm ME, Stuber MD Related Software: Julia; ANTIGONE; libMC; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Grez Cited in 6 Documents (2014–2020) Software Authors: Bruggink HJS, König B, Zantema H. Related Software: MedOlDatschgerl; z3; AGG; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
Model Transformation Tools Cited in 6 Documents (1999–2020) Software Authors: Peter Gawthrop Related Software: MTT; Matlab; Scilab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
ViewPoints Cited in 5 Documents (2000–2010) Software Authors: Goedicke, Michael; Enders, Bettina; Meyer, Torsten; Taentzer, Gabriele Related Software: Maude; Reo; Z; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
GGL Cited in 3 Documents (2016–2018) Software Authors: Mann, M., Ekker, H., Flamm, C. Related Software: RuleMerger; VMQL; gSpan; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
GReAT Cited in 3 Documents (2012–2016) Software Authors: Daniel Balasubramanian, Anantha Narayanan, Christopher van Buskirk, Gabor Karsai Related Software: Maude; AToM3; VIATRA2; … Main Fields: Computer science (68-XX)
OCL2AC Cited in 4 Documents (2019–2020) Software Authors: Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Related Software: Henshin; OCLinEcore; ENFORCe; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
ROSE Cited in 4 Documents (2003–2010) Software Authors: Dan Quinlan Related Software: SUIF; GAMS; AMPL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SAFECode Cited in 4 Documents (2008–2013) Software Authors: Dhurjati, D., Kowshik, S., Adve, V. Related Software: CCured; Coq; LLVM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
APSEE Cited in 3 Documents (2002–2010) Software Authors: Lima Reis, Carla A.; Quites Reis, Rodrigo; de Abreu, Marcelo M.; Schlebbe, Heribert; Nunes, Daltro J. Related Software: – Main Fields: Computer science (68-XX)
GRAGRA Cited in 3 Documents (2015–2018) Software Authors: Ryszka, Iwona; Paszyńska, Anna; Grabska, Ewa; Sieniek, Marcin; Paszyński, Maciej Related Software: METIS Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
LightGCN Cited in 2 Documents (2021–2022) Software Authors: Xiangnan He, Kuan Deng, Xiang Wang, Yan Li, Yongdong Zhang, Meng Wang Related Software: Adam; Cornac; RiVal; … Main Fields: Computer science (68-XX)
SiTra Cited in 1 Document (2020) Software Authors: Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D. Related Software: UML2Alloy; Z; AGG; … Main Fields: Computer science (68-XX)
AutoGraph Cited in 0 Documents Software Authors: Dan Moldovan, James M Decker, Fei Wang, Andrew A Johnson, Brian K Lee, Zachary Nado, D Sculley, Tiark Rompf, Alexander B Wiltschko Related Software: MXNet; ONNX; PyTorch; … Main Fields: –
BlinkFill Cited in 1 Document (2020) Software Authors: Rishabh Singh Related Software: FlashMeta; Infer.NET; z3; … Main Fields: Computer science (68-XX)
DrAGoM Cited in 2 Documents (2019–2020) Software Authors: Nolte, D. Related Software: AGG; Grez; CatLib; … Main Fields: Computer science (68-XX)
Ferret Cited in 2 Documents (2019) Software Authors: Jefferson, Christopher Related Software: GAP; Traces; nauty; … Main Fields: Group theory and generalizations (20-XX)
FlexProt Cited in 1 Document (2008) Software Authors: Maxim Shatsky, Ruth Nussinov, Haim J Wolfson Related Software: STRIDE; Jalview; VMD; … Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)
Fragger Cited in 2 Documents (2020–2021) Software Authors: Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro Related Software: KappaTools; BGL; MedOlDatschgerl; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
GMTE Cited in 2 Documents (2013–2019) Software Authors: Hannachi, Mohamed Amine; Bouassida Rodriguez, Ismael; Drira, Khalil; Pomares Hernandez, Saul Eduardo Related Software: jLibBig; GraphML; AGG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
GRoundTram Cited in 2 Documents (2015–2018) Software Authors: Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K. Related Software: UnQL Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
PowerMethod Cited in 1 Document (2017) Software Authors: Todd Headrick; Yanyan Sheng; Flaviu-Adrian Hodis Related Software: Mathematica; Matlab; SEPath; … Main Fields: Statistics (62-XX)
R2D Cited in 2 Documents (2009–2010) Software Authors: Ramanujam, Sunitha; Gupta, Anubha; Khan, Latifur; Thuraisingham, Bhavani; Seida, Steven Related Software: SPARQL; DataVision; D2RQ; … Main Fields: Computer science (68-XX)
REforDI Cited in 1 Document (2002) Software Authors: Cremer, Katja; Marburger, André; Westfechtel, Bernhard Related Software: PROGRES; GRAS; Graph transformation benchmarks; … Main Fields: Computer science (68-XX)
deGSM Cited in 1 Document (2020) Software Authors: Hongzhe Guo, Yilei Fu, Yan Gao, Junyi Li, Yadong Wang, Bo Liu Related Software: GitHub; KMC Main Fields: Biology and other natural sciences (92-XX)
DPOdactic Cited in 1 Document (2020) Software Authors: Matjeka, M. Related Software: AGG; Grez; CatLib; … Main Fields: Computer science (68-XX)
GroIMP Cited in 1 Document (2020) Software Authors: Department Ecoinformatics, Biometrics and Forest Growth, Georg-August University of Göttingen Related Software: – Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Jerboa Cited in 1 Document (2014) Software Authors: Belhaouari, Hakim; Arnould, Agnés; Le Gall, Pascale; Bellet, Thomas Related Software: CGoGN; MOKA Main Fields: Computer science (68-XX)
MIGRATE Cited in 1 Document (2021) Software Authors: Cravo, Diogo Raphael; Ribeiro, Leila Related Software: APIDiff; Verigraph Main Fields: Computer science (68-XX)
nonexistent_ties Cited in 1 Document (2020) Software Authors: Daley, Kevin; Zhao, Kun; Belykh, Igor V. Related Software: GitHub Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX)
pergm Cited in 1 Document (2019) Software Authors: Bauer V. Related Software: GitHub; Rcpp; snow; … Main Fields: Combinatorics (05-XX); Statistics (62-XX)
ptdalgorithms Cited in 1 Document (2022) Software Authors: Røikjer, Tobias; Hobolth, Asger; Munch, Kasper Related Software: R; PhaseTypeR; expm Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
PTGTSs Cited in 1 Document (2020) Software Authors: Zöllner, Christian; Barkowsky, Matthias; Maximova, Maria; Schneider, Melanie; Giese, Holger Related Software: PRISM; Henshin; SimSG Main Fields: Computer science (68-XX)
SimSG Cited in 1 Document (2020) Software Authors: Ehmes, S., Fritsche, L., Schürr, A. Related Software: PRISM; Henshin; PTGTSs Main Fields: Computer science (68-XX)
TSMining Cited in 0 Documents Software Authors: Cheng Fan Related Software: jmotif; Rcpp; R; … Main Fields: –
XOgastan Cited in 1 Document (2007) Software Authors: G. Antoniol, M. Di Penta, G. Masone, U. Villano Related Software: gccXfront; TUAnalyzer; Columbus Main Fields: Computer science (68-XX)