ArcGIS Software Authors: esri.com Cited in: 26 Publications (2002–2022) Related Software: R; QGIS; Python; GRASS GIS; GDAL; SciPy; … Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)
MonoSLAM Software Authors: A. J. Davison, I. D. Reid, N. D. Molton, O. Stasse Cited in: 32 Publications (2008–2022) Related Software: SIFT; FastSLAM; SURF; ORB-SLAM2; SBA; ORB-SLAM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
MWB Software Authors: Björn Victor, Faron Moller Cited in: 31 Publications (1998–2021) Related Software: Petruchio; Pict; PRISM; MMC; SPEC; ContentCVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GAZEBO Software Authors: Koenig, N.; Howard, H. Cited in: 16 Publications (2006–2022) Related Software: ROS; MuJoCo; Adam; GitHub; OpenAI Gym; PyTorch; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Biology and other natural sciences (92-XX)
KASUMI Software Authors: Satoh, Akashi; Morioka, Sumio Cited in: 20 Publications (2002–2016) Related Software: Camellia; Whirlpool; SageMath; VBFlib; MatPack; CrypTool; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SmartMobile Software Authors: Auer, Ekaterina; Luther, Wolfram Cited in: 14 Publications (2008–2014) Related Software: ValEncIA-IVP; FADBAD++; ValEncIA; Cosy; MOBILE; PROFIL/BIAS; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
MAGDA Software Authors: Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Salvatore Venticinque Cited in: 10 Publications (2006–2010) Related Software: Globus Toolkit; Charlotte; MPICH-G2; Janet; CRACK; SYMMGRP; … Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)
MMC Software Authors: Yang, Ping; Ramakrishnan, C.R.; Smolka, Scott A. Cited in: 9 Publications (2003–2020) Related Software: MWB; MCK; Uppaal; SPIN; HOL/SPIN; SLMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
MOBILE Software Authors: Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger Cited in: 9 Publications (2001–2010) Related Software: PROFIL/BIAS; SmartMobile; TADIFF; ValEncIA; Cosy; FADBAD++; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
FRIDGE Software Authors: Keding, H., Willems, M., Coors, M., Meyr, H. Cited in: 4 Publications (2004–2007) Related Software: Simulink; HOL; HOL Light; ML; ACL2; CLAPACK; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
occam-pi Software Authors: Welch, Peter H.; Barnes, Frederick R.M. Cited in: 6 Publications (2005–2021) Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
DynaMechs Software Authors: McMillan, S., Orin, D.E., McGhee, R.B Cited in: 2 Publications (2010) Related Software: RobotBuilder Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ASAP Software Authors: Khandelwal, Girish; Lee, Kyounghwan; Yener, Aylin; Serbetli, Semih Cited in: 4 Publications (2007–2010) Related Software: Access/CPN; Design/CPN; CPN/Tools; Algorithm 786 Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JavaLog Software Authors: Amandi, Anal\'{\i}a; Campo, Marcelo; Zunino, Alejandro Cited in: 3 Publications (2002–2007) Related Software: GOLOG; Oz; METATEM; Mozart; AspectWerkz; Graphplan; … Main Fields: Computer science (68-XX)
JAFMAS Software Authors: Chauhan, D Cited in: 3 Publications (2000–2007) Related Software: CLIPS; DECAF Main Fields: Computer science (68-XX)
Mobiware Software Authors: Oguz, A., Campbell, A.T., Kounavis, M.E., Liao, R.F. Cited in: 1 Publication (2005) Related Software: KQML; Globus Toolkit; NAG; Java CoG Kit; SNAP Main Fields: Computer science (68-XX)
CTRW Software Authors: Andrea Cortis, Brian Berkowitz Cited in: 3 Publications (2016–2018) Related Software: Matlab; GSLIB Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
MIKS Software Authors: Beneventano, Domenico; Bergamaschi, Sonia; Gelati, Gionata; Guerra, Francesco; Vincini, Maurizio Cited in: 2 Publications (2003–2004) Related Software: WordNet Main Fields: Computer science (68-XX)
MoVES Software Authors: Bononi, Luciano; Di Felice, Marco; D'Angelo, Gabriele; Bracuto, Michele; Donatiello, Lorenzo Cited in: 3 Publications (2008–2019) Related Software: APOSTLE; PythonPDEVS; GridSpice; GTW; ROSS; PartiSim; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
AsirPad Software Authors: Fujimoto, M., Suzuki, M. Cited in: 0 Publications Related Software: Maxima on Android; Risa/Asir Main Fields: Computer science (68-XX)
AsTeRICS Software Authors: Ossmann, Roland; Parker, Stefan; Thaller, David; Pecyna, Karol; García-Soler, Alvaro; Morales, Blanca; Weiß, Christoph; Veigl, Christoph; Kakousis, Konstantinos Cited in: 2 Publications (2014) Related Software: OpenViBE Main Fields: Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
iJADE IWShopper Software Authors: Lee, Raymond S.T. Cited in: 2 Publications (2001–2003) Related Software: iJADE Surveillant Main Fields: Computer science (68-XX)
iJADE Surveillant Software Authors: Lee, Raymond S.T. Cited in: 2 Publications (2003–2006) Related Software: iJADE IWShopper Main Fields: Computer science (68-XX)
ImpuR Software Authors: Christian Ritter; Jean Gilliard Cited in: 0 Publications Related Software: R; spectrino; FluxSimulator; rpubchem; rcdk; amsrpm; … Main Fields: –
MeVisLab Software Authors: Peter Kohlmann, Tobias Boskamp, Alexander Köhn, Christian Rieder, Andrea Schenk, Florian Link, Uwe Siems, Marcus Barann, Jan-Martin Kuhnigk, Daniel Demedts, Horst K. Hahn Cited in: 2 Publications (2012–2016) Related Software: BioImageXD; VirtualGL; Open Inventor; VizServer; N4itk; dcm4che; … Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)
PETS 2017 Software Authors: Luis Patino; Tahir Nawaz; Tom Cane; James Ferryman Cited in: 2 Publications (2009–2018) Related Software: HON4D; MOT16; Pfinder; CAVIAR; OTCBVS Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
PIC2LNT Software Authors: Mateescu, Radu; Salaün, Gwen Cited in: 2 Publications (2013) Related Software: ProVerif; CADP; MWB; E-LOTOS; PRISM-games; BULL; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
SessionShield Software Authors: Nikiforakis, N.; Meert, W.; Younan, Y.; Johns, M.; Joosen, W. Cited in: 1 Publication (2013) Related Software: AdJail; ADsafety; ConScript; Mashic; Gulfstream; Zaphod; … Main Fields: Computer science (68-XX)
ACVisualizer Software Authors: Ahmad, Raheel; Rahimi, Shahram Cited in: 1 Publication (2008) Related Software: CLIPS; MWB Main Fields: Computer science (68-XX)
ArgueApply Software Authors: Pührer, Jörg Cited in: 1 Publication (2017) Related Software: NoHR; Catnap; Moviola; lp2normal; Harvey; plasp Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ASITA Software Authors: Schmidt, Torge Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
Boda-RTC Software Authors: Matthew Moskewicz, Forrest Iandola, Kurt Keutzer Cited in: 0 Publications Related Software: Snapdragon; clBLAS; clpeak; CUBLAS; TensorFlow; convnet; … Main Fields: –
DataSist Software Authors: Rising Odegua Cited in: 0 Publications Related Software: SciPy; SPSS; Stata; pandas; IPython; Scikit; … Main Fields: –
DeepRT Software Authors: Kang, Woochul; Chung, Jaeyong Cited in: 1 Publication (2019) Related Software: AlexNet; GitHub; Model Zoo; TensorRT; ImageNet; Caffe Main Fields: Computer science (68-XX)
DiffRNN Software Authors: Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao Cited in: 1 Publication (2021) Related Software: NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; … Main Fields: Computer science (68-XX)
Eleven82 Software Authors: Koskinen, Eric; Yang, Junfeng Cited in: 1 Publication (2016) Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; … Main Fields: Computer science (68-XX)
EOMP Software Authors: Mohamed, M.A.Maluk; Devanathan, V.R.; Janakiram, D. Cited in: 1 Publication (2010) Related Software: GloMoSim Main Fields: Computer science (68-XX)
FDAN Software Authors: Benkaouha, Haroun; Abdelli, Abdelkrim; Bouyahia, Karima; Kaloune, Yasmina Cited in: 0 Publications Related Software: – Main Fields: –
GMAC Software Authors: Gotthelf, Pablo; Zunino, Alejandro; Mateos, Cristian; Campo, Marcelo Cited in: 1 Publication (2008) Related Software: Pastry; Chord; BRITE; SCRIBE Main Fields: Computer science (68-XX)
Joone Software Authors: – Cited in: 1 Publication (2015) Related Software: Neuroph; Encog Main Fields: Statistics (62-XX); Computer science (68-XX)
LambdaNative Software Authors: Petersen, Christian L.; Gorges, Matthias; Dunsmuir, Dustin; Ansermino, Mark; Dumont, Guy A. Cited in: 0 Publications Related Software: GitHub Main Fields: –
MABS Software Authors: De Reyck, Bert; Degraeve, Zeger Cited in: 1 Publication (2006) Related Software: Excel; LINGO; LINDO Main Fields: Operations research, mathematical programming (90-XX)
Marathon 2 Software Authors: S. Macenski, F. Martín, R. White, J.G. Clavero Cited in: 1 Publication (2023) Related Software: Frama-C; ROS; ROSMonitoring; CRADLE; DeepXplore; Lean; … Main Fields: Computer science (68-XX)
MAWS Software Authors: Artail, Hassan; Kahale, Elie Cited in: 1 Publication (2006) Related Software: Voyager; Concordia; Aglets Main Fields: Computer science (68-XX)
MILENIO Software Authors: Pérez Díaz, Jesús Arturo; Álvarez Gutiérrez, Darío; García Barón, Sara Isabel Cited in: 1 Publication (2000) Related Software: – Main Fields: Computer science (68-XX)
MobiDisc Software Authors: Möller, Andreas; Thielsch, Angelika; Roalter, Luis; Kranz, Matthias Cited in: 0 Publications Related Software: – Main Fields: –
NNVM Software Authors: Paul G. Allen; Tianqi Chen Cited in: 0 Publications Related Software: Halide; PyTorch; XLA; Caffe; LLVM; Torch; … Main Fields: –
PaladinRM Software Authors: Vimal Mayank; Natasha Shmunis; Mark Austin Cited in: 1 Publication (2006) Related Software: DAMLJessKB; Jess; Protege Main Fields: Computer science (68-XX)
PhoneGap Software Authors: Adobe Systems Inc Cited in: 0 Publications Related Software: Node.js; Angular; Tornado; GraphicsMagick; ImageMagick Main Fields: –
RAWSim-O Software Authors: Marius Merschformann, Lin Xie, Hanyi Li Cited in: 1 Publication (2021) Related Software: – Main Fields: Operations research, mathematical programming (90-XX)
Swarm-Sync Software Authors: Meetha V. Shenoy; Anupama K.R. Cited in: 1 Publication (2019) Related Software: DOSI; Wasp; HC-ACO Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
RAFCON Software Authors: Sebastian G. Brunner, Franz Steinmetz, Rico Belder, Andreas Dömel Cited in: 0 Publications Related Software: – Main Fields: –
SOSerbia Software Authors: Jovanovic, Mihailo; Babic, Ivan; Cabarkapa, Milan; Misic, Jelena; Mijalkovic, Sasa; Nikolic, Vojkan; Randjelovic, Dragan; Fuentes, Miguel Cited in: 0 Publications Related Software: – Main Fields: –