×

Found 41 Software Packages (Results 1–41)

TOMP

Software Authors:   Kraft, D.
Cited in: 32 Publications (1994–2022)
Related Software: NLopt; DFVLR-SQP; SNOPT; Python; Ipopt; OTIS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

MEGAN

Software Authors:   Daniel H. Huson, Alexander F. Auch, Ji Qi, Stephan C. Schuster
Cited in: 5 Publications (2010–2017)
Related Software: TETRA; TACOA; BLAST; ONE; RAST; PSI-BLAST; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Cited in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

STCT

Software Authors:   Zhang, Zhonghua; Wonham, W.M.
Cited in: 9 Publications (2002–2009)
Related Software: UMDES; BuDDy
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

FlashMeta

Software Authors:   Oleksandr Polozov; Sumit Gulwani
Cited in: 6 Publications (2017–2021)
Related Software: FlashExtract; TRANSIT; FlashRelate; BlinkFill; z3; LLVM; …
Main Fields: Computer science (68-XX)

PhySIC

Software Authors:   Vincent Ranwez; Vincent Berry; Alexis Criscuolo; Pierre-Henri Fabre; Sylvain Guillemot; Celine Scornavacca; Emmanuel J. P. Douzery
Cited in: 7 Publications (2009–2019)
Related Software: SuperTriplets; Notung; Rec-I-DCM3; RAxML; Quartets MaxCut; Bio++; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Numerical analysis (65-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)

TRANSIT

Software Authors:   Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R.
Cited in: 7 Publications (2015–2022)
Related Software: CVC4; SIMPLIFY; FlashMeta; z3; Yices; FlashExtract; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Alloy*

Software Authors:   Milicevic, A., Near, J.P., Kang, E., Jackson, D.
Cited in: 6 Publications (2017–2021)
Related Software: z3; GitHub; margrave; TestEra; Kodkod; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

MAHA

Software Authors:   A. Parker, J. Pizarro, M. Mlinar
Cited in: 5 Publications (1995–2007)
Related Software: Sehwa; Flamel; TimberWolf; JaCoP; CPLEX; SOCRATES; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Alpha

Software Authors:   Wilde, D.K.
Cited in: 6 Publications (1999–2005)
Related Software: MMAlpha; PolyLib; OPERA; LUSTRE
Main Fields: Computer science (68-XX)

GAUT

Software Authors:   –
Cited in: 2 Publications (2015–2016)
Related Software: RecInt; mpFq; LinBox; gmp; Givaro
Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

Limi

Software Authors:   Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
Cited in: 4 Publications (2015–2019)
Related Software: Liss; CBMC; SymDiff; DART; kepler98; NModel; …
Main Fields: Computer science (68-XX)

Algorithm 888

Software Authors:   John B. Drake; Pat Worley; Eduardo D’Azevedo
Cited in: 2 Publications (2012–2021)
Related Software: FLTSS; ConceFT; FaVeST; libsharp; NFFT3; Healpix; …
Main Fields: Special functions (33-XX); Integral transforms, operational calculus (44-XX); Numerical analysis (65-XX)

AutoSyn

Software Authors:   Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng
Cited in: 3 Publications (2009–2012)
Related Software: WSAT; NuSMV; LTSA-WS; SWORD
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FlashExtract

Software Authors:   Le, V., Gulwani, S.
Cited in: 2 Publications (2020–2021)
Related Software: FlashMeta; FlashRelate; TRANSIT; FlowDroid; TAJ; SemFix; …
Main Fields: Computer science (68-XX)

NFFr

Software Authors:   Younes, A.
Cited in: 3 Publications (2015–2019)
Related Software: NFT; GAP
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Synet

Software Authors:   Benoît Caillaud
Cited in: 3 Publications (2012–2016)
Related Software: APT; GitHub; Petrify; SMT-LIB; dbminer; ProM
Main Fields: Computer science (68-XX)

BlinkFill

Software Authors:   Rishabh Singh
Cited in: 1 Publication (2020)
Related Software: FlashMeta; Infer.NET; z3; LLVM; SMT-LIB; Stan; …
Main Fields: Computer science (68-XX)

DeepSynth

Software Authors:   Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
Cited in: 2 Publications (2022)
Related Software: AlphaZero; REINFORCEjs
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)

FAUST

Software Authors:   J. R. Weinstein; P. R. Cook
Cited in: 2 Publications (2002)
Related Software: CAITLIN; Tango; ANIMAL; Pavane; JOTSA; MUSE; …
Main Fields: Computer science (68-XX)

GeneOptimizer

Software Authors:   David Raab, Marcus Graf, Frank Notka, Thomas Schödl, Ralf Wagner
Cited in: 1 Publication (2014)
Related Software: OPTIMIZER; EuGene; GASCO; Synthetic Gene Designer; COStar; Gene Designer; …
Main Fields: Biology and other natural sciences (92-XX)

