LSODA Cited in 30 Documents (1989–2020) Software Authors: A.C. Hindmarsh; L. R. Petzold; Lawrence Livermore National Laboratory Related Software: VODE; RODAS; RKC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Hondo Cited in 22 Documents (1974–1992) Software Authors: Key, S. W.; Beisinger, Z. E.; Krieg, R. D. Related Software: DYNA3D; Nike2D; LS-DYNA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
Goldilocks Cited in 9 Documents (2009–2017) Software Authors: Elmas, T., Qadeer, S., Tasiran, S. Related Software: Eraser; Atomizer; FastTrack; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
PlanMine Cited in 8 Documents (2000–2007) Software Authors: Zaki, Mohammed J.; Lesh, Neal; Ogihara, Mitsunori Related Software: SPADE; BIDE; CloseGraph; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
ModelPlex Cited in 6 Documents (2016–2021) Software Authors: Mitsch, S., Platzer, A. Related Software: KeYmaera; Coq; SpaceEx; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
Copilot Cited in 6 Documents (2012–2020) Software Authors: Pike L, Goodloe A, Morisset R, Niller S Related Software: Esterel; FoCs; JPAX; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Clara Cited in 5 Documents (2011–2021) Software Authors: Bodden E, Lam P, Laurie L Related Software: Java-MOP; apcluster; VGGFace2; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPY Cited in 4 Documents (2015–2017) Software Authors: Neykova R, Yoshida N, Hu R Related Software: Scribble; COWS; JBoss; … Main Fields: Computer science (68-XX)
Casaal Cited in 4 Documents (2012–2014) Software Authors: Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie Related Software: Uppaal; UPPAAL TIGA; APMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Multsurr Cited in 5 Documents (2007–2021) Software Authors: Weller, Edie A.; Milton, Donald K.; Eisen, Ellen A.; Spiegelman, Donna Related Software: relibpls8; BLINPLUS; SAS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
Program-Conflict-Analysis Cited in 5 Documents (2008–2018) Software Authors: Lammich, Peter; Müller-Olm, Markus Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; … Main Fields: Computer science (68-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)
AnZenMail Cited in 2 Documents (2003) Software Authors: Shibayama, Etsuya; Hagihara, Shigeki; NaokiKobayashi,; Nishizaki, Shin-ya; KenjiroTaura,; Watanabe, Takuo Related Software: Coq; TALx86; JFlow; … Main Fields: Computer science (68-XX)
BicolanoMT Cited in 3 Documents (2009–2018) Software Authors: Huisman, M., Petri, G. Related Software: Archive Formal Proofs; Jinja Threads; Isabelle/HOL; … Main Fields: Computer science (68-XX)
HLIO Cited in 3 Documents (2015–2019) Software Authors: Buiras, Pablo; Vytiniotis, Dimitrios; Russo, Alejandro Related Software: Haskell; Flow Caml; MonPoly; … Main Fields: Computer science (68-XX)
Kieker Cited in 2 Documents (2008–2022) Software Authors: Rohr, Matthias; van Hoorn, André; Matevska, Jasminka; Sommer, Nils; Stoever, Lena; Giesecke, Simon; Hasselbring, Wilhelm Related Software: Akkaprof; XProf; PReT; … Main Fields: Computer science (68-XX)
LASO2 Cited in 3 Documents (1996–2008) Software Authors: D.S. Scott Related Software: IRAM; ARPACK; eigs; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NIH Toolbox Cited in 0 Documents Software Authors: Richard C. Gershon; et al. Related Software: EQS Main Fields: –
VeriPhy Cited in 3 Documents (2018–2021) Software Authors: Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer Related Software: KeYmaera; Coq; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
WebSCAN Cited in 3 Documents (2001–2003) Software Authors: Qiang, Ma; Miyazaki, Shinya; Tanaka, Katsumi Related Software: – Main Fields: Computer science (68-XX)
bnmonitor Cited in 1 Document (2022) Software Authors: Manuele Leonelli, Ramsiya Ramanathan, Rachel Wilkerson Related Software: stagedtrees; BayesNetBP; ggplot2; … Main Fields: Computer science (68-XX)
CoralReef Cited in 2 Documents (2002–2007) Software Authors: CAIDA Related Software: GRID Infoware; MAGNeT Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
CPN Assistant Cited in 0 Documents Software Authors: Korečko, Štefan; Marcinčin, Ján; Slodičák, Viliam Related Software: SNOOPY; Cell Illustrator; SUNDIALS Main Fields: Computer science (68-XX)
Falcon Cited in 1 Document (2016) Software Authors: Park S, Vuduc RW, Harrold MJ Related Software: BIDE; AVIO; CHESS; … Main Fields: Computer science (68-XX)
Green Cited in 2 Documents (2018–2019) Software Authors: W. Baek, T. M. Chilimbi Related Software: PAPI; Multicube Explorer; SiblingRivalry; … Main Fields: Computer science (68-XX)
InterAspect Cited in 2 Documents (2012–2021) Software Authors: Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez Related Software: AspectJ; AspectWerkz; Java-MaC; … Main Fields: Computer science (68-XX)
Revolution Studio Cited in 1 Document (2010) Software Authors: RunRev Ltd. Related Software: AutoCAD Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)
salabim Cited in 1 Document (2019) Software Authors: Ruud van der Ham Related Software: simmer; DSOL; SimJulia; … Main Fields: Operations research, mathematical programming (90-XX)
ActiveMonitor Cited in 1 Document (2016) Software Authors: Hung, Wei-Lun; Chauhan, Himanshu; Garg, Vijay K. Related Software: AutoSynch; GTgraph Main Fields: Computer science (68-XX)
aipred Cited in 0 Documents Software Authors: M. Benjamin Sabath, Qian Di, Danielle Braun, Francesca Dominici, Christine Choirat Related Software: yaml; data.table; lme4; … Main Fields: –
AUTO3DEM Cited in 0 Documents Software Authors: Xiaodong Yan; Robert S. Sinkovits; Timothy S. Baker Related Software: Java CoG Kit; Pegasus; Taverna; … Main Fields: –
AutoSynch Cited in 1 Document (2016) Software Authors: Wei-Lun Hung, Vijay K. Garg Related Software: GTgraph; ActiveMonitor Main Fields: Computer science (68-XX)
BotHunter Cited in 0 Documents Software Authors: Gu G F, Porras P, Yegneswaran V, et al. Related Software: Rishi; BotGraph; BotMiner; … Main Fields: –
CloudSec Cited in 0 Documents Software Authors: Ibrahim, A., Hamlyn-Harris, J., Grundy, J., Almorsy, M Related Software: ReVirt; RSYSLOG; SecVisor; … Main Fields: Computer science (68-XX)
coverage.py Cited in 0 Documents Software Authors: Ned Batchelder Related Software: Crisp; pytest; Fault-Localization; … Main Fields: –
ddtrace Cited in 0 Documents Software Authors: Braun, B., Qin, H. Related Software: ThermalPlot; HAMA; Graft; … Main Fields: Computer science (68-XX)
detectEr Cited in 1 Document (2022) Software Authors: Attard, D.P. Related Software: Akkaprof; XProf; PReT; … Main Fields: Computer science (68-XX)
Joe-E Cited in 0 Documents Software Authors: Adrian Mettler, David Wagner, Tyler Close Related Software: Retire.js; ConflictJS; Synode; … Main Fields: –
MAGNeT Cited in 1 Document (2002) Software Authors: Feng, Wu-Chun; Gardner, Mark K.; Hay, Jeffrey R. Related Software: CoralReef; GRID Infoware Main Fields: Computer science (68-XX)
Mercury Cited in 1 Document (2016) Software Authors: Chambers, John E. Related Software: – Main Fields: Mechanics of particles and systems (70-XX)
Mimi Cited in 0 Documents Software Authors: David Anthoff, Richard Plevin, Cora Kingdon, Lisa Rennels Related Software: LocalizeSL; BRICK; MAGICC; … Main Fields: –
Moat Cited in 1 Document (2017) Software Authors: Sinha R, Rajamani SK, Seshia SA, Vaswani K Related Software: Laminar; Merlin; SGX; … Main Fields: Computer science (68-XX)
MOP Cited in 1 Document (2005) Software Authors: – Related Software: Jass; Java-MaC; Java-MOP; … Main Fields: Computer science (68-XX)
mtsdi Cited in 1 Document (2022) Software Authors: Washington Junger; Antonio Ponce de Leon Related Software: spBayes; imputeTS; missForest; … Main Fields: Statistics (62-XX)
NFTAPE Cited in 0 Documents Software Authors: Stott, D.T., Floering, B., Burke, D., Kalbarczpk, Z., Iyer, R.K. Related Software: FATE; FlipIt; PreFail; … Main Fields: –
SaTPEP Cited in 1 Document (2002) Software Authors: Velenis, Dimitris; Kalogeras, Dimitris; Maglaris, Basil Related Software: – Main Fields: Computer science (68-XX)
SmartApps Cited in 1 Document (2001) Software Authors: Rauchwerger, Lawrence; Amato, Nancy M.; Torrellas, Josep Related Software: VCODE Main Fields: Computer science (68-XX)
StateSec Cited in 1 Document (2020) Software Authors: Boite, J.; Nardin, P.-A.; Rebecchi, F.; Bouet, M.; Conan, V. Related Software: SDSNM; OpenFlowSIA; Flowfence; … Main Fields: Computer science (68-XX)
Tortoise Cited in 0 Documents Software Authors: A. Weiss, A. Guha, Y. Brun Related Software: HireBuild; PyTorch; PyHum; … Main Fields: –
Tracee Cited in 0 Documents Software Authors: Yaniv Agman; Itay Shakury; et al. Related Software: AppTrace; MADAM; ARTDroid; … Main Fields: –
WPF Cited in 1 Document (2010) Software Authors: Microsoft Related Software: JavaScript; Geometrijica; Cabri; … Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)
Andromaly Cited in 0 Documents Software Authors: Shabtai A, Kanonov U, Elovici Y, Glezer C, Weiss Y Related Software: – Main Fields: –
HighlightsRTC Cited in 0 Documents Software Authors: Milewicz, Reed; Vanka, Rajesh; Tuck, James; Quinlan, Daniel; Pirkelbauer, Peter Related Software: – Main Fields: –
JEM Cited in 0 Documents Software Authors: Guangtian Liu; Aloysius K. Mok Related Software: – Main Fields: –