×

Found 200 Software Packages (Results 1–100)

Uppaal

Software Authors:   Uppsala University, Sweden; Aalborg University in Denmark
Cited in: 539 Publications (1990–2022)
Related Software: Kronos; HyTech; SPIN; PRISM; NuSMV; IF-2.0; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Cited in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Cited in: 229 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Esterel

Software Authors:   Gérard Berry
Cited in: 133 Publications (1985–2022)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Erlang

Software Authors:   erlang.org
Cited in: 100 Publications (1993–2022)
Related Software: Haskell; Maude; JCobox; QuickCheck; ABS; Linda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Cited in: 99 Publications (2002–2021)
Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Cited in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Cited in: 37 Publications (2002–2017)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-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; VerICS; …
Main Fields: Mathematical logic and foundations (03-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: 31 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)

TrueTime

Software Authors:   Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, Karl-Erik Årzén
Cited in: 39 Publications (2005–2021)
Related Software: Matlab; Simulink; Torsche; Uppaal; SeDuMi; AQuoSA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

LUSTRE

Software Authors:   Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A.
Cited in: 38 Publications (1992–2018)
Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Cited in: 32 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Cited in: 33 Publications (1997–2015)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Cited in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; CADP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CMC

Software Authors:   Francois Laroussinie; Kim G. Larsen
Cited in: 31 Publications (2000–2020)
Related Software: Uppaal; Kronos; HyTech; TINA; Romeo; IF-2.0; …
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: 30 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)

OSQP

Software Authors:   Bartolomeo Stellato, Goran Banjac, Paul Goulart, Alberto Bemporad, Stephen Boyd
Cited in: 26 Publications (2018–2022)
Related Software: Mosek; SCS; qpOASES; CVXPY; GitHub; ECOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Hybrid Toolbox

Software Authors:   Bemporad A.
Cited in: 28 Publications (2004–2022)
Related Software: HYSDEL; MPT; CPLEX; Matlab; GLPK; ECOS; …
Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

TIMES

Software Authors:   H. Carli, L.G.S. Duarte, L.A.C.P. da Mota
Cited in: 23 Publications (2002–2021)
Related Software: Uppaal; Maple; Kronos; LinMapTS; SPIN; IMITATOR; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Computer science (68-XX)

VEST

Software Authors:   Stankovic A, Wang H, Humphrey M, Zhu R, Poornalingam R, Lu C
Cited in: 23 Publications (2001–2016)
Related Software: Ptolemy; CPLEX; Uppaal; AspectC++; Tensorial; GeneralVectorAnalysis; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); Probability theory and stochastic processes (60-XX)

GroupKit

Software Authors:   Roseman M.; Greenberg S.
Cited in: 2 Publications (2003–2009)
Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Rabbit

Software Authors:   Beyer, Dirk; Lewerentz, Claus; Noack, Andreas
Cited in: 22 Publications (2001–2018)
Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

MARTE

Software Authors:   Object Management Group, Inc.
Cited in: 10 Publications (2009–2017)
Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

TAXYS

Software Authors:   Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
Cited in: 15 Publications (2001–2017)
Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

YOLO

Software Authors:   Redmon, Joseph; Farhadi, Ali
Cited in: 12 Publications (2017–2022)
Related Software: Faster R-CNN; SSD; ImageNet; Python; AlexNet; PASCAL VOC; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MetaMorph

Software Authors:   Maturana, F.; Shen, W.; Norrie, D.H.
Cited in: 18 Publications (1999–2010)
Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOCA

Software Authors:   Gilad Koren, Dennis Shasha
Cited in: 17 Publications (1994–2020)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

PVeStA

Software Authors:   AlTurki, M., Meseguer, J
Cited in: 13 Publications (2011–2021)
Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ASTRAL

Software Authors:   Buonanno, Giacomo; Coen-Porisini, Alberto; Fornaciari, William
Cited in: 16 Publications (1992–2006)
Related Software: Kronos; Uppaal; HyTech; MOCHA; TorX; Bebop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

BCI2000

Software Authors:   Schalk G, McFarland D J, Hinterberger T, Birbaumer N, Wolpaw J R
Cited in: 10 Publications (2016–2021)
Related Software: PhysioToolkit; EEGLAB; OpenViBE; Brainstorm; BCILAB; rtMEG; …
Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)

