SLMC Software Authors: Hugo Vieira; Luís Caires Cited in: 72 Publications (2003–2022) Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
UQLab Software Authors: Lataniotis C, Marelli S, Sudret B Cited in: 46 Publications (2016–2023) Related Software: AK-MCS; DACE; EGO; DAKOTA; Python; Matlab; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
CiaoPP Software Authors: Hermenegildo M. V., Bueno F., Puebla G., Lopez P. Cited in: 47 Publications (1999–2022) Related Software: Ciao; Mercury; SICStus; z3; RAHFT; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UPPAAL TIGA Software Authors: Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D. Cited in: 44 Publications (2007–2021) Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; … Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
Uppaal2k Software Authors: Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin Cited in: 38 Publications (2000–2017) Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
nuXmv Software Authors: Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta Cited in: 38 Publications (2015–2023) Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MCNP Software Authors: Breismeister; LANL Cited in: 36 Publications (1999–2022) Related Software: GEANT4; PRMLT; BayesDA; EGSnrc; VTK; CGAL; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
CIL Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. Cited in: 30 Publications (2002–2022) Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
d/dt Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Cited in: 38 Publications (2002–2021) Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
VerICS Software Authors: Zbrzezny, Andrzej; Wo\' zna, Bo\D zena Cited in: 33 Publications (2005–2021) Related Software: MCMAS; MCK; MOCHA; MCMAS-SLK; NuSMV; CUDD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
IMITATOR Software Authors: André, Étienne Cited in: 32 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
TVLA Software Authors: Tal Lev-Ami; Mooly Sagiv Cited in: 31 Publications (2000–2020) Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
JavaFAN Software Authors: Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore Cited in: 30 Publications (2004–2018) Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
JPAX Software Authors: Havelund, Klaus; Roşu, Grigore Cited in: 21 Publications (2002–2022) Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MOPS Software Authors: Chen, H., Wagner, D. Cited in: 15 Publications (2003–2019) Related Software: SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SLAyer Software Authors: Josh Berdine; Byron Cook; Samin Ishtiaq Cited in: 19 Publications (2012–2022) Related Software: VeriFast; Smallfoot; Coq; z3; Cyclist; HIP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RAMAS Risk Calc Software Authors: Ferson S. Cited in: 18 Publications (2003–2022) Related Software: Statool; FEAPpv; eSTOMP; R; IPP Toolbox; DSI Toolbox; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
CVT Software Authors: Pnueli, A.; Shtrichman, O.; Siegel, M. Cited in: 17 Publications (1998–2021) Related Software: TVOC; CVC; SystemC; ICS; z3; Loopy; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)
SURROGATES Software Authors: Viana, F.A.C Cited in: 12 Publications (2010–2020) Related Software: EGO; DACE; Matlab; DiceOptim; DiceKriging; SPACE; … Main Fields: Statistics (62-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
YASM Software Authors: Arie Gurfinkel, Ou Wei, Marsha Chechik Cited in: 13 Publications (2006–2022) Related Software: CUDD; SLAM; BLAST; Bebop; SPIN; ASTREE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AI2 Software Authors: Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T. Cited in: 9 Publications (2020–2021) Related Software: Reluplex; DeepFool; Marabou; Adam; PyTorch; DeepGauge; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX)
HMC Software Authors: Jhala, R., Majumdar, R., Rybalchenko, A. Cited in: 7 Publications (2014–2021) Related Software: z3; Spacer; SeaHorn; Princess; Boogie; JayHorn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DisCo Software Authors: Aaltonen, Timo; Katara, Mika; Pitkänen, Risto Cited in: 7 Publications (1998–2006) Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; … Main Fields: Computer science (68-XX)
Klocwork Software Authors: Rogue Wave Software, Inc. Cited in: 3 Publications (2007–2021) Related Software: FindBugs; CodeSonar; STANSE; Cascade; QEMU; SMACK; … Main Fields: Computer science (68-XX)
ReachNN Software Authors: Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu Cited in: 7 Publications (2021–2022) Related Software: Flow*; Reluplex; Verisig; Marabou; SpaceEx; Sherlock; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
HyLAA Software Authors: Bak, Stanley; Duggirala, Parasara Sridhar Cited in: 6 Publications (2017–2023) Related Software: Flow*; SpaceEx; Breach; C2e2; CORA; HyTech; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
REDLIB Software Authors: Farn Wang Cited in: 6 Publications (2011–2022) Related Software: Kronos; CMC; Synthia; Uppaal; GitHub; UPPAAL TIGA; … Main Fields: Computer science (68-XX)
SCALE 6.2 Software Authors: Rearden, B.; Lefebvre, R.; Lefebvre, J.; Clarno, K.; Williams, M.; Petrie, L.; Mertyurek, U. Cited in: 6 Publications (2015–2021) Related Software: DENOVO; Trilinos; SCALE; COBRA-TF; AMP; VERA; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
PolyAML Software Authors: Dantas, D. S.; Walker, D.; Washburn, G.; Weirich, S Cited in: 5 Publications (2005–2012) Related Software: Aspectual Caml; AspectJ; MAVEN; Haskell; MzScheme; AspectScheme; … Main Fields: Computer science (68-XX)
RGCCTranslationUnit Software Authors: Lang, Duncan Temple Cited in: 3 Publications (2009–2011) Related Software: R; SJava; rJava; CXXR; GStreamer; JMP; … Main Fields: Statistics (62-XX); Computer science (68-XX)
CSPsim Software Authors: Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. Cited in: 4 Publications (2007–2009) Related Software: Eiffel; SCOOP; TCOZ; Circus; Ada95; Boogie; … Main Fields: Computer science (68-XX)
DeepGauge Software Authors: Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang Cited in: 3 Publications (2020–2021) Related Software: DeepXplore; TensorFuzz; Adam; DeepMutation; Scikit; DLFuzz; … Main Fields: Computer science (68-XX)
helperOC Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Cited in: 3 Publications (2020–2022) Related Software: ToolboxLS; PILCO; Python; BaRC Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
MSC.DYTRAN Software Authors: MSC Software Corporation Cited in: 4 Publications (2009–2012) Related Software: ABAQUS; Mathematica Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
Open TURNS Software Authors: Michaël Baudin; Anne Dutfoy; Bertrand Iooss; Anne-Laure Popelin Cited in: 2 Publications (2012) Related Software: DifferentialEquations.jl; UQLab; Chaospy; UQTk; DAKOTA; Julia; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: ISOLATE; QEPCAD; iscasMc; z3; REDLOG; MRMC; … Main Fields: Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
SAFECode Software Authors: Dhurjati, D., Kowshik, S., Adve, V. Cited in: 4 Publications (2008–2013) Related Software: CCured; Coq; LLVM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
AnZenMail Software Authors: Shibayama, Etsuya; Hagihara, Shigeki; NaokiKobayashi,; Nishizaki, Shin-ya; KenjiroTaura,; Watanabe, Takuo Cited in: 2 Publications (2003) Related Software: Coq; TALx86; JFlow; FDR2; CCured; Java PathFinder; … Main Fields: Computer science (68-XX)
Cascade Software Authors: Wang, W., Barrett, C., Wies, T. Cited in: 2 Publications (2020–2021) Related Software: SMACK; SatAbs; UFO; CPAchecker; VCC; KLEE; … Main Fields: Computer science (68-XX)
FAMOCUTN Software Authors: W. Hennings; N. Kuznetsov Cited in: 3 Publications (1994–2014) Related Software: CRESSEX; PAFT F77; ELRAFT; FATRAM; PREP/KITT; MOCUS Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
GDSL Software Authors: Kranz, Julian; Sepp, Alexander; Simon, Axel Cited in: 2 Publications (2015–2018) Related Software: Rocksalt; XSugar; BakerSFIeld; BAP; biXid; BitBlaze; … Main Fields: Computer science (68-XX)
QUAIL Software Authors: Fabrizio Biondi, Axel Legay, Louis-marie Traonouez Cited in: 2 Publications (2016–2019) Related Software: DTA++; LeakWatch; ANTLR Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
RADIOSS Software Authors: Altair Engineering, Inc Cited in: 3 Publications (2005–2020) Related Software: MKL; PERL; Matlab; SFE Concept; ANSYS; CHOLMOD; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
SCALE Software Authors: B.T. Rearden; M.A. Jessee Cited in: 3 Publications (2016–2019) Related Software: SCALE 6.2; COBRA-TF; Matlab; Sparse Grid Interpolation; Partial Differential Equation Toolbox; Shift; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
BARRACUDA Software Authors: Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti Cited in: 1 Publication (2021) Related Software: GRace; GMRace; CURD; GKLEE; GPUVerify; CUDA; … Main Fields: Computer science (68-XX)
Crust Software Authors: Toman, J., Pernsteiner, S., Torlak, E. Cited in: 2 Publications (2020–2022) Related Software: Frama-C; Viper; z3; SMACK; VCC; Joogie; … Main Fields: Computer science (68-XX)
DB-KIT Software Authors: Jiang, Y.; Yin, S. Cited in: 2 Publications (2020–2021) Related Software: ANFIS; UCI-ml Main Fields: Statistics (62-XX); Computer science (68-XX); Systems theory; control (93-XX)
GeoSMA-3D Software Authors: Wang, Shuhong; Ni, Pengpeng Cited in: 2 Publications (2014–2020) Related Software: – Main Fields: Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
InvA Software Authors: Rocha, Camilo; Meseguer, José Cited in: 2 Publications (2014–2020) Related Software: Maude; PKind; HyComp; SeaHorn; Maude-NPA; Mcmt; … Main Fields: Computer science (68-XX)
Jinja not Java Software Authors: Gerwin Klein; Tobias Nipkow Cited in: 2 Publications (2016–2018) Related Software: Archive Formal Proofs; Isabelle/HOL; K Prover; CLDC; BicolanoMT; Jinja Threads; … Main Fields: Computer science (68-XX)
Kuai Software Authors: Majumdar, R., Tetali, S.D., Wang, Z. Cited in: 2 Publications (2019–2021) Related Software: Anteater; VeriCon; VeriFlow; ABS; Syco; NetKAT; … Main Fields: Computer science (68-XX)
NetSketch Software Authors: Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael J. Cited in: 2 Publications (2010–2012) Related Software: Isabelle; SPIN; scunac; Fortress; Matita; Mizar; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PARTS Software Authors: Buy, U.; Sloan, R.H. Cited in: 2 Publications (2001–2006) Related Software: Matlab; HyTech; Ada95 Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
RAM Commander FTA Software Authors: ALD Reliability Engineering Ltd. Cited in: 1 Publication (2015) Related Software: PRISM; ITEM ToolKit; MARCA; HyperStar; Jphase; mdp; … Main Fields: Operations research, mathematical programming (90-XX)
ReliaSoft Software Authors: HBM Prenscia Cited in: 2 Publications (2015–2016) Related Software: ASENT; CafeOBJ; HOL; Isabelle/HOL Main Fields: Computer science (68-XX)
SEMIFEM Software Authors: Basaga, H.B.; Kartal, M.E.; Bayraktar, A. Cited in: 2 Publications (2012–2015) Related Software: ANSYS Main Fields: Statistics (62-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)
SPLASH Software Authors: Yamaguchi, A. Cited in: 2 Publications (1996–1999) Related Software: – Main Fields: Fluid mechanics (76-XX)
Swedge Software Authors: Rocscience Inc Cited in: 2 Publications (2010–2017) Related Software: Dips; Mathcad; UDEC; LIP-RM Main Fields: Mechanics of deformable solids (74-XX); Geophysics (86-XX)
ACCEPT Software Authors: Sampson, A., Baixo, A., Ransford, B., Moreau, T., Yip, J., Ceze, L., Oskin, M. Cited in: 1 Publication (2018) Related Software: Houdini; Boogie; Rely; Green; EnerJ; Chisel; … Main Fields: Computer science (68-XX)
ActiveMonitor Software Authors: Hung, Wei-Lun; Chauhan, Himanshu; Garg, Vijay K. Cited in: 1 Publication (2016) Related Software: AutoSynch; GTgraph Main Fields: Computer science (68-XX)
Bio-LSTM Software Authors: Xiaoxiao Du; Ram Vasudevan; Matthew Johnson-Roberson Cited in: 0 Publications Related Software: SMPL Main Fields: –
Call_Arity Software Authors: Joachim Breitner Cited in: 1 Publication (2018) Related Software: Launchbury; Archive Formal Proofs; Locales; Nominal Isabelle; Isabelle/HOL; Isabelle Main Fields: Computer science (68-XX)
ContaMiner Software Authors: Hungler, Arnaud, Afaque Momin, Kay Diederichs, Stefan T Arold Cited in: 0 Publications Related Software: EXI; molstack; SynchWeb; CCP4; Coot; xtal.js; … Main Fields: –
Cuneiform Software Authors: Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf Cited in: 1 Publication (2017) Related Software: PRMLT; Hive; Spark; Eden; Taverna; Hadoop; … Main Fields: Computer science (68-XX)
DaDRA Software Authors: Jared Mejia, Alex Devonport, Murat Arcak Cited in: 0 Publications Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python Main Fields: –
DataFAN Software Authors: Czarnecki, Krzysztof; Himsolt, Michael; Richter, Ernst; Vieweg, Falk; Rosskopf, Alfred Cited in: 1 Publication (2002) Related Software: Ada95 Main Fields: Computer science (68-XX)
detectEr Software Authors: Attard, D.P. Cited in: 1 Publication (2022) Related Software: Akkaprof; XProf; PReT; PerformERL; Kieker; Akka; … Main Fields: Computer science (68-XX)
DrugComboRanker Software Authors: Lei Huang, Fuhai Li, Jianting Sheng, Xiaofeng Xia, Jinwen Ma, Ming Zhan, Stephen T.C. Wong Cited in: 1 Publication (2017) Related Software: bc3net; Corbi; timma; DCGL; NetData; modMax; … Main Fields: Biology and other natural sciences (92-XX)
DYLAM-TRETA Software Authors: Izquierdo, J.M.; Sanchez-Perea, M. Cited in: 1 Publication (1990) Related Software: – Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
FlexJava Software Authors: Park, J., Esmaeilzadeh, H., Zhang, X., Naik, M., Harris, W. Cited in: 1 Publication (2018) Related Software: Houdini; Boogie; Rely; Green; EnerJ; ACCEPT; … Main Fields: Computer science (68-XX)
FORTS Software Authors: Youcheng Sun; Giuseppe Lipari Cited in: 1 Publication (2016) Related Software: GitHub Main Fields: Computer science (68-XX)
GUIMesh Software Authors: M. Pinto, P. Gonçalves Cited in: 0 Publications Related Software: CadQuery; McCad; FluDAG; TetGen; pycsg; CMGC; … Main Fields: –
Jacco Software Authors: Zakeriyan, A., Khamespanah, E., Sirjani, M., Khosravi, R Cited in: 1 Publication (2019) Related Software: Petrify; UMDES; Rebeca; Creol Main Fields: Computer science (68-XX)
Joe-E Software Authors: Adrian Mettler, David Wagner, Tyler Close Cited in: 0 Publications Related Software: Retire.js; ConflictJS; Synode; Node.js; npm; BreakApp; … Main Fields: –
Moat Software Authors: Sinha R, Rajamani SK, Seshia SA, Vaswani K Cited in: 1 Publication (2017) Related Software: Laminar; Merlin; SGX; Privtrans; F*; Fable; … Main Fields: Computer science (68-XX)
MONK Software Authors: M.J. Armishaw; A.J. Cooper Cited in: 1 Publication (2017) Related Software: ARPACK; HSL Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
MOP Software Authors: – Cited in: 1 Publication (2005) Related Software: Jass; Java-MaC; Java-MOP; JPAX; JML Main Fields: Computer science (68-XX)
ndsintxn Software Authors: Ashirwad Barnwal, Jennifer Merickel, Matthew Rizzo, Luis Riera-Garcia, Soumik Sarkar, Anuj Sharma Cited in: 0 Publications Related Software: Excel; GEE; FFmpeg; RStudio; ffmpeg-python; R Main Fields: –
NL2Type Software Authors: R. S. Malik, J. Patra, M. Pradel Cited in: 0 Publications Related Software: Hack; TypeScript; Python; GitPython; Flow; mypy; … Main Fields: –
Peregrine Software Authors: Sunderland, D.; Stanek, C.; Wirth, B.; Capps, N.; Williamson, R. Cited in: 1 Publication (2016) Related Software: Shift; MPACT; Insilico; VERA; ORIGEN2; DAKOTA; … Main Fields: Statistical mechanics, structure of matter (82-XX)
PRIZMA Software Authors: Y. Z. Kandiev, E. A. Kashaeva, K. E. Khatuntsev, E. S. Kuropatenko, L. V. Lobanova, G. N. Lukin, A. A. Malakhov, G. N. Malyshkin, D. G. Modestov, R. F. Mukhamadiev, V. G. Orlov, S. I. Samarin, E. V. Serova, S. G. Spirina, T. V. Vakhonina, N. A. Voronina and O. V. Zatsepin Cited in: 1 Publication (2022) Related Software: ENDL; GEANT4 Main Fields: Optics, electromagnetic theory (78-XX)
PTC Windchill FTA Software Authors: PTC Cited in: 1 Publication (2015) Related Software: PREP/KITT; MOCUS; DBNet; RAM Commander FTA; FaultTree+; ITEM ToolKit; … Main Fields: Operations research, mathematical programming (90-XX)
pyBIMstab Software Authors: Exneyder A.Montoya-Araque; Ludger O. Suarez-Burgo Cited in: 0 Publications Related Software: Python; pc4bims Main Fields: –
SAS4A Software Authors: J. E. Cahalan et al. Cited in: 1 Publication (2012) Related Software: Rapsodia; OpenAD/F Main Fields: Numerical analysis (65-XX)
SDN-SafeCheck Software Authors: Universität Konstanz Cited in: 1 Publication (2021) Related Software: AProVE; Nettle; Frenetic; NetKAT; Maude Main Fields: Computer science (68-XX)
SeroTools Software Authors: Joseph D. Baugher Cited in: 0 Publications Related Software: SeqSero2; ECTyper; Python Main Fields: –
SFE Concept Software Authors: Dassault Systèmes Cited in: 1 Publication (2005) Related Software: PERL; Matlab; RADIOSS Main Fields: Mechanics of deformable solids (74-XX)
SMP-tool Software Authors: Kaalen, S.; Nyberg, M. Cited in: 1 Publication (2021) Related Software: StateFlow; MoDeST; TimeNET; Matlab; GreatSPN Main Fields: Computer science (68-XX)
SSAM Software Authors: Federal Highway Administration Cited in: 1 Publication (2021) Related Software: FactoClass; dendextend; VISSIM; corrplot; psych; R Main Fields: Statistics (62-XX)
SwarmLab Software Authors: Enrica Soria, Fabrizio Schiano, Dario Floreano Cited in: 0 Publications Related Software: GAZEBO; ARGoS; AirSim; Matlab Main Fields: –
WildDash Software Authors: Oliver Zendel, Katrin Honauer, Markus Murschitz, Daniel Steininger, Gustavo Fernández Domínguez Cited in: 1 Publication (2022) Related Software: ClusterFit; Flickr30K; PWC-Net; MeshLab; Face2Face; PoseCNN; … Main Fields: Computer science (68-XX)
HighlightsRTC Software Authors: Milewicz, Reed; Vanka, Rajesh; Tuck, James; Quinlan, Daniel; Pirkelbauer, Peter Cited in: 0 Publications Related Software: – Main Fields: –