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)
eLBM Software Authors: Alpak, F. O.; Zacharoudiou, I.; Berg, S.; Dietderich, J.; Saxena, N. Cited in: 4 Publications (2019–2022) Related Software: drp-benchmarks; Trilinos; CUDA Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
stprbh Software Authors: Sinnl, Markus; Ljubić, Ivana Cited in: 4 Publications (2016–2022) Related Software: Boost; Boost C++ Libraries; TSPLIB; DIMACS; OR-Library; OGDF; … Main Fields: Operations research, mathematical programming (90-XX)
PIROL Software Authors: Herrmann, Stephan Cited in: 3 Publications (2002–2003) Related Software: AspectJ; ArchJava Main Fields: Computer science (68-XX)
Jinja not Java Software Authors: Gerwin Klein; Tobias Nipkow Cited in: 2 Publications (2016–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; K Prover; CLDC; BicolanoMT; Jinja Threads; … Main Fields: Computer science (68-XX)
LPMD Software Authors: Davis, Sergio; Loyola, Claudia; Gonz'alez, Felipe; Peralta, Joaqu{'i}n Cited in: 2 Publications (2010–2021) Related Software: DL_POLY_3; Moldy Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
Sandcrust Software Authors: Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig Cited in: 0 Publications Related Software: Retire.js; ConflictJS; Synode; Node.js; npm; BreakApp; … Main Fields: –
FsePSA Software Authors: Safa Jammali, Esaie Kuitche, Ayoub Rachati, François Bélanger, Michelle Scott, Aïda Ouangraoua Cited in: 0 Publications Related Software: – Main Fields: –