NeST

Software Authors:   Dai, Xiaoliang; Yin, Hongxu; Jha, Niraj K.
Cited in: 2 Publications (2019–2021)
Related Software: ImageNet; MobileNets; WaveNet; AlexNet; Net2Net; Fashion-MNIST; …
Main Fields: Computer science (68-XX)

NFT

Software Authors:   Younes, A.
Cited in: 2 Publications (2015–2019)
Related Software: NFFr; GAP
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

OPARC

Software Authors:   Zhang, Xuejing; He, Zishu; Xia, Xiang-Gen; Liao, Bin; Zhang, Xuepan; Yang, Yue
Cited in: 2 Publications (2019)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

SyPet

Software Authors:   Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
Cited in: 2 Publications (2017–2020)
Related Software: CodeHint; BlinkFill; FlashMeta; TRANSIT; FlashExtract; Houdini; …
Main Fields: Computer science (68-XX)

TerpreT

Software Authors:   Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
Cited in: 0 Publications
Related Software: BlinkFill; FlashMeta; Infer.NET; z3; LLVM; SMT-LIB; …
Main Fields:

AIRCAMA

Software Authors:   Filipovic, Mirjana
Cited in: 1 Publication (2015)
Related Software:
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

COMPOL

Software Authors:   Deng, James T.Q.; Zhao, H.; Yuan, Y.; Zhang, S.; Xu, B.; Guo, Y.N.; Zeng, Y.L.; Ruan, S.L.; Liu, S.Q.; Chen, G.W.; Chen, X.Q.; Wu, J.H.
Cited in: 1 Publication (2010)
Related Software: VisualStudio.NET; ASP.NET
Main Fields: Optics, electromagnetic theory (78-XX)

COStar

Software Authors:   Liu, Xiaowu; Deng, Riqiang; Wang, Jinwen; Wang, Xunzhang
Cited in: 1 Publication (2014)
Related Software: OPTIMIZER; EuGene; GeneOptimizer; GASCO; Synthetic Gene Designer; Gene Designer; …
Main Fields: Biology and other natural sciences (92-XX)

CRCBode

Software Authors:   Taylor, J.D.; Messner, William
Cited in: 1 Publication (2014)
Related Software: Robust Control Toolbox
Main Fields: Systems theory; control (93-XX)

expansion-network

Software Authors:   Réda, Clémence; Wilczyński, Bartek
Cited in: 1 Publication (2020)
Related Software: MaBoSS; REDfly; GitHub; Python; Ginsim; z3; …
Main Fields: Biology and other natural sciences (92-XX)

NeRF

Software Authors:   Ben Mildenhall, Pratul P. Srinivasan, Matthew Tancik, Jonathan T. Barron, Ravi Ramamoorthi, Ren Ng
Cited in: 0 Publications
Related Software: DensePose; TensorFlow; SynSin; Mitsuba; C3DPO; DeepSDF; …
Main Fields:

nusimm

Software Authors:   Fortunato M, Abbott L, Hart KE, Colina C.
Cited in: 0 Publications
Related Software: nanoHUB; Polymatic; Mdtraj; PyMOL; VMD; Open Babel; …
Main Fields:

PetriFlow

Software Authors:   M. Riesz, Martin Seckár, G. Juhás P
Cited in: 1 Publication (2020)
Related Software: PNlib; Dymola; Modelica
Main Fields: Systems theory; control (93-XX)

PyLog

Software Authors:   Huang, Sitao; Wu, Kun; Jeong, Hyunmin; Wang, Chengyue; Chen, Deming; Hwu, Wen-Mei
Cited in: 1 Publication (2021)
Related Software: AutoSA; PYNQ; PyRTL; Clash; SYCL; PyMTL3; …
Main Fields: Computer science (68-XX)

S4CAD

Software Authors:   Sedukhin, S.G.; Sedukhin, I.S.
Cited in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

SafePILCO

Software Authors:   Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen Roberts
Cited in: 1 Publication (2022)
Related Software: MOGPTK; Safety Gym; CURL; GPyTorch; PILCO; PyTorch; …
Main Fields: Computer science (68-XX)

TextureGAN

Software Authors:   Wenqi Xian, Patsorn Sangkloy, Varun Agrawal, Amit Raj, Jingwan Lu, Chen Fang, Fisher Yu, James Hays
Cited in: 0 Publications
Related Software: InGAN; pix2pix; ImageNet; SketchyGAN; Python; SinGAN
Main Fields:

UNVARTOP

Software Authors:   Daniel Yago, Juan Cante, Oriol Lloberas-Valls, Javier Oliver
Cited in: 0 Publications
Related Software: Matlab
Main Fields: