DBMS supporting graph, document, full-text and geospatial models
A Database System for Metamodeling and Method Engineering
Constructing and optimizing general mathematical and physical models
Cellular Automata library for SUPercomputers (CASUP)
FE simulation based automatic global optimisation in modern Fortran
Petri net framework for security related modeling and reasoning.
A general recommender system with basic models and MRA
A tool for parametric model checking of UPPAAL models.
LPC Coding Library and GUI