×

Found 54 Software Packages (Results 1–54)

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)

EEMBC

Software Authors:   EEMBC
Cited in: 0 Publications
Related Software:
Main Fields:

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: