Cited in
(94)- Tailorable language for behavioral composition and configuration of software components
- From specification to testing: semantics engineering for Lua 5.2
- CScout: a refactoring browser for C
- Efficient virtual machine support of runtime structural reflection
- ALua: Flexibility for parallel programming
- Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson
- Towards a large-scale scalable adaptive heart model using shallow tree meshes
- Grapham: graphical models with adaptive random walk Metropolis algorithms
- critic
- MEEP
- METAFONT
- ANTLR
- SMIL
- Geomview
- Kiss FFT
- ASPIDE
- PICCOLA
- GLUT
- Grapham
- Dhrystone
- BSGP
- AspectS
- Runwien
- PLT Redex
- ALua
- CScout
- S4
- InteGrade
- HBase
- Ribosome Builder
- Luatex
- luatodonotes
- pdfcomment
- DDD
- todonotes
- SWILL
- INGRES
- GraphBLAS
- OpenSceneGraph
- Ruby
- Accumulo
- TWB
- \(S^{4}\): a free electromagnetic solver for layered periodic structures
- Autograph
- HepMC
- Proteus
- Knotscape
- M++
- WorkflowFM
- DynamoDB
- REXX
- Hamsa
- medInria
- MoMEMta
- RETURNN
- Sockeye
- GeneRank
- moleculaRnetworks
- P3S
- SNOBOL
- zeroin
- VisiCalc
- Vertica
- VoltDB
- Milepost GCC
- BLINC
- APE
- iGROM
- OntoDLV
- SeaLion
- Nevada
- spock
- Frag
- SableCC
- TopoICE
- Jiazzi
- Starkiller
- TimSort
- A method for robotic grasping based on improved Gaussian mixture model
- A framework for step-wise explaining how to solve constraint satisfaction problems
- A coupled analytical-numerical approach for optimal sizing of power inductors
- Compiler Construction
- critic: a new program for the topological analysis of solid-state electron densities
- Ribosome Builder: a software project to simulate the ribosome
- QBFFam
- Jinja2
- \textit{UG} 4: a novel flexible software system for simulating PDE based models on high performance computers
- Offline drawing of dynamic trees: algorithmics and document integration
- Application execution management on the integrade opportunistic grid middleware
- Transformation invariant local element size specification
- Numerical Methods for Nonlinear Engineering Models
- Lightroom
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Graphical and incremental type inference. A graph transformation approach
This page was built for software: Lua
