OMRS Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio Cited in: 38 Publications (1995–2009) Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
ACTLW Software Authors: – Cited in: 6 Publications (2008–2016) Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RGITL Software Authors: Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang Cited in: 7 Publications (2014–2022) Related Software: SPIN; KIV; GNATprove; Isabelle/HOL; CIRC; CPAchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CASPA Software Authors: Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus Cited in: 4 Publications (2008–2015) Related Software: PRISM; CUDD; PARAM Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
TransG Software Authors: Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu Cited in: 4 Publications (2019–2022) Related Software: word2vec; GitHub; RDF2vec; DGL; shap; DBpedia; … Main Fields: Computer science (68-XX)
Qex Software Authors: Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan Cited in: 3 Publications (2010–2011) Related Software: MONA; z3; TPTP; Dafny Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Vivid Software Authors: Arkoudas, Konstantine; Bringsjord, Selmer Cited in: 3 Publications (2009–2017) Related Software: SNARK; Mizar; Mathematica; Hyperproof; Dr.Doodle; CafePie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
VST-Floyd Software Authors: Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. Cited in: 3 Publications (2018–2021) Related Software: Coq; Toolchain; Rust; Dafny; RustBelt; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ariel Software Authors: Morris, James M.; Howard, Mark Cited in: 2 Publications (1991) Related Software: Caliban; Clio; Miranda Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
GROOME Software Authors: Ganzha, Victor G.; Chibisov, Dmytro; Vorozhtsov, Evgenii V. Cited in: 2 Publications (2001) Related Software: SciNapse; Maple Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)
BinSim Software Authors: Ming, J., Xu, D., Jiang, Y., Wu, D. Cited in: 1 Publication (2019) Related Software: VOT4CS; pyftpdlib; DynOpVm; VMHunt; NISLVMP; SEEAD; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
ConfigChecker Software Authors: Al-Shaer, E., Alsaleh, M. Cited in: 1 Publication (2018) Related Software: GitHub; Autoref; nftables; iptables; pgf; Routing; … Main Fields: Computer science (68-XX)
Forest Software Authors: Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q. Cited in: 0 Publications Related Software: Graphviz Main Fields: –
JFIX Software Authors: LE, Dinh Xuan Bach; David Lo Cited in: 0 Publications Related Software: Codeflaws; Qlose; Angelix; GZoltar; Nopol; ASTOR; … Main Fields: –
Metatheory.jl Software Authors: Alessandro Cheli Cited in: 0 Publications Related Software: MatchCore.jl; MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia Main Fields: –
StrataGEM Software Authors: López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier Cited in: 0 Publications Related Software: BEEM; Tom; libDDD; SPIN; ELAN Main Fields: Computer science (68-XX)