×

Found 77 Software Packages (Results 1–77)

Reo

Software Authors:   Matej Dunik
Cited in: 85 Publications (2003–2022)
Related Software: Linda; Maude; mCRL2; Ptolemy; CADP; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Delphi

Software Authors:   Embarcadero Technologies; Borland
Cited in: 52 Publications (1995–2015)
Related Software: Visual Basic; Excel; SPSS; MS SQL Server; C++ Builder; Unravel; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CLEAN

Software Authors:   Plasmeijer, M.J.
Cited in: 55 Publications (1987–2016)
Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

JBoss

Software Authors:   Red Hat Inc.
Cited in: 21 Publications (2004–2016)
Related Software: Drools; AspectJ; WebSphere; JAsCo; SAVARA; Scribble; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

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)

MobileNets

Software Authors:   Andrew G. Howard, Menglong Zhu, Bo Chen, Dmitry Kalenichenko, Weijun Wang, Tobias Weyand, Marco Andreetto, Hartwig Adam
Cited in: 26 Publications (2019–2022)
Related Software: ImageNet; Xception; SqueezeNet; TensorFlow; AlexNet; ShuffleNet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Node.js

Software Authors:   Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D.
Cited in: 5 Publications (2017–2022)
Related Software: JavaScript; Angular; Traefik; Docker; Synode; npm; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-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)

MRSVP

Software Authors:   Talukdar, Anup Kumar; Badrinath, B.R.; Acharya, Arup
Cited in: 10 Publications (2000–2006)
Related Software: HMRSVP; ReVirt; HMAT
Main Fields: Computer science (68-XX)

Acrobat

Software Authors:   Adobe
Cited in: 6 Publications (1997–2007)
Related Software: Word; Ghostscript; LEMO; Excel; SAS; MathType; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-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)

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)

Concordia

Software Authors:   David Wong, Noemi Paciorek, Tom Walsh, Joe DiCelie, Mike Young, Bill Peet
Cited in: 6 Publications (2001–2006)
Related Software: Aglets; Voyager; MAWS; PVM
Main Fields: Computer science (68-XX)

LoPSiL

Software Authors:   Ligatti, Jay; Rickey, Billy; Saigal, Nalin
Cited in: 3 Publications (2009–2018)
Related Software: AspectJ; TaintDroid; BCEL
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)

PODC

Software Authors:   Kuang, Hairong; Bic, Lubomir F.; Dillencourt, Michael B.
Cited in: 4 Publications (2001–2005)
Related Software: NINJA
Main Fields: Computer science (68-XX)

CHR.js

Software Authors:   Falco Nogatz; Thom Frühwirth; Dietmar Seipel
Cited in: 2 Publications (2020)
Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CLDC

Software Authors:   –
Cited in: 2 Publications (2005–2018)
Related Software: K Prover; Jinja not Java; Archive Formal Proofs; BicolanoMT; Jinja Threads; K-Java; …
Main Fields: Computer science (68-XX)

Enrichr

Software Authors:   E. Y. Chen, C. M. Tan, Y. Kou, Q. Duan, Z. Wang, G. V. Meirelles, N. R. Clark, A. Ma'ayan,
Cited in: 2 Publications (2015–2016)
Related Software: Bioconductor; R; COHCAP; IMA; KEGG; RnBeads; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

JCOD

Software Authors:   Delsart, Bertrand; Joloboff, Vania; Paire, Eric
Cited in: 3 Publications (2002)
Related Software:
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)

SPHERA

Software Authors:   Andrea Amicarelli, Sauro Manenti, Raffaele Albano, Giordano Agate, Marco Paggi, Laura Longoni, Domenica Mirauda, Latifa Ziane, Giacomo Viccione, Sara Todeschini, Aurelia Sole, Lara Martina Baldini, Davide Brambilla, Monica Papini, Mohamed Cherif Khellaf, Bonaventura Tagliafierro, Luca Sarno, Guido Pirovano
Cited in: 3 Publications (2021–2022)
Related Software: NDSPMHD; Engauge Digitizer; GitHub; NumPy; PAPI; PyZoltan; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

Chisel

Software Authors:   J. Keeney; V. Cahill
Cited in: 1 Publication (2006)
Related Software:
Main Fields: Computer science (68-XX)

Compass Trainer

Software Authors:   Amiot, Emmanuel; Lerat, Jean-Philippe; Recoules, Bérenger; Szabo, Valérie
Cited in: 2 Publications (2017–2019)
Related Software: madmom
Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)

