Found 19 Software Packages (Results 1–19)


Software Authors:   Giering, Ralf; Kaminski, Thomas
Cited in: 72 Publications (1998–2021)
Related Software: TAF; ADIFOR; ADOL-C; ADIC; Odyssee; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Beazley, D.M.
Cited in: 39 Publications (2000–2022)
Related Software: Python; NumPy; F2PY; SciPy; Octave; Matlab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)


Software Authors:   Hedin, Görel; Magnusson, Eva
Cited in: 16 Publications (2003–2016)
Related Software: Stratego; ANTLR; Spoofax; Polyglot; ASF+SDF; TXL; …
Main Fields: Computer science (68-XX)


Software Authors:   Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam
Cited in: 15 Publications (2006–2020)
Related Software: GROOVE; AGG; PROGRES; Graph transformation benchmarks; Fujaba; GP 2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)


Software Authors:   Martin, Florian
Cited in: 20 Publications (1996–2018)
Related Software: NINJA; CiaoPP; Ciao; Aspic; Coq; JTransformer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)


Software Authors:   Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J.
Cited in: 11 Publications (2000–2010)
Related Software: VCODE; TALx86; ASM; LMS; Flask; BCEL; …
Main Fields: Computer science (68-XX)

Visual DSD

Software Authors:   Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.
Cited in: 10 Publications (2013–2020)
Related Software: PRISM; CRN++; MedOlDatschgerl; ERODE; PoplMark; z3
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)


Software Authors:   Neis, Georg; Hur, Chung-Kil; Kaiser, Jan-Oliver; McLaughlin, Craig; Dreyer, Derek; Vafeiadis, Viktor
Cited in: 6 Publications (2015–2021)
Related Software: Coq; CakeML; Isabelle/HOL; HOL; Boogie; Kami; …
Main Fields: Computer science (68-XX)


Software Authors:   Timothy Bourke, Marc Pouzet
Cited in: 4 Publications (2013–2022)
Related Software: StateFlow; Simulink; Ptolemy; iFEST; Cheddar; Daikon; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Green, Edward L.; Heath, Lenwood S.; Keller, Benjamin J.
Cited in: 3 Publications (1997–2009)
Related Software: NCGB; PCCTS; ANTLR; LiDIA; Letterplace; ANICK; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)


Software Authors:   SCons Foundation
Cited in: 0 Publications
Related Software: NumPy; Python; FFTW; agrid; GDAL; Cartopy; …
Main Fields:


Software Authors:   Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia
Cited in: 2 Publications (1990–1995)
Related Software:
Main Fields: Computer science (68-XX)


Software Authors:   Michael Pellauer; Markus Forsberg; Aarne Ranta
Cited in: 1 Publication (2006)
Related Software: Haskell; DrIFT; Agda; Polyp
Main Fields: Computer science (68-XX)


Software Authors:   Hoste Kenneth, Eeckhout Lieven
Cited in: 0 Publications
Related Software: TACT; Micomp; Acovea; LARA; COBAYN; Milepost GCC; …
Main Fields:


Software Authors:   Kane, Kevin; Browne, James C.
Cited in: 1 Publication (2004)
Related Software: Klava
Main Fields: Computer science (68-XX)


Software Authors:   Albinus, M.; Assmann, W.
Cited in: 1 Publication (1989)
Related Software: Modula
Main Fields: Computer science (68-XX)


Software Authors:   Saarikivi, Olli; Heljanko, Keijo
Cited in: 1 Publication (2016)
Related Software: STP; LCT; jCUTE; SMACK; BoogiePL; Vellvm; …
Main Fields: Computer science (68-XX)


Software Authors:   Hank Dietz, T. Parr
Cited in: 1 Publication (1997)
Related Software: Opal; ANTLR; LiDIA
Main Fields: Computer science (68-XX)


Software Authors:   Kienle, Holger M.; Moore, David L.
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)