Giotto

Software Authors:   Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
Cited in: 14 Publications (2001–2022)
Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

NetLogger

Software Authors:   Gunter, D., Tierney, B., Crowley, B., Holding, M., Lee, J.
Cited in: 10 Publications (2001–2012)
Related Software: CrossGrid; Java CoG Kit; ASP.NET; BlobSeer; MonALISA; SpecExplorer; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

TGFF

Software Authors:   Dick RP, Rhodes DL, Wolf W.
Cited in: 8 Publications (2008–2019)
Related Software: Simulink; CPLEX; Chameleon; ABC; OptorSim; Condor-G; …
Main Fields: Operator theory (47-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AMT

Software Authors:   D. Nickovic, O. Maler
Cited in: 12 Publications (2008–2018)
Related Software: Uppaal; SpaceEx; PRISM; Breach; Matlab; PPL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

aiT

Software Authors:   AbsInt; Christian Ferdinand; Reinhold Heckmann
Cited in: 8 Publications (2001–2011)
Related Software: SPEED; CPLEX; LLVM; Gurobi; ALF; pwcet; …
Main Fields: Computer science (68-XX)

veDYNA

Software Authors:   Burgermeister, B.; Arnold, M.; Esterl, B.; TESIS DYNAware GmbH
Cited in: 12 Publications (2006–2022)
Related Software: RODAS; MEXX; SIMPACK; Matlab; DASSL; MATLAB ODE suite; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

VoxNet

Software Authors:   Daniel Maturana; Sebastian Scherer
Cited in: 10 Publications (2018–2022)
Related Software: PointNet; OctNet; ImageNet; AlexNet; PointCNN; VoxelNet; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

ECDAR

Software Authors:   David, Alexandre; Larsen, Kim.G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej
Cited in: 8 Publications (2011–2018)
Related Software: MIO Workbench; UPPAAL TIGA; Motras; PyEcdar; Uppaal; JML; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

odmd

Software Authors:   H. Zhang; C. W. Rowley
Cited in: 11 Publications (2018–2022)
Related Software: PRMLT; GitHub; DeepONet; PyDMD; VAMPnets; rsvd; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Operator theory (47-XX); Numerical analysis (65-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Cited in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RTC toolbox

Software Authors:   Wandeler E, Thiele L
Cited in: 9 Publications (2008–2017)
Related Software: DISCO; PALLOC; Giotto; Algorithm 97; MinMaxgd; COINC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

MAST

Software Authors:   González Harbour, M; Gutiérrez, JJ; Palencia, JC; Drake, JM
Cited in: 7 Publications (2008–2018)
Related Software: Uppaal; Cheddar; TINA; MARTE; xMAML; Fiacre; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TOP/DOMDEC

Software Authors:   C. Farhat, S. Lanteri, H.D. Simon
Cited in: 9 Publications (1994–2017)
Related Software: Chaco; FIVER; MESHPART; PARTY; Scotch; PLUM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

GRAMPC

Software Authors:   Englert, Tobias; Völz, Andreas; Mesmer, Felix; Rhein, Sönke; Graichen, Knut
Cited in: 8 Publications (2018–2022)
Related Software: VIATOC; ACADO; qpOASES; acados; GitHub; FORCES NLP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Modechart

Software Authors:   F. Jahanian; A.K. Mok
Cited in: 5 Publications (1997–2017)
Related Software: Esterel; Uppaal; ICS; IDLVALID; DCVALID; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

pwcet

Software Authors:   Bernat G, Colin A, Petters S
Cited in: 3 Publications (2015–2018)
Related Software: SPEC Benchmarks; ALF; aiT; FShell; RapiTime; gem5; …
Main Fields: Computer science (68-XX)

RAVEN

Software Authors:   Ruf, Jürgen
Cited in: 6 Publications (2001–2004)
Related Software: Uppaal; KIV; Esterel; LusSy; UNITY; Polychrony; …
Main Fields: Computer science (68-XX)

ROBOTRAN

Software Authors:   N. Docquier, A. Poncelet, P. Fisette
Cited in: 7 Publications (1993–2020)
Related Software: Chrono; Pasimodo; SYMORO+; MuJoCo; OpenSYMORO; Bullet; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mechanics of particles and systems (70-XX)

Synthia

Software Authors:   Peter, H.-J., Ehlers, R., Mattmüller, R.
Cited in: 7 Publications (2012–2020)
Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)

UniForM

Software Authors:   Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
Cited in: 7 Publications (1999–2011)
Related Software: Uppaal; FranTk; GHC; Haskell; MersenneTwister; DCVALID; …
Main Fields: Computer science (68-XX)

W4s

Software Authors:   Haritaoglu, I., Harwood, D., Davis, L.S.
Cited in: 4 Publications (2005–2018)
Related Software: Pfinder; Hydra; BraMBLe
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)

