LEGO Cited in 107 Documents (1991–2021) Software Authors: Luo, Z., Pollack, R. Related Software: Coq; Nuprl; Automath; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
Oyster Cited in 34 Documents (1989–2021) Software Authors: Horn, Christian; Smaill, Alan Related Software: CLAM; Nuprl; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
Giotto Cited in 16 Documents (2001–2022) Software Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch Related Software: LUSTRE; Esterel; SIGNAL; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
MEGAN Cited in 6 Documents (2010–2023) Software Authors: Daniel H. Huson, Alexander F. Auch, Ji Qi, Stephan C. Schuster Related Software: TETRA; TACOA; BLAST; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
FunArray Cited in 17 Documents (2011–2021) Software Authors: Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco Related Software: ASTREE; z3; Booster; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
MCGP Cited in 12 Documents (2008–2021) Software Authors: Katz, Gal; Peled, Doron Related Software: PRISM; LTL2BA; SPIN; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
IsaCoSy Cited in 15 Documents (2010–2021) Software Authors: Johansson, Moa; Dixon, Lucas; Bundy, Alan Related Software: HipSpec; Theorema; IsaPlanner; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SYMBA Cited in 13 Documents (2014–2021) Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Related Software: z3; vZ; OptiMathSAT; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
Sehwa Cited in 4 Documents (1989–2002) Software Authors: N. Park; A.C. Parker Related Software: MAHA; MIMOLA; TimberWolf; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); …
TRANSIT Cited in 8 Documents (2015–2022) Software Authors: Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R. Related Software: CVC4; z3; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FlashMeta Cited in 6 Documents (2017–2021) Software Authors: Oleksandr Polozov; Sumit Gulwani Related Software: FlashExtract; TRANSIT; FlashRelate; … Main Fields: Computer science (68-XX)
PRIZ Cited in 8 Documents (1988–2000) Software Authors: Mints, G.; Tyugu, E. Related Software: NUT; GAG; TABLEAUX Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MAHA Cited in 5 Documents (1995–2007) Software Authors: A. Parker, J. Pizarro, M. Mlinar Related Software: Sehwa; Flamel; TimberWolf; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); …
SemFix Cited in 4 Documents (2017–2023) Software Authors: Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , Satish Chandra Related Software: Prophet; Angelix; GZoltar; … Main Fields: Computer science (68-XX)
Sycraft Cited in 6 Documents (2009–2015) Software Authors: B. Bonakdarpour, S. Kulkarni Related Software: CUDD; Uppaal; Vertaf; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Alpha Cited in 6 Documents (1999–2005) Software Authors: Wilde, D.K. Related Software: MMAlpha; PolyLib; OPERA; … Main Fields: Computer science (68-XX)
Rosette Cited in 6 Documents (2016–2021) Software Authors: Torlak, E., Bodík, R. Related Software: GitHub; FlashMeta; Alloy*; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Amphion Cited in 3 Documents (1998–2010) Software Authors: Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I Related Software: CLAM; Oyster; HOL; … Main Fields: Computer science (68-XX)
GME Cited in 2 Documents (2009–2014) Software Authors: Vanderbilt University Related Software: Python; MetaEdit+; AToM3; … Main Fields: Statistics (62-XX); Computer science (68-XX)
PARSHL Cited in 2 Documents (2011–2017) Software Authors: Smith, J.O.; Serra, X. Related Software: SymPy; LIBSVM Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Functional analysis (46-XX); Information and communication theory, circuits (94-XX)
SAFL Cited in 5 Documents (2000–2007) Software Authors: Mycroft, Alan; Sharp, Richard Related Software: Handel-C; SystemC; Cayenne; … Main Fields: Computer science (68-XX)
ADS Cited in 4 Documents (1986–2003) Software Authors: G. N. Vanderplaats Related Software: Excel; CONMIN; STAGS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
APTS Cited in 4 Documents (2003–2016) Software Authors: Leonard, Elizabeth I.; Heitmeyer, Constance L. Related Software: PVS; NAT2TEST; PAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
AutoBayes/CC Cited in 4 Documents (2002–2004) Software Authors: Whalen, Michael; Schumann, Johann; Fischer, Bernd Related Software: SETHEO; VAMPIRE; Ivy; … Main Fields: Computer science (68-XX)
Devign Cited in 2 Documents (2021–2022) Software Authors: Yaqin Zhou, Shangqing Liu, Jingkai Siow, Xiaoning Du, Yang Liu Related Software: CodeBERT; word2vec; code2vec; … Main Fields: Computer science (68-XX)
RobustFill Cited in 4 Documents (2019–2023) Software Authors: Devlin, Jacob; Uesato, Jonathan; Bhupatiraju, Surya; Singh, Rishabh; Mohamed, Abdel-rahman; Kohli, Pushmeet Related Software: SQLizer; PyGGI; Gin; … Main Fields: Statistics (62-XX); Computer science (68-XX)
SNARK Cited in 3 Documents (2009–2015) Software Authors: Stickel, M. Related Software: Waldmeister; E Theorem Prover; Vivid; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
FlashExtract Cited in 2 Documents (2020–2021) Software Authors: Le, V., Gulwani, S. Related Software: FlashMeta; TRANSIT; FlashRelate; … Main Fields: Computer science (68-XX)
FlashRelate Cited in 1 Document (2021) Software Authors: Barowy, D.W., Gulwani, S., Hart, T., Zorn, B.G. Related Software: FlashMeta; FlashExtract; DeepCoder; … Main Fields: Computer science (68-XX)
OligoArray Cited in 1 Document (2007) Software Authors: Rouillard, J.-M.; Zuker, M.; Gulari, E. Related Software: DINAMelt; UNAFold; RandPS; … Main Fields: Biology and other natural sciences (92-XX)
ARFA Cited in 1 Document (2007) Software Authors: Michaël Bekaert, John F Atkins, Pavel V Baranov Related Software: PseudoViewer3; FSDB Main Fields: Biology and other natural sciences (92-XX)
BlinkFill Cited in 1 Document (2020) Software Authors: Rishabh Singh Related Software: FlashMeta; Infer.NET; z3; … Main Fields: Computer science (68-XX)
CHStone Cited in 1 Document (2016) Software Authors: Hara Y, Tomiyama H, Honda S, Takada H, Ishii K Related Software: SimpleScalar; MediaBench; MiBench; … Main Fields: Computer science (68-XX)
JSNice Cited in 2 Documents (2015–2020) Software Authors: Raychev, Veselin; Vechev, Martin; Krause, Andreas Related Software: OpenNMT; GitHub; Lucene; … Main Fields: Computer science (68-XX)
KindSpec Cited in 2 Documents (2017–2020) Software Authors: María Alpuente, Daniel Pardo, Alicia Villanueva Related Software: z3; KERNELC; Maude; … Main Fields: Computer science (68-XX)
LATRANT Cited in 2 Documents (2004–2016) Software Authors: Aristova, S.N.; Iskakov, A.B. Related Software: RODAS Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
NUT Cited in 2 Documents (1991–1994) Software Authors: Tyugu E., Matskin M., Penjam J., Eomois P. Related Software: PRIZ Main Fields: Computer science (68-XX)
SKIL Cited in 2 Documents (1993–2000) Software Authors: Galmiche, D.; Hermann, O. Related Software: LEGO; Automath; Lolli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SQLizer Cited in 2 Documents (2021–2023) Software Authors: Yaghmazadeh, N.; Wang, Y.; Dillig, I.; Dillig, T. Related Software: RobustFill; PyGGI; Gin; … Main Fields: Computer science (68-XX)
TerpreT Cited in 0 Documents Software Authors: Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow Related Software: BlinkFill; FlashMeta; Infer.NET; … Main Fields: –
Absynth.jl Cited in 1 Document (2022) Software Authors: Humenberger, Andreas; Amrollahi, Daneshvar; Bjørner, Nikolaj; Kovács, Laura Related Software: z3 Main Fields: Computer science (68-XX)
AIRCAMA Cited in 1 Document (2015) Software Authors: Filipovic, Mirjana Related Software: – Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
Binary Maker Cited in 1 Document (2020) Software Authors: Bradstreet, D. H.; Steelman, D. P. Related Software: clustervalidation; clusfind; RobPer; … Main Fields: Statistics (62-XX)
CARAT Cited in 1 Document (2012) Software Authors: Bletzinger KU, Reitnger R, Kimmich S, Ramm E Related Software: ESOFRAME; ML; Trilinos Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
HTGviz Cited in 1 Document (2010) Software Authors: M. Giordano, M. Funari Related Software: ParaWise; ParaGraph; SUIF Main Fields: Computer science (68-XX)
JFIX Cited in 0 Documents Software Authors: LE, Dinh Xuan Bach; David Lo Related Software: Codeflaws; Qlose; Angelix; … Main Fields: –
JSketch Cited in 1 Document (2017) Software Authors: Jinseong Jeon; Xiaokang Qiu; Jeffrey S. Foster Related Software: halp; SyPet; Soot; … Main Fields: Computer science (68-XX)
KERNELC Cited in 1 Document (2020) Software Authors: Alpuente, María; Pardo, Daniel; Villanueva, Alicia Related Software: KindSpec; Maude; z3; … Main Fields: Computer science (68-XX)
MENDELS Cited in 1 Document (1988) Software Authors: Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OpenMeta-Analyst Cited in 0 Documents Software Authors: Wallace BC, Schmid CH, Lau J, Trikalinos TA. Related Software: R; Rcmdr; PyQt; … Main Fields: –
PAYNT Cited in 1 Document (2022) Software Authors: Andriushchenko, R.; Češka, M.; Junges, S.; Katoen, J-P; Stupinský, Š.; Silva, A.; Leino, KRM Related Software: PASS; PROPhESY; Storm; … Main Fields: Computer science (68-XX)
PENELOPE Cited in 1 Document (2016) Software Authors: Francesco Sorrentino, Azadeh Farzan, P. Madhusudan Related Software: CTrigger; jPredictor; ASM; … Main Fields: Computer science (68-XX)
PIDMaster Cited in 1 Document (1994) Software Authors: Ostroveršnik, M.; Šehić, Z.; Zupančič, B.; Šega, M. Related Software: ANA Main Fields: Computer science (68-XX)
pKalc Cited in 1 Document (2010) Software Authors: CompuDrug Related Software: alr3; S-PLUS; Marvin; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
QuaSiMo Cited in 0 Documents Software Authors: Thien Nguyen, Lindsay Bassman, Phillip C. Lotshaw, Dmitry Lyakh, Alexander McCaskey, Vicente Leyton-Ortega, Raphael Pooser, Wael Elwasif, Travis S. Humble, Wibe A. de Jong Related Software: SciPy; OpenFermion; QCOR; … Main Fields: –
REFLP Cited in 1 Document (1997) Software Authors: Colvin, Robert; Hayes, Ian; Nickson, Ray; Strooper, Paul Related Software: Ergo 6 Main Fields: Computer science (68-XX)
ReviewRobot Cited in 1 Document (2022) Software Authors: Qingyun Wang, Qi Zeng, Lifu Huang, Kevin Knight, Heng Ji, Nazneen Fatema Rajani Related Software: BERTScore; WikiAsp; SciREX; … Main Fields: Computer science (68-XX)
REVS Cited in 1 Document (2017) Software Authors: Parent, Alex; Roetteler, Martin; Svore, Krysta M. Related Software: SyReC; RMDDS; ScaffCC; … Main Fields: Computer science (68-XX); Quantum theory (81-XX)
SemRegex Cited in 0 Documents Software Authors: Zexuan Zhong, Jiaqi Guo, Wei Yang, Jian Peng, Tao Xie, Jian-Guang Lou, Ting Liu, Dongmei Zhang Related Software: Rex; BLEU; SBERT; … Main Fields: –
SPoC Cited in 0 Documents Software Authors: Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang Related Software: Devign; GraphCodeBERT; MISIM; … Main Fields: –
SpreadsheetCoder Cited in 1 Document (2023) Software Authors: Chen, Xinyun; Maniatis, Petros; Singh, Rishabh; Sutton, Charles; Dai, Hanjun; Lin, Max; Zhou, Denny Related Software: SQLizer; PyGGI; Gin; … Main Fields: Computer science (68-XX)
SYDNA Cited in 1 Document (1999) Software Authors: Zapotinschi, Radu Related Software: – Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Syntfil Cited in 1 Document (2005) Software Authors: Hospodka, Jiří; Bičák, Jan Related Software: Maple; LaTeX; Maplet Main Fields: Optics, electromagnetic theory (78-XX)
Thermo-lp Cited in 1 Document (2023) Software Authors: Feng, Xianghui; Li, Nan; Wu, Kai; Cheng, Yonghong; Xiao, Bing Related Software: Python Main Fields: Classical thermodynamics, heat transfer (80-XX); Statistical mechanics, structure of matter (82-XX)
TILT Cited in 1 Document (1991) Software Authors: Bittel, Oliver Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
USyCaMs Cited in 1 Document (2001) Software Authors: Max A. Gonzalez-Palacios; Jorge Angeles Related Software: – Main Fields: Mechanics of particles and systems (70-XX)
AutoGrader Cited in 0 Documents Software Authors: Zhou, Fengshun; Wang, Linzhang; Li, Xuandong Related Software: – Main Fields: –
Darkroom Cited in 0 Documents Software Authors: Hegarty, James; Brunhaver, John; DeVito, Zachary; Ragan-Kelley, Jonathan; Cohen, Noy; Bell, Steven; Vasilyev, Artem; Horowitz, Mark; Hanrahan, Pat Related Software: – Main Fields: –
ESPript Cited in 0 Documents Software Authors: P. Gouet, E. Courcelle, D. I. Stuart, F. Métoz Related Software: – Main Fields: –