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)
CasADi Software Authors: Andersson, Joel; Åkesson, Johan; Diehl, Moritz Cited in: 68 Publications (2012–2023) Related Software: Ipopt; ACADO; qpOASES; Matlab; HSL; SUNDIALS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
GHC Software Authors: Ueda, Kazunori Cited in: 36 Publications (1986–2014) Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
CIL Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. Cited in: 30 Publications (2002–2022) Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Fiji Software Authors: Schindelin, J., et al Cited in: 24 Publications (2016–2022) Related Software: ImageJ; Python; COMSOL; Scikit; CellProfiler; R; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX)
DiaGen Software Authors: Minas, Mark; Viehstaedt, G. Cited in: 24 Publications (1997–2015) Related Software: GenGED; AToM3; PROGRES; AGG; GrGen; VIATRA2; … Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
ATL Software Authors: Jouault, Frédéric; Allilaire, Freddy; Bézivin, Jean; Kurtev, Ivan Cited in: 12 Publications (2008–2021) Related Software: HOL-OCL; AGG; Maude; UML2Alloy; Melanee; Henshin; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
PITA Software Authors: Riguzzi, Fabrizio; Swift, Terrance Cited in: 24 Publications (2010–2022) Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
DeLorean Software Authors: – Cited in: 13 Publications (2009–2017) Related Software: Fuzzydl; FaCT++; pg4DB; FPROLOG; FRIL; Ciao; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriMAP Software Authors: De Angelis E, Fioravanti F, Pettorossi A, Proietti M Cited in: 12 Publications (2015–2022) Related Software: z3; SeaHorn; TRACER; Spacer; CVC4; ARMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
CheckVML Software Authors: Ákos Schmidt, Dániel Varró Cited in: 8 Publications (2004–2019) Related Software: SPIN; GROOVE; Bogor; Augur 2; PROGRES; Fujaba; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
VPM Software Authors: Dániel Varró, András Pataricza Cited in: 4 Publications (2005–2007) Related Software: VIATRA2; PROGRES; AGG; AToM3; Fujaba; Graph transformation benchmarks; … Main Fields: Computer science (68-XX)
biXid Software Authors: Kawanaka, Shinya; Hosoya, Haruo Cited in: 7 Publications (2006–2018) Related Software: XSugar; XDuce; Rocksalt; BakerSFIeld; GDSL; BAP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
HYST Software Authors: Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson Cited in: 7 Publications (2015–2019) Related Software: SpaceEx; CORA; C2e2; PHAVer; HyTech; dReach; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
MCINTYRE Software Authors: Riguzzi, F. Cited in: 7 Publications (2015–2019) Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; … Main Fields: Computer science (68-XX)
POEM Software Authors: Universite de Provence; Niebert, Peter; Qu, Hongyang Cited in: 7 Publications (2006–2012) Related Software: SPIN; IF-2.0; Uppaal; MiniSat; Checkfence; BEEM; … Main Fields: Computer science (68-XX)
Ralf Software Authors: Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt Cited in: 6 Publications (1997–2014) Related Software: RALL; RelView; Isabelle/HOL; Rath; ARA; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
CDAOstore Software Authors: Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben Cited in: 3 Publications (2011–2016) Related Software: – Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Cetus Software Authors: Lee, Sang-Ik; Johnson, Troy A.; Eigenmann, Rudolf Cited in: 2 Publications (2004–2011) Related Software: AspectC++; Zoltar; Daikon; IODINE; LARA; OpenUH; … Main Fields: Computer science (68-XX)
ImpUNITY Software Authors: Goeman, H.J.M.; Kok, J.N.; Sere, K.; Udink, R.T. ti: Coordination in the ImpUNITY framework. Cited in: 4 Publications (1998–2008) Related Software: – Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
Rascal Software Authors: Hills, Mark; Klint, Paul; Vinju, Jurgen J. Cited in: 3 Publications (2010–2013) Related Software: Maude; Stratego; MetaEdit+; Simpl; Spoofax; Xtext; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SAFECode Software Authors: Dhurjati, D., Kowshik, S., Adve, V. Cited in: 4 Publications (2008–2013) Related Software: CCured; Coq; LLVM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ADiJaC Software Authors: Emil-Ioan Slusanschi, Vlad Dumitrel, Silvia Stegaru, Cristina Ilie, Alex Teaca, Daniel Mahu, Christian Bischof Cited in: 3 Publications (2016–2020) Related Software: TAPENADE; DiffSharp; Cosy; ADiMat; CppAD; FADBAD++; … Main Fields: Numerical analysis (65-XX)
APSEE Software Authors: Lima Reis, Carla A.; Quites Reis, Rodrigo; de Abreu, Marcelo M.; Schlebbe, Heribert; Nunes, Daltro J. Cited in: 3 Publications (2002–2010) Related Software: – Main Fields: Computer science (68-XX)
Cairo Software Authors: Cairo Graphics Cited in: 1 Publication (2019) Related Software: RGtk2; R; rJava; GGobi; cairoDevice; GTK+; … Main Fields: Statistics (62-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)
ObjectCurry Software Authors: Hanus, Michael; Huch, Frank; Niederau, Philipp Cited in: 3 Publications (1994–2013) Related Software: Oz; PAKCS; Curry; Mercury; BABEL; TOY; … Main Fields: Computer science (68-XX)
SXSLT Software Authors: Kiselyov, Oleg; Krishnamurthi, Shriram Cited in: 3 Publications (2002–2005) Related Software: XPath; XQuery; Bigloo; pregexp; SSAX Main Fields: Computer science (68-XX)
ExaSlang Software Authors: C. Schmitt, S. Kuckuk, F. Hannig, H. Köstler, J. Teich Cited in: 2 Publications (2020–2022) Related Software: FESTUNG; MODESTO; SDSLc; Petalisp; Exa-Dune; HyTeG; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-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)
gccXfront Software Authors: M. Hennessy, B.A. Malloy, J.F. Power Cited in: 1 Publication (2007) Related Software: muJava; TUAnalyzer; XOgastan; Columbus Main Fields: Computer science (68-XX)
JAP Software Authors: Pham-Quang, Phuong; Delinchant, Benoit Cited in: 2 Publications (2012–2020) Related Software: Matlab; ADiJaC; dco/c++; AlgoPy; DiffSharp; DNAD; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
SEET Software Authors: Azizi, B.; Zamani, B.; Rahimi, S. K. Cited in: 2 Publications (2021–2023) Related Software: GROOVE Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
XPTO Software Authors: Flávio Ferreira, Hugo Pacheco Cited in: 2 Publications (2011) Related Software: XPath; Haskell; Stratego; RepLib; Polyp Main Fields: Computer science (68-XX)
DeltaEcore Software Authors: Seidl, C., Schaefer, I., Aßmann, U. Cited in: 1 Publication (2018) Related Software: NAT2TEST; Boogie; contractLarva; DarwinSPL; SCEst; SCCharts; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Meta Model Isabelle Software Authors: Frédéric Tuong; Burkhart Wolff Cited in: 1 Publication (2016) Related Software: Isabelle/HOL; Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
ptdalgorithms Software Authors: Røikjer, Tobias; Hobolth, Asger; Munch, Kasper Cited in: 1 Publication (2022) Related Software: PhaseTypeR; R; expm Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)
QuixBugs Software Authors: D. Lin, J. Koppel, A. Chen, A. Solar-Lezama Cited in: 0 Publications Related Software: Codeflaws; Bugbench; JUnit; GHTorrent; JGit; GitHub; … Main Fields: –
Rubydust Software Authors: An, Jong-hoon (David); Chaudhuri, Avik; Foster, Jeffrey S.; Hicks, Michael Cited in: 1 Publication (2011) Related Software: Ruby Main Fields: Computer science (68-XX)
SmartTools Software Authors: Attali, Isabelle; Courbis, Carine; Degenne, Pascal; Fau, Alexandre; Parigot, Didier Cited in: 1 Publication (2001) Related Software: ATERM Main Fields: Computer science (68-XX)
smif Software Authors: Usher, W.; Russell, T Cited in: 0 Publications Related Software: ukpopulation; humanleague; pymt; Python; Cylc Main Fields: –
TAO_XML_T Software Authors: Maresca, Paolo; Guercio, Angela; Arndt, Tim; Donadio, Pasquale Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
WordNet2Vec Software Authors: Roman Bartusiak, Łukasz Augustyniak, Tomasz Kajdanowicz, Przemysław Kazienko, Maciej Piasecki Cited in: 0 Publications Related Software: – Main Fields: –