CART

Software Authors:   Dan Steinberg: Mikhail Golovnya; Salford Systems
Cited in: 3 Publications (2018–2020)
Related Software: gbm; C4.5; randomForest; R; rpart; bst; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cheddar

Software Authors:   LISyC laboratory
Cited in: 5 Publications (2009–2022)
Related Software: Simulink; Uppaal; MAST; TINA; Zelus; Ptolemy; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HiRise

Software Authors:   Hiroshi Hosobe
Cited in: 6 Publications (2000–2018)
Related Software: QOCA; Cassowary; Skyblue; linprog; Matlab; Python; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LARVA

Software Authors:   Colombo C, Pace GJ, Schneider G
Cited in: 6 Publications (2012–2022)
Related Software: Scribble; Uppaal; VeriFast; JML; CC-Pi; Timed Conversation; …
Main Fields: Computer science (68-XX)

SIMBICON

Software Authors:   Yin K, Loken K, van de Panne M .
Cited in: 3 Publications (2014–2015)
Related Software: Simbody
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

RT-ASLAN

Software Authors:   Auernheimer B, Kemmerer R A.
Cited in: 3 Publications (1994–2002)
Related Software: Esterel; Ada95; ASTRAL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FORCES NLP

Software Authors:   Zanelli, A.; Domahidi, A.; Jerez, J.; Morari, M.
Cited in: 5 Publications (2018–2022)
Related Software: qpOASES; GRAMPC; qpDUNES; Ipopt; ACADO; MATMPC; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hume

Software Authors:   Hammond, K., Michaelson, G.
Cited in: 3 Publications (2007–2011)
Related Software: Cyclone; Cedalion; JastAdd; Feldspar; mbeddr; VisualStudio.NET; …
Main Fields: Computer science (68-XX)

I2T

Software Authors:   Yao, B.; Yang, X.; Lin, L.; Lee, M. W.; Zhu, S. C.
Cited in: 2 Publications (2012–2021)
Related Software: Im2Text; DenseCap; PASCAL VOC; ImageNet; VQA; MS-COCO; …
Main Fields: Computer science (68-XX)

iFogSim

Software Authors:   Harshit Gupta, Amir Vahid Dastjerdi, Soumya K. Ghosh, Rajkumar Buyya
Cited in: 4 Publications (2020–2022)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Soda

Software Authors:   Joel Wolf; Nikhil Bansal; Kirsten Hildrum; Sujay Parekh; Deepak Rajan; Rohit Wagle; Kun-Lung Wu; Lisa Fleischer
Cited in: 1 Publication (2014)
Related Software: TelegraphCQ; MS SQL Server; OMNet++; BRITE; Java CoG Kit; Pegasus; …
Main Fields: Computer science (68-XX)

TURTLE-P

Software Authors:   Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat
Cited in: 2 Publications (2003–2006)
Related Software: Uppaal; Kronos; TAXYS; TINA; TTool
Main Fields: Computer science (68-XX)

VIC

Software Authors:   Correlated Solutions
Cited in: 4 Publications (2010–2022)
Related Software: Ncorr; VIC-2D; VEDDAC; SessileDropAnalysis; DropToolKit; ParaView; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

AADL

Software Authors:   Kyungmin Bae, Peter Ölveczky, José Meseguer
Cited in: 3 Publications (2012–2016)
Related Software: LNT2LOTOS; Esterel; GRL; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

Dart