COROR

Software Authors:   Tai, W., Keeney, J., O’Sullivan, D.
Cited in: 1 Publication (2014)
Related Software: ELK; Snorocket; Protege; Ontobee; DReW; WebPIE; …
Main Fields: Computer science (68-XX)

Datamonkey

Software Authors:   Weaver, S., S. D. Shank, S. J. Spielman, M. Li, S. V. Muse, S. L. Kosakovsky Pond
Cited in: 1 Publication (2020)
Related Software: HyPhy; CodonTest; ALF; xREI; RevTrans; MACSE; …
Main Fields: Biology and other natural sciences (92-XX)

GeometryTouch

Software Authors:   Su, Wei; Wang, Paul S.; Cai, Chuan; Li, Lian
Cited in: 1 Publication (2014)
Related Software: GeoGebra; Geometer's Sketchpad; Cinderella; Geometry Expressions; JSXGraph; CindyJS; …
Main Fields: Computer science (68-XX)

InfoPipes

Software Authors:   Herzog, Marcus; Gottlob, Georg
Cited in: 2 Publications (2001)
Related Software: Mercator
Main Fields: Computer science (68-XX)

JCML

Software Authors:   Da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Pl'acido A.
Cited in: 2 Publications (2009–2012)
Related Software: LOOP; Z; JML; Daikon; Eiffel; KRAKATOA; …
Main Fields: Computer science (68-XX)

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)

Rover

Software Authors:   Anthony D. Joseph, Alan F. de Lespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
Cited in: 0 Publications
Related Software: AmbientTalk; JCobox; Kilim; Featherweight Java; PLT Redex; Linda; …
Main Fields:

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)

Skype

Software Authors:   Microsoft
Cited in: 1 Publication (2014)
Related Software: Xheal
Main Fields: Computer science (68-XX)

TouchDevelop

Software Authors:   Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich
Cited in: 1 Publication (2017)
Related Software: Scratch; Alice; Greenfoot; js_of_ocaml; mbeddr; Calcite; …
Main Fields: Computer science (68-XX)

Apache Cordova

Software Authors:   The Apache Software Foundation
Cited in: 0 Publications
Related Software: Bottle; Plotly; Pusher; DEVSimPy; SoapUI; Ionic; …
Main Fields:

ApLeaf

Software Authors:   Z. Q. Zhao, L. H. Ma, Y. M. Cheung, X. D. Wu, Y. Y. Tang, C. L. P. Chen
Cited in: 1 Publication (2015)
Related Software: Matlab
Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-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)

Arlearn

Software Authors:   Börner, Dirk; Ternier, Stefaan; Klemke, Roland; Schmitz, Birgit; Kalz, Marco; Tabuenca, Bernardo; Specht, Marcus
Cited in: 0 Publications
Related Software:
Main Fields:

CardS4

Software Authors:   Goré, Rajeev Prabhakar; Thê Nguyên, Phuong
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

CoChecker

Software Authors:   Cui, Xingmin; Yu, Da; Chan, Patrick; Hui, Lucas C.K.; Yiu, S.M.; Qing, Sihan
Cited in: 1 Publication (2014)
Related Software: DroidBench
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

DEVSimPy-mob

Software Authors:   L. Capocchi, J.F. Santucci
Cited in: 0 Publications
Related Software: Bottle; Apache Cordova; Plotly; Pusher; DEVSimPy; SoapUI; …
Main Fields:

DubLet

Software Authors:   Hurley, Gareth; Wilson, David C.
Cited in: 1 Publication (2001)
Related Software:
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)

express

Software Authors:   TJ Holowaychuk; et al.
Cited in: 0 Publications
Related Software: Traefik; Node.js; MongoDB; MinIO; Docker; minimo
Main Fields:

FAIMS Mobile

Software Authors:   Brian Ballsun-Stanton, Shawn A. Ross, Adela Sobotkova, Penny Crook
Cited in: 0 Publications
Related Software: KoBoToolbox
Main Fields:

FluMapper

Software Authors:   A. Padmanabhan, S. Wang, G. Cao, M. Hwang, Z. Zhang, Y. Gao, K. Soltani, Y.Y. Liu
Cited in: 0 Publications
Related Software: pRasterBlaster; TauDEM; nanoHUB; Hubzero; GISolve; cyberGIS
Main Fields:

FUSE

Software Authors:   Izadi, Shahram; Coutinho, Pedro; Rodden, Tom; Smith, Gareth
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

