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)
Petri net framework for security related modeling and reasoning.
A general recommender system with basic models and MRA