Software Authors:   J. Lee, M. X. Grey, S. Ha, T. Kunz, S. Jain, Y. Ye, S. S. Srinivasa, M. Stilman, C. K. Liu
Cited in: 2 Publications (2020–2021)
Related Software: MuJoCo; DLTdv; ROS; Python; OpenAI Gym; Flappy; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)

FaSTrack

Software Authors:   Sylvia L. Herbert, Mo Chen, SooJean Han, Somil Bansal, Jaime F. Fisac, Claire J. Tomlin
Cited in: 4 Publications (2019–2021)
Related Software: pypoman; FACTEST; PythonRobotics; LTLMoP; TuLiP; SCOTS; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

MIRROR

Software Authors:   Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A.
Cited in: 3 Publications (2002–2020)
Related Software: SimDVS
Main Fields: Computer science (68-XX)

Path Pascal

Software Authors:   Robert B Kolstad; Roy H. Campbell
Cited in: 4 Publications (1986–1997)
Related Software: COSY; PAL-11A; Ada95; Smalltalk; Modula; KITARA; …
Main Fields: Computer science (68-XX)

PEARL

Software Authors:   Gumzej, Roman; Lu, Shourong
Cited in: 4 Publications (1982–2007)
Related Software: SPNP; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

POLKA

Software Authors:   Stasko, John T.; Wehrli, Joseph F
Cited in: 4 Publications (2002–2007)
Related Software: Tango; Leonardo; Pavane; Zeus; CATBox; LEDA; …
Main Fields: Computer science (68-XX)

SynchAADL2Maude

Software Authors:   Bae, K., Ölveczky, P.C., Meseguer, J., Al-Nayeem, A.
Cited in: 2 Publications (2015)
Related Software: Maude; Uppaal; AADL; dReal; Quicksort; Dist-Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VisAD

Software Authors:   William Hibbard , Curtis Rueden , Steve Emmerson , Tom Rink , David Glowacki , Tom Whittaker , Don Murray , David Fulker , John Anderson
Cited in: 3 Publications (2002–2005)
Related Software: LINPACK; PETSc; deal.ii; NetSolve; ELLPACK; PELLPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

BabelFish

Software Authors:   M.S. Almas; L. Vanfretti; M. Baudette
Cited in: 0 Publications
Related Software: LabVIEW; Audur; Visual C++; STRONgrid
Main Fields:

BALTRAD

Software Authors:   Michelson, D, Henja, A, Ernes, S, Haase, G, Koistinen, J, Ośródka, K, Peltonen, T, Szewczykowski, M, Szturc, J
Cited in: 0 Publications
Related Software:
Main Fields:

DensePose

Software Authors:   Rıza Alp Güler, Natalia Neverova, Iasonas Kokkinos
Cited in: 1 Publication (2021)
Related Software: Faster R-CNN; ImageNet; PyTorch; SynSin; Mitsuba; NeRF; …
Main Fields: Computer science (68-XX)

DREAM Tool

Software Authors:   Gabor Madl
Cited in: 2 Publications (2006–2013)
Related Software: HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; …
Main Fields: Computer science (68-XX)

jMetalPy

Software Authors:   Benítez-Hidalgo, A.; Nebro, AJ; García-Nieto, J.; Oregi, I.; Del Ser, J.
Cited in: 1 Publication (2021)
Related Software: Python; PlatEMO; NumPy; Matplotlib; Platypus; MOEA; …
Main Fields: Operations research, mathematical programming (90-XX)

LabNS2

Software Authors:   Mkondweni, N. S.; Tzoneva, R.
Cited in: 3 Publications (2015–2018)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Systems theory; control (93-XX)

MaRTE OS

Software Authors:   Rivas, Mario Aldea; Harbour, Michael González
Cited in: 1 Publication (2001)
Related Software: TrueTime; Ptolemy; Torsche; Ada95
Main Fields: Computer science (68-XX)

Montre

Software Authors:   Dogan Ulus
Cited in: 3 Publications (2017–2021)
Related Software: timed-pattern-matching; MonPoly; aerial; GNU parallel; MONAA; Pure; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OTAWA

Software Authors:   Ballabriga, Clément; Cassé, Hugues; Rochange, Christine; Sainrat, Pascal
Cited in: 1 Publication (2017)
Related Software: McAiT; CPAchecker; STP; Smacc; r-TuBound; Stony Brook; …
Main Fields: Computer science (68-XX)

