JML Cited in 156 Documents (2000–2022) Software Authors: Gary T. Leavens; Yoonsik Cheon Related Software: Spec#; Eiffel; KRAKATOA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
KEEL Cited in 94 Documents (2009–2023) Software Authors: Alcalá-Fdez, J.; Sánchez, L.; García, S.; del Jesus, M.J.; Ventura, S.; Garrell, J.M.; Otero, J.; Romero, C.; Bacardit, J.; Rivas, V.M.; Fernández, J.C.; Herrera, F. Related Software: JStatCom; UCI-ml; C4.5; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AspectJ Cited in 98 Documents (2001–2022) Software Authors: Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey Related Software: CaesarJ; JBoss; JAsCo; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Java PathFinder Cited in 91 Documents (2000–2021) Software Authors: Havelund, Klaus; Pressburger, Thomas Related Software: SPIN; Bandera; veriSoft; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
JStatCom Cited in 80 Documents (2007–2022) Software Authors: Markus Krätzig Related Software: KEEL; UCI-ml; C4.5; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Scala Cited in 85 Documents (2005–2023) Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos Related Software: Coq; z3; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ANTLR Cited in 50 Documents (1997–2022) Software Authors: Parr, T.; Yu, Dan; Yan, Hong-zhi; Wang, Ji-na Related Software: Stratego; JastAdd; YACC; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Frama-C Cited in 41 Documents (2009–2023) Software Authors: Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski Related Software: Why3; Coq; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
Java CoG Kit Cited in 12 Documents (2001–2010) Software Authors: von Laszewski, Gregor; Gawor, Jarek; Lane, Peter; Rehn, Nell; Russell, Mike Related Software: Globus Toolkit; Pegasus; Condor-G; … Main Fields: Computer science (68-XX); Geophysics (86-XX); Biology and other natural sciences (92-XX)
JPAX Cited in 21 Documents (2002–2022) Software Authors: Havelund, Klaus; Roşu, Grigore Related Software: Maude; Bandera; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JastAdd Cited in 17 Documents (2003–2022) Software Authors: Hedin, Görel; Magnusson, Eva Related Software: Stratego; ANTLR; ASF+SDF; … Main Fields: Computer science (68-XX)
DaCapo Cited in 14 Documents (2009–2022) Software Authors: Blackburn, S. M., Garner, R., Hoffman, C., Khan, A. M., McKinley, K. S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S. Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J. E. B., Phansalkar, A., Stefanovic, D., VanDrunen, T., von Dincklage, D., and Wiedermann, B Related Software: AspectJ; Soot; SPECjvm2008; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
Klava Cited in 18 Documents (2002–2020) Software Authors: Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario Related Software: KLAIM; Linda; LIME; … Main Fields: Computer science (68-XX)
ELKI Cited in 11 Documents (2012–2021) Software Authors: Schubert E, Koos A, Emrich T, Züfle A, Schmid KA, Zimek A Related Software: LOF; Orca; SLOM; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
JGraphT Cited in 15 Documents (2012–2023) Software Authors: Barak Naveh Related Software: LEDA; JUNG; Gephi; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
JGR Cited in 6 Documents (2007–2015) Software Authors: M Helbig, M Theus, S Urbanek Related Software: R; iplots; Rcmdr; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
Orbital library Cited in 15 Documents (2008–2021) Software Authors: André Platzer Related Software: z3; QEPCAD; KeYmaera; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
KamiWaAi Cited in 13 Documents (2003–2018) Software Authors: Hitzer, Eckhard M.S. Related Software: CLUCalc; Gaigen; GABLE; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); Geometry (51-XX); …
MProbe Cited in 12 Documents (2001–2021) Software Authors: Chinneck, John W. Related Software: CVX; DrAmpl; GAMS; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
WebCom Cited in 4 Documents (2001–2003) Software Authors: Morrison, John P.; Kennedy, James J.; Power, David A. Related Software: Java CoG Kit; AUTO3DEM; Pegasus; … Main Fields: Computer science (68-XX)
KolmogorovSmirnovDist Cited in 10 Documents (2014–2022) Software Authors: Richard Simard; Pierre L'Ecuyer Related Software: R; NSM3; Matlab; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Charge! Cited in 10 Documents (2012–2021) Software Authors: Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars Related Software: Coq; Toolchain; VeriFast; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
jContractor Cited in 9 Documents (2002–2012) Software Authors: Karaorman, Murat; Abercrombie, Parker Related Software: JML; Eiffel; Spec#; … Main Fields: Computer science (68-XX)
JIDT Cited in 5 Documents (2018–2020) Software Authors: Joseph T. Lizier, Ipek Özdemir, Pedro Mediano Related Software: TRENTOOL; MuTE; IDTxl; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Computer science (68-XX); …
ProActive Cited in 6 Documents (2002–2019) Software Authors: Inria Sophia Antipolis Related Software: AmbientTalk; ABS; Creol; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
CartaBlanca Cited in 7 Documents (2003–2020) Software Authors: VanderHeyden, W.B.; Dendy, E.D.; Padial-Collins, N.T. Related Software: JAMA; BLAS; LAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
JSetL Cited in 4 Documents (2009–2021) Software Authors: Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others Related Software: Z; SETL; ProB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SugarCubes Cited in 6 Documents (2000–2016) Software Authors: Boussinot, Frédéric; Susini, Jean-Ferdy Related Software: Esterel; ULM; YACC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Deducer Cited in 0 Documents Software Authors: Ian Fellows Related Software: RKWard; R; Rcmdr; … Main Fields: –
Jasp Cited in 6 Documents (2000–2008) Software Authors: Kobayashi, Ikunori; Fujiwara, Takeshi; Nakano, Junji; Yamamoto, Yoshikazu Related Software: Pnuts; JASP; XploRe; … Main Fields: Statistics (62-XX); Computer science (68-XX)
JTS Topology Suite Cited in 2 Documents (2013–2015) Software Authors: Vivid Solutions, Inc. (VSI) Related Software: GRASS GIS; Spatial SQL; Informix; … Main Fields: Geometry (51-XX); Statistics (62-XX)
MPJ Express Cited in 4 Documents (2009–2013) Software Authors: M. Baker, B. Carpenter, A. Shafi Related Software: MPI; CUDA; JCuda; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
PARMON Cited in 5 Documents (2000–2003) Software Authors: Buyya, Rajkumar Related Software: TCPDUMP; dproc; OpenFrame Main Fields: Computer science (68-XX)
Shimba Cited in 4 Documents (2001–2010) Software Authors: Systä, Tarja; Koskimies, Kai; Müller, Hausi Related Software: Rigi; Codecrawler; SQuAVisiT; … Main Fields: Computer science (68-XX)
Charlie Cited in 2 Documents (2015–2017) Software Authors: Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry Related Software: SNOOPY; SNAKES; ANDy; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
CoMA Cited in 2 Documents (2016–2021) Software Authors: P Arcaini, A Gargantini, E Riccobene Related Software: AsmetaSMV; NuSMV; ASMETA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DAVIS Cited in 3 Documents (2002–2009) Software Authors: Huh, Moon Yul; Song, Kwangryeol Related Software: GAUGUIN; Polaris; XGobi; … Main Fields: Statistics (62-XX); Computer science (68-XX)
DiSL Cited in 2 Documents (2016–2022) Software Authors: Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi Related Software: Akkaprof; XProf; PReT; … Main Fields: Computer science (68-XX)
GLIMMPSE Cited in 3 Documents (2019–2023) Software Authors: Sarah Kreidler; Keith Muller; Gary Grunwald; Brandy Ringham; Zacchary Coker-Dukowitz; Uttara Sakhadeo; Anna Barón; Deborah Glueck Related Software: POWERLIB; SAS; SASmixed; … Main Fields: Statistics (62-XX)
Guava Cited in 1 Document (2005) Software Authors: David F. Bacon, Robert E. Strom, Ashis Tarafdar Related Software: Modula; AtomCaml; PLAN; … Main Fields: Computer science (68-XX)
Java-ML Cited in 3 Documents (2009–2013) Software Authors: Abeel, Thomas; Van De Peer, Yves; Saeys, Yvan Related Software: Jstacs; SHOGUN; JGAP; … Main Fields: Statistics (62-XX); Computer science (68-XX)
Javelin++ Cited in 3 Documents (2000–2017) Software Authors: Neary, Michael O.; Brydon, Sean P.; Kmiec, Paul; Rollisn, Sami; Cappello, Peter Related Software: Charlotte; BOINC; XtremWeb; … Main Fields: Computer science (68-XX)
JCLAL Cited in 1 Document (2016) Software Authors: Reyes, Oscar; Pérez, Eduardo; Rodríguez-Hernández, María Del Carmen; Fardoun, Habib M.; Ventura, Sebastián Related Software: modAL; Scikit; libact; … Main Fields: Computer science (68-XX)
JikesRVM Cited in 2 Documents (2008–2019) Software Authors: Quitadamo, Raffaele; Cabri, Giacomo; Leonardi, Letizia Related Software: SPECjvm2008; Oracle; DaCapo; … Main Fields: Computer science (68-XX)
liquidSVM Cited in 3 Documents (2017–2022) Software Authors: Ingo Steinwart, Philipp Thomann Related Software: R; Matlab; SVMlight; … Main Fields: Integral transforms, operational calculus (44-XX); Statistics (62-XX); Computer science (68-XX); …
SciMark Cited in 4 Documents (2002–2012) Software Authors: Roldan Pozo; Bruce Miller Related Software: Ant; SPECjvm98; DaCapo; … Main Fields: Computer science (68-XX)
Cr Cited in 3 Documents (2005–2009) Software Authors: Boehm, Hans-J. Related Software: iRRAM; Magma; Creal Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX); …
CSTNU Cited in 1 Document (2023) Software Authors: Roberto Posenato Related Software: TimeAwareBPMN-js; bpmn-js; Uppaal; … Main Fields: Computer science (68-XX)
JavaPermutationTools Cited in 1 Document (2021) Software Authors: Cicirello, Vincent A Related Software: emili; Chips-n-Salsa; Jenetics; … Main Fields: Operations research, mathematical programming (90-XX)
Joeq Cited in 2 Documents (2005) Software Authors: Whaley, John Related Software: Datalog; CAESAR_SOLVE; Maude; … Main Fields: Computer science (68-XX)
MathTools Cited in 3 Documents (2018–2020) Software Authors: Greiner-Petter, André; Schubotz, Moritz; Cohl, Howard S.; Gipp, Bela Related Software: LaTeX; dhSegment; Mathoid; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
RCaller Cited in 1 Document (2013) Software Authors: M. Hakan Satman Related Software: R; GraalVM; RCallerService; … Main Fields: Statistics (62-XX); Computer science (68-XX)
Rings Cited in 2 Documents (2019) Software Authors: Stanislav Poslavsky Related Software: NTL; SINGULAR; gmp; … Main Fields: Commutative algebra (13-XX); Numerical analysis (65-XX); Computer science (68-XX)
rscala Cited in 0 Documents Software Authors: David B. Dahl Related Software: CRAN; rJava; R; … Main Fields: –
SiTra Cited in 1 Document (2020) Software Authors: Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D. Related Software: UML2Alloy; Z; AGG; … Main Fields: Computer science (68-XX)
Bears Cited in 0 Documents Software Authors: Fernanda Madeiral, Simon Urli, Marcelo Maia, Martin Monperrus Related Software: Bugbench; JUnit; GitHub; … Main Fields: –
Chips-n-Salsa Cited in 0 Documents Software Authors: Vincent A. Cicirello Related Software: ECJ; emili; Jenetics; … Main Fields: –
DataScan Cited in 1 Document (2001) Software Authors: K.A. Ritley, M. Schlestein, H. Dosch Related Software: ImageJ; IDL Main Fields: Computer science (68-XX)
DeconvolutionLab2 Cited in 1 Document (2019) Software Authors: Sage D., Donati L., Soulez F., Fortun D., Schmit G., Seitz A., Guiet R., Vonesch C., Unser M. Related Software: Huygens; SMeagol; BlurLab; … Main Fields: Numerical analysis (65-XX)
ESC4 Cited in 2 Documents (2010–2011) Software Authors: James, Perry R.; Chalin, Patrice Related Software: Boogie; ESC/Java; cvc3; … Main Fields: Computer science (68-XX)
IdentityHashMap Cited in 1 Document (2022) Software Authors: Oracle Related Software: OpenJML; JBMC; JMLUnit; … Main Fields: Computer science (68-XX)
Isula Cited in 0 Documents Software Authors: Carlos Gavidia-Calderon; César Beltrán Castañon Related Software: GenConstraint; GPflowOpt; BayesianOptimization; … Main Fields: –
J3DV Cited in 2 Documents (2002–2009) Software Authors: Fang, Xiang; Miller, John A.; Arnold, Jonathan Related Software: Virtual Cell; JigCell; YSMP; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
JAP Cited in 2 Documents (2012–2020) Software Authors: Pham-Quang, Phuong; Delinchant, Benoit Related Software: Matlab; ADiJaC; dco/c++; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
JavaStat Cited in 2 Documents (2009–2013) Software Authors: Harner, E.James; Luo, Dajie; Tan, Jun Related Software: R; truncdist; qcc; … Main Fields: Statistics (62-XX); Computer science (68-XX)
JClarens Cited in 0 Documents Software Authors: Michael Thomas, Conrad Steenberg, Frank van Lingen, Harvey Newman, Julian Bunn, Arshad Ali, Richard McClatchey, Ashiq Anjum, Tahir Azim, Waqas ur Rehman, Faisal Khan, Jang Uk In Related Software: Giggle; Chameleon; Nimrod/G Main Fields: –
JCML Cited in 2 Documents (2009–2012) Software Authors: Da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Pl'acido A. Related Software: LOOP; Z; JML; … Main Fields: Computer science (68-XX)
Jstacs Cited in 1 Document (2019) Software Authors: Grau, Jan; Keilwagen, Jens; Gohr, André; Haldemann, Berit; Posch, Stefan; Grosse, Ivo Related Software: UniProt; JASPAR; UCI-ml; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
JTabWb Cited in 2 Documents (2017–2019) Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Related Software: Imogen; fCube; ILTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MaDViWorld Cited in 2 Documents (2002–2003) Software Authors: Fuhrer, Patrik; Most\'efaoui, Ghita Kouadri; Pasquier-Rocha, Jacques Related Software: Aglets Main Fields: Computer science (68-XX)
OutlierFlag Cited in 0 Documents Software Authors: Shuai Huang; Yaqiang Wang; Yuanli Xie; Peng Zhao; Johannes Lüers Related Software: MeteoInfo; outliers; GaFiR; … Main Fields: –
Polyrun Cited in 1 Document (2022) Software Authors: Krzysztof Ciomek, Miłosz Kadziński Related Software: Billiard walk; diviz; walkr; … Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
VoSys Cited in 1 Document (2009) Software Authors: Ţăndăreanu, Nicolae Related Software: – Main Fields: Computer science (68-XX)
WMPI Cited in 2 Documents (2000–2001) Software Authors: Moura Silva, Luís; Martins, Paulo; Silva, João Gabriel Related Software: – Main Fields: Computer science (68-XX)
Alida Cited in 0 Documents Software Authors: Posch, S.; Moeller, B. Related Software: Taverna; Triana; MiToBo; … Main Fields: –
Analytical Finance Package Cited in 1 Document (2007) Software Authors: Dmitrii Silvestrov, Anatoliy Malyarenko Related Software: – Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
APIDiff Cited in 1 Document (2021) Software Authors: Brito, A., Xavier, L., Hora, A., Valente, M.T. Related Software: MIGRATE; Verigraph Main Fields: Computer science (68-XX)
ASITA Cited in 1 Document (2002) Software Authors: Schmidt, Torge Related Software: – Main Fields: Computer science (68-XX)
Billie Cited in 0 Documents Software Authors: Tauscher, H Related Software: xBIM; BIMsurfer; CasCADe Main Fields: –
bradley Cited in 0 Documents Software Authors: James Bradley; Webster West Related Software: WebStat; S-PLUS Main Fields: –
Caliko Cited in 0 Documents Software Authors: Alastair Lansley, Peter Vamplew, Philip Smith, Cameron Foale Related Software: FULLIK; Maven; FABRIK Main Fields: –
CodeLabeller Cited in 0 Documents Software Authors: Norman Chen, Najam Nazar, Chun Yong Chong Related Software: MySQL; Node.js; JStereoCode; … Main Fields: –
DECOLib Cited in 0 Documents Software Authors: Stanisław Deniziak, Mariusz Wiśniewski Related Software: – Main Fields: –
DPClusSBO Cited in 0 Documents Software Authors: Mohammad Bozlul Karim, Shigehiko Kanaya, Md. Altaf-Ul-Amin Related Software: KNApSAcK database; DPClusOST; DPClus Main Fields: –
ExplorViz Cited in 0 Documents Software Authors: Wilhelm Hasselbring, Alexander Krause, Christian Zirkelbach Related Software: SynchroVis; Kieker Main Fields: –
FacetModeller Cited in 0 Documents Software Authors: Peter G. Lelièvre; Angela E. Carter-McAuslan; Michael W. Dunham; Drew J. Jones; Mariella Nalepa; Chelsea L.Squires; Cassandra J. Tycholiz; Marc A. Vallée; Colin G .Farquharson Related Software: JMorph; Triangle; GOCAD; … Main Fields: –
GAcindy Cited in 1 Document (2003) Software Authors: Hitzer, Eckhard M. S. Related Software: KamiWaAi; Cinderella Main Fields: Computer science (68-XX)
Golo Cited in 0 Documents Software Authors: Julien Ponge; Yannick Loiseau; Frédéric Le Mouël; Nicolas Stouls; Philippe Charrière; Daniel Petisme; Sylvain Desgrais; Franck Verrot Related Software: – Main Fields: –
GrAALF Cited in 0 Documents Software Authors: Omid Setayeshfar, Christian Adkins, Matthew Jones, Kyu Hyung Lee, Prashant Doshi Related Software: Elasticsearch; NoDoze; AIQL; … Main Fields: –
IJBlob Cited in 0 Documents Software Authors: Thorsten Wagner; Hans-Gerd Lipinski Related Software: ImageJ; Fiji Main Fields: –
IllinoisSL Cited in 0 Documents Software Authors: Kai-Wei Chang, Shyam Upadhyay, Ming-Wei Chang, Vivek Srikumar, Dan Roth Related Software: pystruct; seqlearn; Penn Treebank; … Main Fields: –
JADEPT Cited in 1 Document (2010) Software Authors: Arcelli, Francesca; Perin, Fabrizio; Raibulet, Claudia; Ravani, Stefano Related Software: BCEL Main Fields: Computer science (68-XX)
JaMake Cited in 1 Document (2001) Software Authors: Budimlic, Zoran; Kennedy, Ken Related Software: – Main Fields: Computer science (68-XX)
Janet Cited in 1 Document (2001) Software Authors: Bubak, M.; Kurzyniec, D.P.; Luszczek, P. Related Software: – Main Fields: Computer science (68-XX)
JAPS Cited in 1 Document (1999) Software Authors: Du, Jiancheng; Chen, Daoxu; Xie, Li Related Software: – Main Fields: Computer science (68-XX)
JavaBERT Cited in 0 Documents Software Authors: Nelson Tavares de Sousa, Wilhelm Hasselbring Related Software: GNMT; Transformers; GLUE; … Main Fields: –
JavaSlicer Cited in 1 Document (2023) Software Authors: – Related Software: JSysDG Main Fields: Computer science (68-XX)
JBSP Cited in 1 Document (2001) Software Authors: Gu, Yan; Lee, Bu-Sung; Cai, Wentong Related Software: – Main Fields: Computer science (68-XX)