Coq Cited in 1,874 Documents (1993–2023) Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Related Software: Isabelle/HOL; Isabelle; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
ML Cited in 502 Documents (1978–2023) Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Related Software: HOL; Coq; Isabelle; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); …
ALGOL 68 Cited in 280 Documents (1969–2019) Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G. Related Software: ALGOL 60; Simula 67; Ada95; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
LARCH Cited in 105 Documents (1989–2023) Software Authors: Guttag, John V.; Horning, James J. Related Software: JML; Eiffel; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …
COMAL Cited in 1 Document (1982) Software Authors: Benedict Løfstedt; Børge R. Christensen Related Software: – Main Fields: Computer science (68-XX)
Locales Cited in 49 Documents (1999–2022) Software Authors: Ballarin, Clemens Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
IF-2.0 Cited in 38 Documents (2002–2022) Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Related Software: Uppaal; Kronos; SPIN; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
GHC Cited in 36 Documents (1986–2014) Software Authors: Ueda, Kazunori Related Software: PARLOG; Kima; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
MoDeST Cited in 33 Documents (2001–2022) Software Authors: D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric Related Software: PRISM; Uppaal; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
Ott Cited in 33 Documents (2007–2021) Software Authors: Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Related Software: Coq; Isabelle/HOL; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MANIFOLD Cited in 28 Documents (1993–2023) Software Authors: Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A. Related Software: Linda; Reo; KLAIM; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
2APL Cited in 13 Documents (2009–2020) Software Authors: Dastani, Mehdi Related Software: Jason; AgentSpeak; Jadex; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PITA Cited in 23 Documents (2010–2022) Software Authors: Riguzzi, Fabrizio; Swift, Terrance Related Software: ProbLog; CP-logic; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
PLT Redex Cited in 22 Documents (2009–2022) Software Authors: Felleisen, Matthias; Findler, Bruce; Flatt, Matthew Related Software: K Prover; Coq; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
PiDuce Cited in 18 Documents (2006–2020) Software Authors: Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca Related Software: XPi; XDuce; COWS; … Main Fields: Computer science (68-XX)
CP-logic Cited in 19 Documents (2009–2022) Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Related Software: ProbLog; PITA; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
LARS Cited in 19 Documents (2016–2022) Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Related Software: Clingo; oClingo; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
DLV-EX Cited in 16 Documents (2007–2021) Software Authors: Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista Related Software: Clingcon; Clingo; OntoDLV; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
MMT Cited in 13 Documents (2007–2019) Software Authors: Chalub, Fabricio; Braga, Christiano Related Software: Maude; K Prover; JavaFAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Spoofax Cited in 11 Documents (2011–2020) Software Authors: Lennart C.L. Kats; Eelco Visser Related Software: Stratego; JastAdd; SugarJ; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
K-Maude Cited in 10 Documents (2010–2021) Software Authors: Şerbănuţă, Traian Florin; Roşu, Grigore Related Software: Maude; K Prover; K tool; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
M-nets Cited in 10 Documents (1998–2012) Software Authors: Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz Related Software: Maria; PEP; Uppaal; … Main Fields: Computer science (68-XX)
LETOS Cited in 8 Documents (2001–2012) Software Authors: Pieter H. Hartel Related Software: Maude; Centaur; Miranda; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SeaLion Cited in 7 Documents (2012–2019) Software Authors: Johannes Oetsch, Jörg Pührer, Hans Tompits Related Software: ASPIDE; Kara; APE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
Theseus Cited in 9 Documents (2015–2022) Software Authors: James, R.P., Sabry, A. Related Software: Algeo; CauDEr; LRinv; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
HOL-Omega Cited in 9 Documents (2009–2019) Software Authors: Homeier, Peter V. Related Software: HOL; Isabelle; Coq; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
KITTeL Cited in 9 Documents (2011–2021) Software Authors: Falke, Stephan; Kapur, Deepak; Sinz, Carsten Related Software: z3; Ctrl; Yices; … Main Fields: Computer science (68-XX)
Java+ITP Cited in 7 Documents (2007–2013) Software Authors: Sasse, R., Meseguer, J. Related Software: Maude; JavaFAN; K Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MCINTYRE Cited in 7 Documents (2015–2019) Software Authors: Riguzzi, F. Related Software: ProbLog; PITA; CP-logic; … Main Fields: Computer science (68-XX)
simpA Cited in 5 Documents (2002–2012) Software Authors: Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio Related Software: Featherweight Java; CArtAgO; ReSpecT; … Main Fields: Computer science (68-XX)
cplint Cited in 7 Documents (2017–2022) Software Authors: Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo Related Software: ProbLog; SWI-Prolog; PRISM; … Main Fields: Computer science (68-XX)
JSAI Cited in 5 Documents (2017–2022) Software Authors: Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf Related Software: JavaScript; Phantm; Norn; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
LNT2LOTOS Cited in 7 Documents (2012–2022) Software Authors: David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe, Gideon Smeding Related Software: CADP; SPIN; Exp.Open; … Main Fields: Computer science (68-XX)
URSA Cited in 6 Documents (2012–2022) Software Authors: Janičić, P. Related Software: clasp; z3; CBMC; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX); …
Dist-Orc Cited in 5 Documents (2011–2015) Software Authors: Musab AlTurki; José Meseguer Related Software: Maude; JavaFAN; Java+ITP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Dungine Cited in 5 Documents (2009–2019) Software Authors: South, M.; Vreeswijk, G.; Fox, J. Related Software: ASPARTIX; MiniSat; ConArg2; … Main Fields: Computer science (68-XX)
CoqJVM Cited in 4 Documents (2008–2021) Software Authors: The Coq development team, CNRS, INRIA and Université Paris Sud Related Software: Isabelle/HOL; HOL; TSL; … Main Fields: Computer science (68-XX)
CSPsim Cited in 4 Documents (2007–2009) Software Authors: Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. Related Software: Eiffel; SCOOP; TCOZ; … Main Fields: Computer science (68-XX)
Lem Cited in 3 Documents (2011–2021) Software Authors: Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter Related Software: Isabelle/HOL; Coq; ACL2; … Main Fields: Computer science (68-XX)
Unbound Cited in 4 Documents (2011–2019) Software Authors: Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GI-log Cited in 3 Documents (2016–2020) Software Authors: Zhang, Zhizheng; Wang, Bin; Zhang, Shutao Related Software: selp; Clingo; Gringo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ICOT Cited in 2 Documents (1998–2002) Software Authors: Yang, Hyung Jeong; Yang, Jae Dong; Kim, Yeongho Related Software: – Main Fields: Computer science (68-XX)
KReator Cited in 3 Documents (2012) Software Authors: Finthammer, Marc; Thimm, Matthias Related Software: Alchemy; ProbLog Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NetCore Cited in 2 Documents (2013–2018) Software Authors: Monsanto, Christopher; Foster, Nate; Harrison, Rob; Walker, David Related Software: GitHub; NetKAT; Firmato; … Main Fields: Computer science (68-XX)
SBQL Cited in 2 Documents (2005–2006) Software Authors: Cybula, Piotr; Subieta, Kazimierz Related Software: ODRA; AToM3; VIATRA2 Main Fields: Computer science (68-XX)
SEMANOL Cited in 3 Documents (1976–1984) Software Authors: Anderson, E. R.; Belz, F. C.; Blum, E. K. Related Software: ALGOL 68; Refal; ALGOL 60 Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …
simpleAPL Cited in 3 Documents (2006–2016) Software Authors: Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J.Ch. Related Software: 2APL; AgentSpeak; Jason; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
tccp Cited in 3 Documents (2009–2013) Software Authors: Lescaylle, Alexei; Villanueva, Alicia Related Software: CC-Pi; GHC; Esterel; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Wysteria Cited in 3 Documents (2016–2022) Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Related Software: Sharemind; EasyUC; HyCC; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
CoBoxes Cited in 1 Document (2017) Software Authors: Jan Schäfer, Arnd Poetzsch-Heffter Related Software: ArchJava; JavAdaptor; JCobox; … Main Fields: Computer science (68-XX)
CSimpl Cited in 2 Documents (2017) Software Authors: Sanán, D., Zhao, Y., Hou, Z., Zhang, F., Tiu, A., Liu, Y. Related Software: seL4; Isabelle/HOL; Locales; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Datafun Cited in 2 Documents (2016–2022) Software Authors: Arntzenius, Michael; Krishnaswami, Neelakantan R. Related Software: Haskell; Dsharp; Hakaru; … Main Fields: Computer science (68-XX)
F--MP Cited in 2 Documents (1997–2001) Software Authors: Yang, Jae Dong Related Software: KernSmooth Main Fields: Computer science (68-XX)
MILONGA Cited in 2 Documents (2002–2008) Software Authors: Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Related Software: Projective Noether; Kronecker; ISOLATE; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)
Pmapper Cited in 0 Documents Software Authors: Travinin, N.; Hoffman, H.; Bond, R.; Chan, H.; Kepner, J.; Wong, E. Related Software: Algorithm 97; pMatlab; PSBLAS Main Fields: –
Proto-Quipper-M Cited in 2 Documents (2018–2022) Software Authors: Rios, Francisco; Selinger, Peter Related Software: Quipper; Haskell Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
TransLucid Cited in 2 Documents (2008–2015) Software Authors: Plaice, John; Mancilla, Blanca; Ditu, Gabriel Related Software: Lucid Main Fields: Computer science (68-XX)
VIFID/TRIFID Cited in 2 Documents (2009–2016) Software Authors: Manuel Carro; Manuel Hermenegildo Related Software: DiSCiPl; Oz Explorer; COMET; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ContextFJ Cited in 1 Document (2015) Software Authors: Hirschfeld, R., Igarashi, A., Masuhara, H. Related Software: JCop; Featherweight Java Main Fields: Computer science (68-XX)
Cuneiform Cited in 1 Document (2017) Software Authors: Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf Related Software: PRMLT; Hive; Spark; … Main Fields: Computer science (68-XX)
dlvhex-sparql Cited in 1 Document (2013) Software Authors: Polleres, A., Schindlauer, R. Related Software: R2RML; Turtle; nSPARQL; … Main Fields: Computer science (68-XX)
dypro Cited in 0 Documents Software Authors: Ke Wang Related Software: DeepFix; sk_p; MOOC; … Main Fields: –
FASILL Cited in 1 Document (2020) Software Authors: Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio Related Software: FRIL; XPath; Likelog; … Main Fields: Computer science (68-XX)
Forest Cited in 0 Documents Software Authors: Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q. Related Software: Graphviz Main Fields: –
FScaFi Cited in 1 Document (2021) Software Authors: Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani Related Software: TuSoW; Protelis; xarray; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Gwendolen Cited in 1 Document (2018) Software Authors: Louise A. Dennis , Berndt Farwer Related Software: AJPF; MCMAS; Java PathFinder; … Main Fields: Computer science (68-XX)
IMP+Exc Cited in 1 Document (2018) Software Authors: Ekici, Burak Related Software: Coq Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JFIX Cited in 0 Documents Software Authors: LE, Dinh Xuan Bach; David Lo Related Software: Codeflaws; Qlose; Angelix; … Main Fields: –
Magma2 Cited in 1 Document (1984) Software Authors: Turini, Franco Related Software: MAGMA-Lisp Main Fields: Computer science (68-XX)
PLBART Cited in 0 Documents Software Authors: Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang Related Software: TaBERT; CoTexT; Devign; … Main Fields: –
ProGraML Cited in 0 Documents Software Authors: Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Hugh Leather Related Software: Adam; XLA; TensorFlow; … Main Fields: –
vmake Cited in 1 Document (2000) Software Authors: Swoboda, P.; Wadge, W. W. Related Software: PERL Main Fields: Computer science (68-XX)
X-Fun Cited in 0 Documents Software Authors: Labath, Pavel; Niehren, Joachim Related Software: QuiXProc; Calabash; QuiX; … Main Fields: Computer science (68-XX)
Yaps Cited in 0 Documents Software Authors: Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar Related Software: PyStan; Stan; Python; … Main Fields: –