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
LPC Coding Library and GUI