PROMETHEUS

Software Authors:   G. Gössler
Cited in: 2 Publications (2002–2007)
Related Software: Doxygen; Esterel; LusSy; Pinapa; CBMC; SystemC; …
Main Fields: Computer science (68-XX)

pycombina

Software Authors:   Bürger, A., Zeile, C., Hahn, M., Altmann-Dieses, A., Sager, S., Diehl, M.
Cited in: 3 Publications (2021)
Related Software: CasADi; Ipopt; JuMP; jInv; Julia; MINOTAUR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

REAL92

Software Authors:   Nepomnyashij, V.; Shilov, N.
Cited in: 2 Publications (1993–2002)
Related Software: SPIN; IF-2.0
Main Fields: Computer science (68-XX)

RTSIM

Software Authors:   Cesare Bartolini; Giuseppe Lipari
Cited in: 3 Publications (2002–2016)
Related Software: GitHub; SchedCAT; M-CASH
Main Fields: Computer science (68-XX)

RTST++

Software Authors:   Terekhov, A.N.; Romanovskii, K.Yu.; Koznov, D.V.; Dolgov, P.S.; Ivanov, A.N.
Cited in: 2 Publications (1999–2007)
Related Software: Klocwork
Main Fields: Computer science (68-XX)

timed-pattern-matching

Software Authors:   Waga, Masaki; Akazaki, Takumi; Hasuo, Ichiro
Cited in: 3 Publications (2016–2021)
Related Software: Montre; MONAA; Simulink; Pure
Main Fields: Computer science (68-XX)

BLAZE-DEM

Software Authors:   Nicolin Govender
Cited in: 2 Publications (2014–2017)
Related Software: CUDA
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

BRISK

Software Authors:   Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T.
Cited in: 2 Publications (2000–2005)
Related Software: CLOS; MICO
Main Fields: Computer science (68-XX)

EFSMT

Software Authors:   Cheng CH, Shankar N, Ruess H, Bensalem S
Cited in: 2 Publications (2016–2019)
Related Software: z3; Yices; OptiMathSAT; vZ; raSAT; CalCS; …
Main Fields: Computer science (68-XX)

ERA-PAT

Software Authors:   Lin, Shang-Wei; Liu, Yang; Sun, Jun; Dong, Jin Song; André, Étienne
Cited in: 1 Publication (2014)
Related Software: PAT; ProB; PDDL; NuSMV; SPIN; Uppaal
Main Fields: Computer science (68-XX)

ESPADON

Software Authors:   Madahar, Bob K.; Alston, Ian D.; Aulagnier, Denis; Schurer, Hans; Thomas, Mark; Saget, Brigitte
Cited in: 2 Publications (2003–2006)
Related Software: Xilinx
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

GCNv2

Software Authors:   Tang J., Ericson L., Folkesson J., Jensfelt P.
Cited in: 2 Publications (2020)
Related Software: PRMLT; Fizzy; Lingvo; Kpax3; pyGCluster; GmmFlow.jl; …
Main Fields: Computer science (68-XX)

Gesture Recognition Toolkit

Software Authors:   Gillian, Nicholas; Paradiso, Joseph A.
Cited in: 0 Publications
Related Software: ChaLearn Gesture; HumanEva; 6DMG; G3D
Main Fields: Computer science (68-XX)

iOverbook

Software Authors:   Caglar F, Gokhale A
Cited in: 2 Publications (2015–2021)
Related Software: Be-CoDiS
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

ITPN-perfbound

Software Authors:   Pacini Naumovich, Elina; Bernardi, Simona; Gribaudo, Marco
Cited in: 1 Publication (2021)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Jive

Software Authors:   Lingen EJ, Stroeven M
Cited in: 2 Publications (2016–2021)
Related Software: Gmsh; Jem; ParaView; XFEM
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

LSTF

Software Authors:   Cheng, Bo-Chao; Stoyenko, Alexander D.; Marlowe, Thomas J.; Baruah, Sanjoy K.
Cited in: 2 Publications (1997–2018)
Related Software: Tabu search
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)