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)
Idris Software Authors: Edwin Brady Cited in: 39 Publications (2011–2022) Related Software: Coq; Agda; Irdis; Haskell; Nuprl; Lean; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
PIPER Software Authors: Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob Cited in: 28 Publications (2002–2017) Related Software: SLMC; PiDuce; Cyclone; Automath; TyPiCal; COWS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Irdis Software Authors: – Cited in: 22 Publications (2011–2021) Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
Datalog LITE Software Authors: Gottlob, Georg; Grädel, Erich; Veith, Helmut Cited in: 9 Publications (2002–2019) Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PROCOL Software Authors: van den Bos, Jan; Laffa, Chris Cited in: 7 Publications (1991–2002) Related Software: AspectJ; PICCOLA; JAsCo; Rapide; Simula 67; Eiffel; … Main Fields: Computer science (68-XX)
VeriFlow Software Authors: A. Khurshid, X. Zou, W. Zhou, M. Caesar, P. B. Godfrey Cited in: 6 Publications (2016–2021) Related Software: NetKAT; Anteater; VeriCon; CESAR; Frenetic; Kuai; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
DeltaCCS Software Authors: Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars Cited in: 4 Publications (2015–2020) Related Software: VMC; Maude; BuDDy; PGSolver; MSTA; MultiVeStA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Charlie Software Authors: Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry Cited in: 2 Publications (2015–2017) Related Software: SNOOPY; SNAKES; ANDy; Möbius; ZBDD; SABRE; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
CHR Software Authors: Christian Holzbaur, Tom Schrijvers, Tom Schrijvers Cited in: 4 Publications (2002–2018) Related Software: Haskell; SCIFF; ACORDA; HYPROLOG; SWI-Prolog; XSB; … Main Fields: Computer science (68-XX)
CRSX Software Authors: Rose, K.H.; IBM Cited in: 3 Publications (2009–2011) Related Software: Automath; Nominal Isabelle; PoplMark; Abella; Twelf; XQuery; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PreDeLo Software Authors: Giordano, L., Gliozzi, V., Jalal, A., Olivetti, N. and Pozzato, G.L Cited in: 2 Publications (2015) Related Software: DysToPic; leanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PyBioNetFit Software Authors: Mitra, ED; Suderman, R.; Colvin, J.; Ionkov, A.; Hu, A.; Sauro, HM; Posner, RG; Hlavacek, WS Cited in: 1 Publication (2020) Related Software: COPASI; AMIGO; tellurium; MEIGO; BioNetGen; Data2Dynamics; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
eBCSgen Software Authors: Troják, Matej; Šafránek, David; Brozmann, Branislav; Brim, Luboš Cited in: 2 Publications (2020–2022) Related Software: pyModelChecking; rxncon; libSBML; Chromar; PySB; BioNetGen Main Fields: Biology and other natural sciences (92-XX)
NeVer Software Authors: Pulina, Luca; Tacchella, Armando Cited in: 2 Publications (2011–2018) Related Software: Matlab; OPQ; SHARK; CESAR; Roboop Main Fields: Special functions (33-XX); Computer science (68-XX)
DLint Software Authors: Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen Cited in: 0 Publications Related Software: Hypothesis; MutPy; TSTL; EvoSuite; Python; Pynguin Main Fields: –
PSOA2TPTP Software Authors: Zou, Gen; Peter-Paul, Reuben; Boley, Harold; Riazanov, Alexandre Cited in: 0 Publications Related Software: – Main Fields: –
validatetools Software Authors: Edwin de Jonge, Mark van der Loo, Jacco Daalmans Cited in: 0 Publications Related Software: auditor; autoplotly; corrgram; lumberjack; dataMaid; SASmixed; … Main Fields: –