GAPJS

Software Authors:   Maniezzo, Vittorio; Boschetti, Marco A.; Carbonaro, Antonella; Marzolla, Moreno; Strappaveccia, Francesco
Cited in: 1 Publication (2019)
Related Software: Concorde; SpatiaLite; jsLPSolver; spatiasql.js; glpk.js; three.js; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Gulfstream

Software Authors:   Guarnieri, S.; Livshits, B.
Cited in: 1 Publication (2013)
Related Software: AdJail; ADsafety; SessionShield; ConScript; Mashic; Zaphod; …
Main Fields: Computer science (68-XX)

HydroCloud

Software Authors:   Roberge, M.C., McGuire, M.P. and Lian, J.
Cited in: 0 Publications
Related Software: HydroDesktop; WaterML
Main Fields:

Jawa

Software Authors:   Budi, Eko Mursito; Roy, Geoff; Cole, Graeme
Cited in: 1 Publication (2003)
Related Software: Java Grande
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)

JSLINQ

Software Authors:   Balliu, M.; Liebe, B.; Schoepe, D.; Sabelfeld, A.
Cited in: 1 Publication (2017)
Related Software: K Prover; Links; SeLINQ; F*; KJS; Ur/Web; …
Main Fields: 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:

Mathomatic

Software Authors:   George Gesslein II
Cited in: 1 Publication (2009)
Related Software: DAEPACK; GAMS; CPLEX; BARON
Main Fields: Operations research, mathematical programming (90-XX)

mdmatrix

Software Authors:   Shiratuddin N, Sarif SM
Cited in: 0 Publications
Related Software:
Main Fields:

OLT

Software Authors:   Ruiz-Sarmiento, J. R.; Galindo, C.; González-Jiménez, J.
Cited in: 1 Publication (2017)
Related Software: UGM; ViDRILO; PMTK; CRFsuite; L-BFGS
Main Fields: Statistics (62-XX); Computer science (68-XX)

plate

Software Authors:   Friederich, Jan; Pfaller, Sebastian; Steinmann, Paul
Cited in: 1 Publication (2016)
Related Software: WebGL; OpenGL
Main Fields: Mechanics of deformable solids (74-XX)

QUEST

Software Authors:   Frank, Lawrence R.; Galinsky, Vitaly L.
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Statistical mechanics, structure of matter (82-XX); Biology and other natural sciences (92-XX)

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)

React

Software Authors:   Facebook Inc.; Dan Abramov; Brian Vaughn; et al.
Cited in: 0 Publications
Related Software: Babel; Bulma; Sass; MMQGIS; Pleiades; Leaflet; …
Main Fields:

ReDraw

Software Authors:   Kevin Moran, Carlos Bernal-Cárdenas, Michael Curcio, Richard Bonett, Denys Poshyvanyk
Cited in: 0 Publications
Related Software: Bootstrap.js; Django; Sketchplore; DesignScape; Bricolage; PeerStudio; …
Main Fields:

RT3D

Software Authors:   T. P. Clement, C. D. Johnson
Cited in: 1 Publication (2021)
Related Software: HYDROGEOCHEM; THC-MP; STOMP; MIN3P-THCm; MIN3P-HPC; PhreeqcRM; …
Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)

SAFEWAPI

Software Authors:   S. Bae, H. Cho, I. Lim, S. Ryu
Cited in: 0 Publications
Related Software: ast; GATEKEEPER; Synode; Judge; WALA; Node.js; …
Main Fields:

SinkTrail

Software Authors:   Liu, Xinxin; Zhao, Han; Yang, Xin; Li, Xiaolin
Cited in: 1 Publication (2013)
Related Software:
Main Fields: Computer science (68-XX)

Snapdragon

Software Authors:   Qualcomm Technologies, Inc.
Cited in: 0 Publications
Related Software: clBLAS; clpeak; CUBLAS; TensorFlow; convnet; cuDNN; …
Main Fields:

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)

VIFECO

Software Authors:   Philippe Apparicio, David Maignan, Jérémy Gelb
Cited in: 0 Publications
Related Software: YOLO; vehicle_detection_haarcascades; simple_vehicle_counting; Griffon; BGSLibrary; OpenCV; …
Main Fields:

WEBARM

Software Authors:   Elarde, Joseph V.; Brewster, Gregory B.
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

EEMBC

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

MyOcrTool

Software Authors:   Rai, Laxmisha; Li, Hong
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: